возврат класса из функции в С++ - Компьютерный форум OSzone.net

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

Код:

struct A {

 &nbsp; &nbsp;int member1;

 &nbsp; &nbsp;int member2;

 &nbsp; &nbsp;int member3;

 &nbsp; &nbsp;A() {}

 &nbsp; &nbsp;A(int i) : member1(i), member2(i), member3(i) {}

}



class B {

public:

 &nbsp; &nbsp;const A func1()

 &nbsp; &nbsp;{

 &nbsp; &nbsp; &nbsp; &nbsp;return A(10);

 &nbsp; &nbsp;}

 &nbsp; &nbsp;const A func2()

 &nbsp; &nbsp;{

 &nbsp; &nbsp; &nbsp; &nbsp;A a;

 &nbsp; &nbsp; &nbsp; &nbsp;a.member1 = 10;

 &nbsp; &nbsp; &nbsp; &nbsp;return a;

 &nbsp; &nbsp;}



...



void test()

{

 &nbsp; &nbsp;B b;

 &nbsp; &nbsp;int i;

// 1)

 &nbsp; &nbsp;i = b.func1().member1;

 &nbsp; &nbsp;i = b.func2().member1;

// 2)

 &nbsp; &nbsp;A a1(func1());

 &nbsp; &nbsp;A a2(func2());

}

делает следующее (дебаг):
1. Создаётся экземпляр класса и из него берётся поле.
2. В первом случае выделяется память из стека test() и в ней строится объект. Во втором - строится объект в func2(), затем копируется в такой же в test(), удаляется в func2(), ну и там дальше работает.
Таким образом, если бы у объекта A был (нетривиальный) деструктор, он вызвался бы два раза (из func2 и test).

Вопрос такой: верно ли, что если функция возвращает объект, который строится в прямо в return, то создаётся только один экземпляр класса? (есть подозрение, что это оставлено на усмотрение компилятора)