C에서 객체를 자체 생성자에 전달할 수 있습니까?

C에서 객체를 자체 생성자에 전달

일부 C 프로그래머는 흥미로운 동작을 발견했습니다. 바로 객체를 자체 생성자에 전달하는 것입니다. 이는 이러한 관행이 C에서 합법적인지 또는 정의되지 않은 동작으로 간주되는지에 대한 의문을 제기합니다.

다음 코드 조각을 고려하세요.

#include <iostream>

struct Foo {
    Foo(Foo& bar) {
        std::cout << &bar << std::endl;
    }
};

int main() {
    Foo foo(foo); // Surprisingly, this compiles and executes
    std::cout << &foo << std::endl;
}

이 코드에서 Foo 생성자는 객체가 완전히 초기화되기 전에 생성된 객체 자체입니다. 개체가 초기화되지 않았더라도 코드는 C 표준에 의해 허용됩니다.

C 14 초안 표준의 섹션 3.8에서는 개체의 수명이 시작되기 전(또는 끝난 후)에 해당 주소를 가져오는 것이 허용된다고 명시합니다. 또는 참조가 직접 바인딩할 수 있는 한 참조를 바인딩합니다. 정의되지 않은 동작은 lvalue에서 rvalue로의 변환, 비정적 데이터 멤버 액세스 또는 가상 기본 클래스 바인딩과 같은 특정 작업이 부분적으로 초기화된 개체에 대해 수행되는 경우에만 발생합니다.

제공된 코드 예제는 그렇지 않습니다. 이러한 제한 사항을 위반하는 경우. 우리는 단지 참조를 바인딩하고 생성자 내에서 주소를 얻는 것뿐입니다. 이는 허용됩니다.

그러나 활성화된 문제 453은 초기화되지 않은 개체에 대한 참조 바인딩의 유효성에 대한 우려를 제기합니다. 초기 제안된 언어는 코드 조각에 설명된 대로 바인딩을 허용하는 Defect Report 363을 지원합니다.

이 동작은 처음에는 이상하게 보일 수 있지만 초기화 전에 컴파일러가 개체에 공간을 할당한 결과입니다. 이를 통해 불확실한 값을 생성하지 않고 참조 바인딩 및 주소 검색과 같은 제한된 작업을 수행할 수 있습니다.

위 내용은 C에서 객체를 자체 생성자에 전달할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!