• Najnowsze pytania
  • Bez odpowiedzi
  • Zadaj pytanie
  • Kategorie
  • Tagi
  • Zdobyte punkty
  • Ekipa ninja
  • IRC
  • FAQ
  • Regulamin
  • Książki warte uwagi

std::unique_ptr i dziedziczony destruktor

VPS Starter Arubacloud
0 głosów
273 wizyt
pytanie zadane 12 sierpnia 2021 w C i C++ przez Pawel1995 Gaduła (3,810 p.)

Cześć mam problem z zrozumieniem fragmentu kodu z "testu rekrutacyjnego"

Otóż mamy taki kod:

#include <iostream>

struct A
{
    ~A() { printf("~A"); }
};

struct B
    : A
{
    ~B() { printf("~B"); };
};

int main()
{
    std::unique_ptr < A > x(new B);  //wariant 1
    return 0;
}

Moje pytanie brzmi czemu wynik tego to "~A" zamiast "~B~A" jak bym się spodziewał?

 

Kiedy w szablon wsadzam klasę pochodną:

std::unique_ptr < B > x(new B); //wariant 2

Wynik jest taki jak chcę. Rozumiem takie zachowanie kiedy by była tylko klasa bazowa wywołana:

std::unique_ptr < A > x(new A); //wariant 3

Ale jednak w tym wariancie 1 jest tworzony obiekt "B", więc dlaczego nie jest wywoływany jego [obiektu "B"] destruktor?

2 odpowiedzi

0 głosów
odpowiedź 12 sierpnia 2021 przez TOM_CPP Pasjonat (22,640 p.)
wybrane 12 sierpnia 2021 przez Pawel1995
 
Najlepsza

Destruktor w klasie bazowej powinien być wirtualny. Ta informacja używana jest przez kompilator w momencie usunięcia obiektu za pomocą wskaźnika do klasy bazowej. Kompilator widząc słowo virtual, wywoła odpowiednią/poprawną sekwencję destruktorów, zdefiniowaną przez dziedziczenie. Gdy tego słowa nie będzie, potraktuje obiekt jako bazowy, wywołując tylko jego destruktor, co prowadzi do UB.

Jako ciekawostka - jeżeli użyjemy shared_ptr zamiast unique_ptr, kod wykona się prawidłowo.

https://godbolt.org/z/981M54h5h

komentarz 13 sierpnia 2021 przez j23 Mędrzec (194,920 p.)

Jako ciekawostka (...)

Zapewne dlatego, że w shared_ptr deleter "wędruje" razem ze wskaźnikiem. W przypadku unique_ptr deleter jest ustawiony na sztywno dla typu T.

0 głosów
odpowiedź 12 sierpnia 2021 przez adrian17 Ekspert (344,100 p.)
Bo zapomniałeś uczynić destruktor wirtualnym :)
komentarz 12 sierpnia 2021 przez Pawel1995 Gaduła (3,810 p.)
ale jednak kiedy stosuje //wariant 2 to wszystko działa jak trzeba mimo że nie mam destruktora wirtualnego.
komentarz 12 sierpnia 2021 przez adrian17 Ekspert (344,100 p.)
Tak, bo w wariancie 2, wiadomo że wskaźnik wskazuje na obiekt klasy B, więc wiadomo żeby wywołać destruktor B. W innych, wskaźnik wie tylko że wskazuje na A, więc nie ma skąd wiedzieć żeby wywołać destruktor B - po to są funkcje wirtualne.

Podobne pytania

0 głosów
2 odpowiedzi 235 wizyt
0 głosów
1 odpowiedź 153 wizyt
+1 głos
2 odpowiedzi 643 wizyt

92,452 zapytań

141,262 odpowiedzi

319,085 komentarzy

61,854 pasjonatów

Motyw:

Akcja Pajacyk

Pajacyk od wielu lat dożywia dzieci. Pomóż klikając w zielony brzuszek na stronie. Dziękujemy! ♡

Oto polecana książka warta uwagi.
Pełną listę książek znajdziesz tutaj.

Akademia Sekuraka

Akademia Sekuraka 2024 zapewnia dostęp do minimum 15 szkoleń online z bezpieczeństwa IT oraz dostęp także do materiałów z edycji Sekurak Academy z roku 2023!

Przy zakupie możecie skorzystać z kodu: pasja-akademia - użyjcie go w koszyku, a uzyskacie rabat -30% na bilety w wersji "Standard"! Więcej informacji na temat akademii 2024 znajdziecie tutaj. Dziękujemy ekipie Sekuraka za taką fajną zniżkę dla wszystkich Pasjonatów!

Akademia Sekuraka

Niedawno wystartował dodruk tej świetnej, rozchwytywanej książki (około 940 stron). Mamy dla Was kod: pasja (wpiszcie go w koszyku), dzięki któremu otrzymujemy 10% zniżki - dziękujemy zaprzyjaźnionej ekipie Sekuraka za taki bonus dla Pasjonatów! Książka to pierwszy tom z serii o ITsec, który łagodnie wprowadzi w świat bezpieczeństwa IT każdą osobę - warto, polecamy!

...