[c++] 언제 가상 소멸자를 사용하지 말아야합니까?

질문에 명시 적으로 대답하기 위해, 즉 언제 가상 소멸자를 선언 하지 않아야합니다 .

C ++ ’98 / ’03

가상 소멸자를 추가하면 클래스가 POD (일반 이전 데이터) * 또는 집계에서 비 POD로 변경 될 수 있습니다 . 클래스 유형이 어딘가에서 초기화 된 경우 프로젝트 컴파일이 중지 될 수 있습니다.

struct A {
  // virtual ~A ();
  int i;
  int j;
};
void foo () {
  A a = { 0, 1 };  // Will fail if virtual dtor declared
}

극단적 인 경우 이러한 변경으로 인해 클래스가 POD가 필요한 방식으로 사용되는 정의되지 않은 동작 (예 : 생략 매개 변수를 통해 전달 또는 memcpy와 함께 사용)이 발생할 수도 있습니다.

void bar (...);
void foo (A & a) {
  bar (a);  // Undefined behavior if virtual dtor declared
}

[* POD 유형은 메모리 레이아웃에 대해 특정 보증이있는 유형입니다. 표준은 실제로 POD 유형의 객체에서 문자 배열 (또는 부호없는 문자)로 복사하고 다시 되 돌리는 경우 결과는 원래 객체와 동일하다고 말합니다.]

최신 C ++

최신 버전의 C ++에서 POD의 개념은 클래스 레이아웃과 구성, 복사 및 파괴로 나뉘어졌습니다.

줄임표의 경우 더 이상 정의되지 않은 동작이 아니며 이제 구현 정의 의미 체계로 조건부 지원됩니다 (N3937-~ C ++ ’14-5.2.2 / 7).

… 사소하지 않은 복사 생성자, 사소하지 않은 이동 생성자 또는 해당 매개 변수가없는 사소한 소멸자를 갖는 클래스 유형 (Clause 9)의 잠재적으로 평가 된 인수를 전달하는 것은 구현시 조건부로 지원됩니다. 정의 된 의미론.

=defaultwill 이외의 소멸자를 선언하면 사소하지 않습니다 (12.4 / 5).

… 소멸자는 사용자가 제공하지 않으면 사소합니다 …

Modern C ++에 대한 다른 변경 사항은 생성자를 추가 할 수 있으므로 집계 초기화 문제의 영향을 줄입니다.

struct A {
  A(int i, int j);
  virtual ~A ();
  int i;

  int j;
};
void foo () {
  A a = { 0, 1 };  // OK
}