다음 코드는 잘 컴파일

Question

을 삭제 = 사용 =의 의미 기본) = defaultD의 생성자, 실제로는 = delete; 때 작동하도록 허용하려면?

Answer 1

g++ 오류에 좋은 설명을 제공 :

bla.cpp:6:5: note: ‘D::D()’ is implicitly deleted because the default definition would be ill-formed: D() = default;

기본 생성자는 D의 모든 부분을 구성하려고합니다. 필드가 없지만 초기 생성자는 B입니다. 빈 생성자가없고 int 만 있습니다. 명시 적으로 함께 B를 구성 할 int 명시하지 않는 한 D 빈 생성자가 안되며, 컴파일러는 생각하지 않습니다 -

기본 동작은 의미가 있습니다. 그렇지 않으면 D 개체가 생기고 B 생성자의 상황에 따라 B에는 정크를 포함 할 수 있습니다 (예 : 필드 초기화). B 기본 생성자가 삭제 될 때이 "이 허용"이유를 물어 때

나는 말 그대로 질문을 의미 있는지 확실하지 않습니다,하지만 난 두 가지 이유를 생각할 수 :

1. 이를 행동은 잘 정의되어 있으며이를 거부 할 이유가 없습니다. 불법적으로 무언가를 만들려고 할 때만 오류를 감지하는 것은 어쨌든 완료됩니다.
2. 더 유연합니다. B을 기본 생성자로 변경하면 D에 자동으로 허용됩니다.

Answer 2

Is there any reason (use case) to allow = default for D's constructor, when it's actually works as = delete;?

이 =delete대로 작동하지 않습니다. 그것은 말하려는 것만 말합니다. 컴파일러가 명시 적으로 기본 구현을 생성하도록 사용자가 명시 적으로 요구합니다.

컴파일러가 생성 한 컴파일러가 삭제 된 것을 정의해야합니다. 기본 생성자가 B이므로 암시 적으로 삭제됩니다.

Answer 3

B에는 기본값이 아닌 생성자가 있으며이 생성자는 기본값이없는 인수를 사용합니다.

파생 D 클래스 따라서 기본 생성자가 삭제됩니다, 기본 생성자가없는 (컴파일러가 부모 클래스의 B(int) 생성자를 호출 할 수 있습니다 D에 대한 생성자를 생성 할 수있다.)

D() = default; 위에서 설명한대로 D의 기본 생성자를 원한다고 말하면 기본 생성자가 삭제됩니다.