왜 명명되지 않은 C++ 객체가 범위 블록이 끝나기 전에 파괴됩니까?

Question

다음 코드는 1, 2, 3을 인쇄합니다. 그것은 모든 C++ 컴파일러가 원했던 것과 사실입니까?

class Foo 
{ 
     const char* m_name; 
public: 
     Foo(const char* name) : m_name(name) {} 
     ~Foo() { printf("%s\n", m_name); } 
}; 

void main() 
{ 
     Foo foo("three"); 
     Foo("one"); // un-named object 
     printf("two\n"); 
} 

Answer 1

임시 변수는 작성된 전체 표현식의 끝까지 유지되며 세미콜론 (;)으로 끝납니다.

이 12.2/3이다

임시 개체는 전체 식 (1.9) 즉 (어휘)은 생성 된 시점을 포함 평가의 마지막 단계에서 파괴된다.

귀하의 행동은 보장됩니다.

만난 경우 임시의 수명을 연장 할 수있는 두 가지 조건이 있습니다. 첫 번째는 객체에 대한 이니셜 라이저입니다. 두 번째는 참조가 임시로 바인딩되는 경우입니다.

Answer 2

그런 임시 개체의 범위는 단 한 줄입니다. 생각해 보면 선이 끝난 후에 더 이상 참조 할 수 없으므로 객체가 주변에 머물러있는 이유는 무엇입니까?

그렇지 않은 경우 컴파일러는 함수 호출에서 임시 개체를 최적화 할 수 없습니다.

Answer 3

네, 그렇습니다.

Foo foo("three")은 범위가 끝날 때 파괴 될 정상적인 개체를 만듭니다.

Foo("one")은 명령어 [1]의 끝 부분에서 삭제되는 임시 객체를 만듭니다. 왜? 명령이 끝나면 액세스 할 수있는 방법이 없기 때문입니다.

[1] 고의적 단순화 : 시퀀스 포인트을 말 했어야합니다.

Answer 4

임시 개체의 수명을 제어하는 ​​규칙은 범위의 개념과 아무 관련이 없습니다. 범위는 의 이름이고이며 임시 개체에는 이름이 없습니다. 즉, 임시 객체에는 범위가 없습니다.

대부분의 경우 임시 객체의 수명은 해당 객체를 만든 전체 표현식의 끝에서 끝나며 이는 실험에서 관찰 한 것입니다. 이것은 몇 가지 예외가있는 일반적인 규칙입니다. 메인 하나는 즉시 임시 개체에 대한 참조를 부착하는 경우, 개체의 수명이 오래 rfoo 같은 삶을 살 것이다 참조

const Foo &rfoo = Foo("one"); 

위의 일시의 수명에 맞게 확장 될 것입니다.

Answer 5

표준위원회가 잘못되어 있기 때문입니다. 그들이 그것을하기로 결정했기 때문에 그것을합니다. 이 방법으로 정의됩니다. 이름이 지정된 것과 동일한 범위의 익명 인스턴스로 간주되어야합니다. 인스턴스화 시점에서 블록의 끝까지. 분명히 그들은 임시 함수를 스택에 밀어 넣고 함수 호출이 끝날 때 스택에서 튀어 나오는 함수에 임시 함수를 전달하는 것이 유일한 용도라고 생각했습니다.

명명되지 않은 개체는 여전히 스택에 푸시되어야하며 블록이 끝날 때까지 스택에 남아 있어야합니다. 따라서 스택이 예상대로 스택에서 튀어 나오게됩니다. 단일 명령문에서 오브젝트를 작성하고 소멸시키는 것은 의미가 없습니다. 이 인스턴스가 실제로 유용한 단일 인스턴스/사례를보고 싶습니다. 블록의 지속 기간 동안 범위에 머물러 있지 않으면 가장 확실하게 오류가 발생하며 최소한 경고를 생성해야합니다.