Korzystanie = default w rozumieniu = usuń

Question

Poniższy kod jest dobrze opracowana:

struct B { 
    B(int) {} 
}; 

struct D : B { 
    D() = default; 
}; 

Aż muszę utworzyć instancję klasy D:

D d; // error: use of deleted function 'D::D()' 

Czy jest jakiś powód (przypadek użycia) zezwalać na = default dla konstruktora D, kiedy to faktycznie działa jako = delete;?

Answer 1

g++ daje ładny wyjaśnienie błędu:

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

Domyślny konstruktor będzie próbował skonstruować wszystkie części D. Nie masz żadnych pól, ale ma on początkową wartość B - która nie ma pustego konstruktora, a tylko jeden: int.

Domyślne zachowanie ma sens - D nie powinien mieć pustego konstruktora, chyba że wyraźnie stwierdzono, który int skonstruować B z, a kompilator nie chce zgadywać. W przeciwnym razie będziesz mieć obiekt D iw zależności od tego, co stanie się w konstruktorze B może zawierać śmieci, na przykład podczas inicjowania pola.

Nie jestem pewien, czy chodziło o pytanie dosłownie jeśli zapytać, dlaczego jest to „dozwolone”, jak B domyślny konstruktor zostanie usunięty, ale myślę, że z dwóch powodów:

1. Ten zachowanie jest dobrze zdefiniowane i nie ma powodu, aby go odrzucać. Wykrywanie błędu tylko wtedy, gdy próbujesz coś nielegalnie skonstruować, i tak jest zrobione.
2. Jest bardziej elastyczny - zmiana B na domyślny konstruktor automatycznie zezwala na D.

Answer 2

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

To nie działa jak =delete. Mówi dokładnie, co ma powiedzieć. Że wyraźnie chcesz, aby kompilator wygenerował domyślną implementację.

Tak się składa, że ​​wygenerowany kompilator musi zostać zdefiniowany jako usunięty. Ponieważ domyślny konstruktor B jest niejawnie usunięty.

Answer 3

B ma inny niż domyślny konstruktor (jego konstruktor przyjmuje argument, który nie ma wartości domyślnej).

Pochodna D klasa zatem nie ma domyślnego konstruktora, jego domyślny konstruktor zostanie usunięty (jak kompilator nie może generować konstruktor D które mogą wywołać konstruktor tej klasy dominującej B(int).)

D() = default; po prostu mówi, że chcesz domyślny konstruktor dla D i jak opisano powyżej, domyślny konstruktor jest usuwany.