выполняет одно выделение достаточно большого размера, а затем создает на месте как счетчик, так и объект.
оренном докmake_shared, это говорит:
Помимо удобства и стиля, такая функция также безопасна для исключения и значительно быстрее, потому что она может использоватьединое распределение как для объекта, так и для соответствующего ему блока управления, устраняя значительную часть накладных расходов на shared_ptr.
Я не понимаю значение «однократного распределения», что это значит?