Здравствуйте, Аноним, Вы писали:

А>А зачем? В чем собственно заключается оптимизация? deferred_increment имеет размер sizeof(master_type&). Т.е. тот же временный объект создаваемый на стеке.

Ты хочешь сказать, что всегда sizeof(T) == sizeof(T*)?



А>А в чем суть этого кода? Насколько я понимаю top() не бросает исключений, он и так безопасен. А в деструкторе deferred_pop вызывается pop(), который может бросить исключение и нигде в деструкторе они не обрабатываются!

pop() тоже не бросает исключений. Исключения может бросать конструктор копирования T.