Historia: W C++98, zarządzanie zasobami podążało za Zasadą Trzech: jeśli klasa wymagała niestandardowego деструктора, конструктора kopiującego lub operatora przypisania kopiującego, prawdopodobnie potrzebowała wszystkich trzech. Gdy C++11 wprowadziło semantykę перемещения, stało się to Zasadą Pięciu, dodając konstruktor перемещения i operator przypisania перемieszczającego. Komitet standardowy wybrał konserwatywne podejście: zadeklarowanie każdego деструktora (nawet тривиальных) hamuje implikacyjne generowanie operacji перемещения, aby zapobiec przypadkowemu płytkiemu перемieszczeniu zasobów zarządzanych przez деструктory.
Problem: Gdy piszesz ~MyClass() = default; wewnątrz definicji klasy, tworzysz "деструктор zadeklarowany przez użytkownika". Zgodnie ze standardem C++ ([class.copy.ctor]/3), ta obecność tłumi implikacyjną deklarację zarówno konstruktora перемieszczającego, jak i operatora przypisania перемieszczającego. W konsekwencji kompilator traktuje klasę jako tylko do kopiowania, cicho wracając do kosztownej semantyki kopiowania podczas realokacji std::vector lub optymalizacji zwracania przez wartość, mimo że деструктор nie wykonuje żadnej rzeczywistej pracy.
Rozwiązanie: Aby utrzymać implikacyjne generowanie перемещения, zadeklaruj деструktor tylko wewnątrz klasy i dostarcz domyślną definicję na zewnątrz:
class Optimized { public: ~Optimized(); // Tylko zadeklarowany tutaj std::array<char, 4096> buffer; }; Optimized::~Optimized() = default; // Zdefiniowany na zewnątrz
To sprawia, że деструктор jest "dostarczony przez użytkownika", ale nie "zadeklarowany przez użytkownika" w momencie, gdy kompilator decyduje o generowaniu перемещения. Alternatywnie, jawnie zadeklaruj wszystkie pięć specjalnych członków, lub lepiej, stosuj Zasadę Zerową, zastępując surowe zasoby std::unique_ptr lub kontenerami.
Napotkaliśmy to w silniku handlu wysokiej częstotliwości przetwarzającym obiekty MarketDataPacket. Klasa miała stały bufor 4KB dla danych sieciowych:
class MarketDataPacket { public: ~MarketDataPacket() = default; // Napisany w nagłówku dla "klarowności" char buffer[4096]; };
Po migracji do C++11, profilowanie opóźnień ujawniło 40% cykli CPU wydanych na memcpy, mimo że pakiety były zwracane przez wartość. Winowajcą był задекlarowany w klasie деструktor, który niezamierzenie zablokował implikacyjne перемещения i wymusił kopiowanie podczas wzrostu std::vector i zwrotów funkcji.
Rozwiązanie 1: Jawnie zadeklaruj konstruktor перемieszczający i operator przypisania noexcept. To natychmiast rozwiązuje problem wydajności, umożliwiając перемещения. Jednak wymaga to ręcznego utrzymywania tych funkcji przy dodawaniu członków, stwarza ryzyko niezgodności specyfikacji wyjątków, gdy są zaangażowane surowe wskaźniki, oraz dodaje kod, który łamie Zasadę Zerową.
Rozwiązanie 2: Przenieś definicję деструktora do pliku .cpp z MarketDataPacket::~MarketDataPacket() = default;. Przywraca to generowanie перемещение przez kompilator, utrzymując деструктор jako тривиальный. Utrzymuje też zero-kosztową abstrakcję i umożliwia optymalizacje kompilatora, takie jak pomijanie wywołań деструktorów dla nieużywanych obiektów. Jedyną wadą jest wymóg osobnej jednostki kompilacyjnej, co było akceptowalne.
Rozwiązanie 3: Zastąp surowy bufor std::vector<uint8_t> lub std::unique_ptrstd::byte[]. To osiąga idealną zgodność z Zasadą Zerową. Jednak wprowadza to pośrednictwo lub nadmiar pamięci heap, który jest nieakceptowalny w ścieżkach handlowych wrażliwych na mikrosekundy, gdzie lokalność pamięci podręcznej ma kluczowe znaczenie.
Wybraliśmy Rozwiązanie 2. Przenosząc domyślne definiowanie na zewnątrz klasy, przywróciliśmy implikacyjne перемещения, zredukowaliśmy opóźnienie przetwarzania pakietów z 12μs do 3μs, a także utrzymaliśmy тривиальную destrukcyjność, co pozwoliło na agresywne optymalizacje kompilatora.
Dlaczego kompilator rozróżnia pomiędzy domyślnym definiowaniem w klasie a poza klasą, gdy semantyka jest identyczna?
Różnica jest syntaktyczna, a nie semantyczna. C++ wykorzystuje model analizy jednoprzebiegowej dla definicji klas. Gdy kompilator dociera do zamykającej klamry klasy, musi zdecydować, czy generować implikacyjne operacje перемещения. Jeśli widzi = default wewnątrz, деструктор jest w tym momencie "zadeklarowany przez użytkownika", co uruchamia zasady tłumienia zgodnie z [class.copy]/7. Kompilator nie może "przeglądać do przodu" do zewnętrznej definicji, aby zmienić tę decyzję. To fundamentalne ograniczenie modelu kompilacji C++.
Czy oznaczając деструktor jako noexcept, przywracamy implikacyjne перемещения?
Nie. Tłumienie generowania implikacyjnego перемещения zależy wyłącznie od tego, czy деструктор jest zadeklarowany przez użytkownika, a nie od jego specyfikacji wyjątków. Choć oznaczanie перемещения jako noexcept jest kluczowe, aby mogły być używane w realokacjach std::vector, dodanie noexcept do domyślnego деструktora wewnątrz klasy nie przywraca usuniętych operacji перемещения. Musisz przenieść definicję na zewnątrz lub jawnie zadeklarować перемещения.
Jak зададекларованный przez użytkownika деструктор wpływa na inicjalizację agregatów?
Klasa z jakimkolwiek деструктором zadeklarowanym przez użytkownika przestaje być agregatem. Jest to często bardziej zakłócające niż utrata перемещения. Oznacza to utratę wyznaczonych inicjalizatorów (C++20) i zdolność do używania list inicjalizacyjnych zamkniętych w klamrach bez wyraźnych konstruktorów. Wielu deweloperów oczekuje, że inicjalizacja agregatów będzie działać i jest zaskoczonych, gdy zawiedzie:
struct Config { ~Config() = default; // Łamie agregację int value; }; // Config c{42}; // Błąd: brak dopasowanego konstruktora
Dzieje się tak, ponieważ obecność деструktora zadeklarowanego przez użytkownika zmusza klasę do posiadania semantyki destrukcji nie-trivialnej w systemie typów, wykluczając ją ze statusu agregatu niezależnie od rzeczywistej złożoności.