Вызов f() происходит до вызова operator new() так что утечь ничего не может

If any part of the object initialization described above terminates by throwing an exception, storage has
been obtained for the object, and a suitable deallocation function can be found, the deallocation function is
called to free the memory in which the object was being constructed, after which the exception continues to
propagate in the context of the new-expression

Вызов f() происходит до вызова operator new()

Стандарт это не определяет

Я не говорю, что определенно так.

А я и не тебе отвечал :)

Цитата оборвалась на самом интересном месте, дальше же прямо ответ на вопрос идёт:

... If no unambiguous matching deallocation function can be found, propagating the exception does not cause the object’s memory to be freed. [ Note: This is appropriate when the called allocation function does not allocate memory; otherwise, it is likely to result in a memory leak. — end note ]

Это не очень интересно, т.к. на практике я такую ситуацию себе не очень представляю.

Помнится, ранее речь шла не о таких случаях как в стартовом сообщении, а о выражениях вида:

void demo(unique_ptr<T> a, shared_ptr<X> b){...}
...
demo(unique_ptr<T>( new T(f()) ), shared_ptr<X>( new X(f(), g(), h()) ));

А вот что именно интервьюеры нашли в примере из стартового сообщения — это интересно.

Из-за исключения в f() утечки не будет.

Что имел ввиду ревьюер — без понятия.

не будет тут утечки. Если только не убрать деалокатор умышленно.

будет если 2 таких параметра будет передаваться. Только порядок вызова функций определит конпелятор и может вызвать сначала все new, а потом уже конструкторы умных указателей. Есть подозрение, что интревьюйеры просто урезали пример с 2 параметрами и выё..ваются.

а вот. именно эту ситуёовину и имел ввиду выше, да.

Может тупо троллили и правильным тут считается доказать, что утечки нет?

По идее, происходит такая последовательность вызовов:

• Выделяется память
• Вычисляются аргументы конструктора (порядок не определён, но точно до вызова конструктора)
• Вызывается конструктор

Если конструктор кидает исключение, то память освободится. А вот считается ли вычисление аргументов, частью вызова конструктора? Физически на всех распостраннёных системах это точно не так. А что говорит по этому поводу стандарт - я не знаю.

Выделяется память

Кем выделяется?

при вызове new должен уже быть вычислен его аргумент. То есть если он (f()) кинет исключение, то память не будет освобождена, потому что не будет выделена.

далее исключение может кинуть оператор копирования того, что возвращает f( ), но и в этом случае память будет освобождена.

потом может кинуть исключение конструктор. собссно тут все понятно.

Ещё скажи, что вызов конструктора происходит до выделения памяти.

Но про то, что any part of... я уже успел нагуглить. Но тут тупо надо знать стандарт в этой части.

Более того, не определенно что случится раньше вызов f() или выделение памяти. Но они оба случаться точно раньше вызова конструктора. Ну это как бы и логично и в духе плюсов :)

Может тупо троллили и правильным тут считается доказать, что утечки нет?

Запросто могут сказать, что правильный ответ не верный. Просто чтобы посмотреть, как ты будешь доказывать свою правоту.

Отвечает Герб Саттер в Guru of the Week https://herbsutter.com/2013/05/29/gotw-89-solution-smart-pointers/

Guideline: Use make_shared (or, if you need a custom allocator, allocate_shared) to create an object you know will be owned by shared_ptrs, unless you need a custom deleter or are adopting a raw pointer from elsewhere.

откуда вы все берётесь?

видимо, моя теория о том, что около 80% биологических организмов, получающих деньги за код на крестах, пишут его не приходя в сознание, верна. вопрос разбирается в 2 этапа:

1. надо понимать разницу между выражением new и оператором new:

A new-expression may obtain storage for the object by calling an allocation function (3.7.4.1). If the
new-expression terminates by throwing an exception, it may release storage by calling a deallocation function
(3.7.4.2).

2. как работает конструктор shared_ptr. в частности то, что он вызывает ещё одно выделение памяти:

6 Throws: bad_alloc, or an implementation-defined exception when a resource other than memory
could not be obtained.
7 Exception safety: If an exception is thrown, delete p is called.

http://en.cppreference.com/w/cpp/language/eval_order

</thread>

it may release

may не значит must

это потому что «may obtain». да, писатели стандартов тоже имеют право на косноязычность.

что хотел сказать?

там все правила разрешённого порядка вычисления statements. в том числе есть ответ, что утечки памяти в примере нет.

т.е. набросил не разобравшись

какое отношение порядок вычисления имеет к осбенностям поведения выражения new или конструктора shared_ptr?

это?

12) The call to the allocation function (operator new) is indeterminately sequenced with respect to (until C++17)sequenced before (since C++17) the evaluation of the constructor arguments in a new-expression

это?

да, это.

т.е. вообще как попало

да, согласен. что-то я не то прочитал.