Почему в C++ до сих пор продолжают делать «свой» RTTI в обход существующего стандартного решения? Причина в том, что далеко не всегда и не для всех классов этот механизм востребован. И иногда он медленный. А еще у вас нет полноценного доступа к иерархии классов.

Те же, кто пишет свой RTTI сталкиваются вот с такими проблемами:

При добавлении классов приходится писать много дополнительного кода.
Как правило, в «своем» RTTI нет возможности получить доступ к иерархии классов, а иногда это было бы очень удобно.
В каких-то случаях (например, для паттерна Visitor) приходится даже использовать генераторы программного кода (см. Clang AST Visitor).

Используя С++17 (с заделом на C++20) и немного всяких хитростей, можно почти полностью уйти от этих проблем:

Дополнительный код по-прежнему нужен, но его все же теперь меньше, чем в других решениях.
Имея указатель на базовый класс, вы не только можете узнать, что это за тип, но еще и получить доступ к иерархии классов.
Посмотрим, сможем ли мы сделать Visitor без генерации кода?

Доклад будем полезен тем, кто небезразличен к таким вещам, как «стирание типов» и RTTI в C++.

Stepan Dyatkovskiy

Talks from 2023 season

Almost Full-Featured RTTI with Scaled Overhead

Stepan Dyatkovskiy