C++, 복사 생성자, 대입 연산자.

C++에서 객체가 언제 생성되고, 소멸되는지 알수 없다는 것은 말이 안되는것 같습니다.
저의 짧은 생각으로 올리신 코드의 차이점은 '초기화'와 '대입'의 차이가 있는것 같습니다.
처음의 코드는 초기화 코드로 객체는 func()내에서 생성이 되고 이것이 카피가 되어 객체가 생성이 된 예이고, 두번째 예는 객체를 하나 생성한 후에 다시 함수를 호출하여 그 함수에서 생성된 객체를 카피하여 먼저 만든 객체에 값을 카피하여 할당하여 준거 같습니다.

즉, 말씀하신 임시객체라는 것은 복사생성자에 의해서 이루어 지는 일련의 작업(?)이라고 생각이 됩니다.

두서없이 쓰게 되었군요... ^^*

C에서 파라미터와 리턴값은 call by value를 이용합니다. 이를 계승한 C++도 똑같은 방법을 이용합니다.

즉 리턴값의 복사본을 만들고 그 복사본을 넘겨 준다는겁니다. 두번째 예로 적으신 코드를 보겠습니다.

MyClass b; // 여기서 기본 생성자가 호출됩니다.
b = func1();

func1()을 자세히 보죠.

MyClass func1()
{
MyClass ret; // 여기서 또 기본 생성자
...
return ret; // 값을 리턴합니다. 복사본을 만들죠. 그래서 복사 생성자
}

그리고 이걸
b = func1 () ; // 즉 b에 대입합니다.

그래서 기본,기본,복사,대입 생성자가 실행이 됩니다. 여기서 예측이 안된다거나 문제가 되는게 어딘지요? calling convention에 의한 최적화라는게 뭔지도 모르겠구요.

ps. 사실 가장 큰 문제는 위의 func1 ()에 있습니다. 함수에서 클래스를 생성하고 그걸 리턴하는 구조도 이해를 못하겠군요. 저라면

class MyClass
{
public:
    MyClass& func1 ()
    {
        ....
        return *this ;
    }
} ;

와 같은 방법이나 func1 ()을 friend로 만들고 MyClass를 포인터나 참조로
넘겨주는 방법을 사용했을것 같네요.

...

MyClass func1() 
{ 
  MyClass ret; 
  ... 
  return ret; 
}

대신에

MyClass func1() 
{ 
  int values; 
  ... 
  return Mycalss(values, ...); 
} 

식으로 코드를 짜면 기본생성자를 부르는 걸 막을 수 있습니다.

예를 들어 complex 숫자 둘을 더하는 연산의 경우

MyComplex add(complex &a, complex &b)
{
   MyComplex ret(a.real+b.real, a.imag+b.imag);

   return ret;
}

MyComplex add(complex &a, complex &b)
{
   return MyComplex(a.real+b.real, a.imag+b.imag);
}

MyClass a = func1 () ;
은 초기화와 물려 있기 때문입니다.

class OtherClass
{
public:
    OtherClass (MyClass&) ;
private:
    MyClass m_class ;
}

1.
OtherClass::OtherClass (MyClass& rhs)
{
    m_class = rhs ;
}

2.
OtherClass::OtherClass (MyClass& rhs)
: m_class (rhs)
{}

를 비교해보셔도 같은 결과가 나오죠. 초기화와 이미 생성되어 있는 개체는 다르게 처리됩니다. 이부분에 대한 정확한 스펙을 보지 않아서 장담할수는 없지만 초기화와 대입에 관련된 고전적 문제라고 알고 있습니다. 다른문제와는 관련이 없어 보이는데요.

ps. 위에 코드를 적고 보니 최초에 제기된 문제의 코드와 다를바가 없군요 -_-

MyClass func1()
{
    MyClass ret;
    ...
    return ret;
}

과

MyClass func1()
{
    ...
    return MyClass(); <--- 이름없는 객체 생성
}

모두 대입연산만 수행합니다.

위의 code 는 MyClass c( func1() ); 과 동일합니다.

위의 내용은 반환객체에 대한 내용이 아니라 func1() 내에서 객체생성을 할 때 기본생성자를 사용하지 않기 위한 내용입니까?