암시 적으로 정의 된 클래스의 소멸자

Question

개발자가 명시 적으로 선언 한 destructor 및 constructor이없는 클래스의 경우를 고려하십시오. 이 경우에는 은 implicitly declared입니다. 그렇다면 클래스의 객체가 파괴 될 때만 destructor이 implicitly defined이라는 사실입니까?

생성자의 동작 또한 위와 같습니다. 클래스의 객체가 만들어 질 때만 implicitly defined입니까?

위의 코드에서 편집

class A { 
    public: 

}; 
int main() { 

} 

는 ~ (A)는() 암시 적으로 선언됩니다. 내 질문은 사실 소멸자에 대한 정의는 클래스의 객체가

class A { 
     public: 

    }; 
    int main() { 
     A a; 
    } 

처럼 인스턴스화 경우에만, 암시 적으로 이루어집니다 아니면 암시 적 객체 인스턴스화가 완료되지 않은 경우에도, 정의되어 있는지 여부?

Answer 1

예, 암시 적으로 선언 된 기본 생성자 및 소멸자는 개체 인스턴스를 만들거나 파괴 할 때 암시 적으로 정의됩니다.표준 단어 (C++ 11)에서 :

는

12.1/6 : 디폴트 삭제 정의되지 컨스트럭터 암시가 ODR-사용될 때 정의 (3.2)는이 만드는 그 클래스 형의 객체 (1.8) 또는 최초의 선언 후에 명시 적으로 디폴트가 될 때

12.4/5 : odr-used (3.2)에서 이 클래스 유형의 객체 (3.7)를 삭제하거나 해당 객체의 명시 적으로 기본값 뒤에있을 때 기본적으로 삭제 된 것으로 정의되지 않은 소멸자가 암시 적으로 정의됩니다. 첫 번째 선언.

두 번째 코드 조각에 정의되어 있으므로 A 유형의 객체를 생성 및 소멸하지만 첫 번째 코드는 그렇지 않습니다.

Answer 2

반면에, 사소한 프로그램 *에서 오브젝트가 생성/파괴되었는지 여부를 결정하는 것은 불가능하지만, 관찰 가능한 행동이 남아있는 한 실제로는 문제가되지 않습니다. 같은.

그러나 defined when object created/destroyed과 defined if needed 사이에는가는 선이 있습니다. 아래 예제에서는 Foo::Foo()을 정의해야 할 필요가 있기 때문에 정의해야합니다. 그러나 객체가 만들어 질 때 객체가 정의되었는지 여부와 객체가 결정될 수 없는지 여부를 묻습니다.

---

*

함수가 정의되는지 여부

class Foo {}; 
int main(int argc, char *argv[]) { 
    if (argc>1) Foo(); // <- impossible to decide if ever constructed/destroyed 
} 

// On the other hand, compiler might be smart enough to observe that 
// Foo does not have any visible behaviour, remove Foo entirely, and in 
// effect spit out this: 
int main() {} 

Answer 3

런타임에 결정되는 것이 아니기 때문에, 소멸자 정의에만 개체 [...] 대해 인 "될 수 없다 파괴 될 것임 "단순히 실행 파일이 정적이며 특정 실행에 대해 생성되지 않았기 때문에 단순히" "입니다. 당신의 소멸자에는 호출이 최종 실행 파일에 존재하지 않는 경우

그러나, 링커 힘는 완전히 기능을 제거합니다하기로 결정했습니다. 더 B::B()없이 B::~B() 적 합성되지 않기 때문에 혹시이 실제로 컴파일 B를 초기화하지 않고 링크 않을 경우

class A { 
    A() {} 
    ~A() {} 
}; 
class B { 
    A a; // cannot access dtor nor ctor of A 
}; 

: 마지막 지점에 대한

---

은,이 예제를 고려하십시오. 그러나 B의 객체를 만들려고하면 컴파일러에서 화려한 이름을 사용합니다. 간단히 말해서 B::B()과 B::~B()을 합성 할 수 없기 때문입니다.