Здравствуйте, watchmaker, Вы писали:

W>А сделать реализацию emplace без безусловного выделения памяти и создания временных узлов для разных типов либо невозможно, либо настолько сложно, что авторы реализаций STL тоже этого не делают и делать не будут.

Вот тут я не очень понимаю, в чем сложность. Что мешает сначала поискать, а потом выделять память?