Jak zrealizować bezpieczne rzutowanie typów (type casting) w C++? Czym różni się static_cast od dynamic_cast i kiedy ich używać? Wyjaśnij, jakie błędy mogą wystąpić przy niewłaściwym rzutowaniu typów.

Odpowiedź.

Bezpieczne rzutowanie typów (type casting) w C++ zapewniane jest za pomocą operatorów rzutowania: static_cast, dynamic_cast, const_cast, reinterpret_cast.

• static_cast: Używany do zwykłych rzutowań między kompatybilnymi typami, na przykład między typami numerycznymi a klasami mającymi relację dziedziczenia (bez sprawdzania typu w czasie wykonywania).
• dynamic_cast: Stosowany do bezpiecznego rzutowania w hierarchiach dziedziczenia z metodami wirtualnymi. W przypadku niemożności rzutowania zwróci nullptr dla wskaźników lub zgłosi wyjątek dla referencji.

Kiedy używać:

• Do niebezpiecznych lub nieprzezroczystych rzutowań między obiektami różnych klas używaj dynamic_cast z wirtualnymi bazami. Do konwersji między prostymi/kompatybilnymi typami — static_cast.

Przykład:

struct Base { virtual ~Base() {} };
struct Derived : Base { void foo() {} };

void test_cast(Base* base) {
    // Bezpieczne rzutowanie do niższego klasą
    Derived* d = dynamic_cast<Derived*>(base);
    if (d) {
        d->foo();
    }
}

Pytanie pułapka.

Pytanie: Czy można skonwertować obiekt klasy podstawowej do pochodnej przy użyciu static_cast, jeśli obiekt w rzeczywistości nie jest instancją klasy pochodnej?

Odpowiedź: Tak, static_cast kompiluje się, ale zachowanie będzie niezdefiniowane, jeśli obiekt nie jest rzeczywiście obiektem klasy pochodnej. Tylko dynamic_cast gwarantuje bezpieczeństwo takiego rzutowania. Użycie static_cast do downcastu jest dozwolone tylko wtedy, gdy jesteś pewny rzeczywistego typu obiektu.

Przykłady rzeczywistych błędów spowodowanych niewiedzą o niuansach tematu.

---

Historia

W dużym systemie embedded rzutowania między klasą rodzicielską a dziecinną były realizowane przez static_cast. W niektórych przypadkach prowadziło to do awarii podczas próby uzyskania dostępu do nieistniejących pól — program próbował interpretować pamięć innego typu.

---

Historia

Przy opracowywaniu architektury pluginów programiści używali reinterpret_cast do rzutowania wskaźników między różnymi typami, co prowadziło do odczytu śmieci i awarii w czasie wykonywania, zwłaszcza podczas próby dynamicznego rzutowania przez DLL.

---

Historia

W ogólnym korporacyjnym frameworku zapomniano o wirtualnych destruktorach w klasie podstawowej, co uniemożliwiało prawidłowe działanie dynamic_cast i prowadziło do wycieków pamięci i uszkodzeń przy usuwaniu obiektu przez wskaźnik na klasę podstawową.