C에서는 임시 객체의 파괴 순서가 보장됩니까?

C에서 임시 개체 삭제

다음 코드를 고려하면

#include <iostream>

struct Foo
{
    const char* m_name;

    ~Foo() { std::cout << m_name << '\n'; }
};

int main()
{
    Foo foo{"three"};
    Foo{"one"};   // unnamed object
    std::cout << "two" << '\n';
}

출력이 "하나", "둘", "셋"이 되세요. 이는 질문을 제기합니다. 모든 C 컴파일러에서 이 동작이 보장됩니까?

C 표준에 따르면 [class.temporary]에는 다음과 같이 명시되어 있습니다.

"임시 개체는 마지막으로 삭제됩니다. 생성된 지점을 (어휘적으로) 포함하는 전체 표현을 평가하는 단계입니다."

이 규칙은 이름이 지정되지 않은 개체와 같은 임시 개체를 의미합니다. 제공된 코드의 Foo 개체는 해당 개체가 생성된 전체 표현식의 끝(예: 줄 끝의 세미콜론)에서 삭제됩니다.

여기에는 예외가 있다는 점에 유의하는 것이 중요합니다. [class.temporary] p5, p6, p7에 설명된 일반 규칙:

1. 기본적으로 생성된 임시의 수명 단축 배열 이니셜라이저의 객체.
2. 배열 복사 중 생성자에 대한 기본 인수의 수명을 단축합니다.
3. 임시 객체에 대한 참조를 바인딩하여 임시 객체의 수명을 연장합니다.
4. "for-range-initializer"에서 임시 객체의 수명.

그러나 제공된 코드에서는 이러한 예외는 적용되지 않으며 해당 표현의 끝에서 임시 객체의 소멸이 보장됩니다.

위 내용은 C에서는 임시 객체의 파괴 순서가 보장됩니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!