복사·이동 생성자를 삭제했는데 return T{}가 C++17에서 가능한 이유는 무엇인가요?

C++17의 return T{};가 가능한 이유는 복사·이동 생성자를 최적화로 호출하지 않는다는 뜻보다, 순수 prvalue가 최종 목적지 객체를 직접 초기화하는 언어 모델을 사용하기 때문입니다. 예를 들어 T make() { return T{}; }와 T x = make();에서는 먼저 임시 T를 만들고 다시 x로 옮기는 중간 객체가 필요하지 않습니다. T{}를 만들 수 있는 생성자는 선택·접근 가능해야 하지만, T(const T&) = delete;와 T(T&&) = delete;인 것만으로 이 경로가 거부되지는 않습니다.

다만 소멸자까지 불필요한 것은 아닙니다. 반환 결과는 언젠가 파괴되어야 하므로 소멸자가 접근 가능하고 삭제되지 않아야 합니다. 반대로 T local; return local;은 NRVO가 선택 사항이라 생략되지 않은 경로의 복사 또는 암시적 이동 생성자가 필요할 수 있고, return std::move(local);은 이동을 직접 요구합니다. 따라서 “C++17부터 모든 return에서 copy elision이 보장된다”가 아니라 “같은 타입의 prvalue가 목적지를 직접 초기화하는 특정 경로에서 이동·복사 호출이 언어상 필요 없다”고 답하겠습니다.

예상 상태는 T{} 생성 → 반환 목적지에 직접 구성 → 호출자에서 x 파괴입니다. 이 환경에서는 C++ 코드를 실행한 측정이 아니라 규칙을 기준으로 설명하며, 실제 확인은 -std=c++17과 소멸자 접근성, 반환 타입 변환 여부를 함께 고정해야 합니다.