Касты — четыре механизма вместо одного

В большинстве языков есть один синтаксис каста. В C++ — четыре, и это не педантичность: за одним C-style (T)x может скрываться безопасное числовое преобразование, небезопасный downcast, снятие const или переинтерпретация байтов памяти — и компилятор не видит разницы. Именованные касты разрезают это пространство на четыре класса операций с разными гарантиями: каждый каст разрешает строго свой набор, а нарушение — ошибка компиляции.

C++ также различает три источника преобразований: implicit (вставляются компилятором — стандартные конверсии, integer promotion, narrowing), user-defined (через converting constructor или operator T()) и explicit (четыре именованных каста). Эти механизмы пересекаются: например, downcast в иерархии бывает и implicit (upcast), и static-checked, и runtime-checked (dynamic). Полная карта — в слоях ниже.

Карта темы

• Преобразования типов — общая карта: implicit/user-defined/explicit, lossy vs lossless.
• Неявные преобразования — integer promotion, narrowing, цепочки конверсий.
• Пользовательские преобразования — converting ctor, operator T(), explicit.
• Явные касты — четыре именованных, что делает C-style.
• Касты по иерархии — upcast, downcast, crosscast; static_cast vs dynamic_cast.
• Динамическая типизация и RTTI — dynamic_cast, typeid, type_info, -fno-rtti.
• Преобразование указателей — void*, reinterpret_cast, strict aliasing, bit_cast.
• Const-корректность — const_cast, когда безопасно, когда UB, mutable.

Частые ошибки и ловушки

Значение для собеседований

Тема кастов всплывает на интервью потому, что напрямую связана с объектной моделью C++, RTTI, undefined behavior и strict aliasing. Интервьюер проверяет не знание синтаксиса, а понимание гарантий каждого каста.

Что обычно проверяют:

• Чем static_cast отличается от C-style cast — C-style перебирает несколько механизмов и может незаметно снять const или сделать reinterpret.
• Когда dynamic_cast возвращает nullptr, а когда бросает — указатели vs ссылки.
• dynamic_cast для non-polymorphic класса — ошибка компиляции, и почему.
• Strict aliasing — почему reinterpret_cast чтения чужого типа это UB.
• std::bit_cast — безопасная альтернатива, требования (sizeof + trivially-copyable).
• const_cast — единственный путь снять const; UB при записи в реально-const.
• Implicit user-defined conversion и правило «не более одной» в цепочке.
• Почему explicit нужен на однопараметровом конструкторе.

Типичный неверный ответ: «Я везде использую (Type)value, это короче и делает то же самое». Именно с этого начинается обсуждение, что именно (T)x делает и где это ломается.