Динамический Полиморфизм Против std::variant: Разрушаем Мифы О Скорости std::visit

В современном C++ сложилось мнение, что традиционный динамический полиморфизм через виртуальные функции устарел и неэффективен, особенно с точки зрения кэширования процессора. Часто предлагается использовать std::variant и std::visit как более современный подход. Многие статьи утверждают, что std::visit обеспечивает диспетчеризацию за фиксированное время O(1), что делает классическую объектно-ориентированную парадигму устаревшей. Однако такие сравнения часто содержат методологические ошибки, противопоставляя вектор указателей (std::vector<Base*>) вектору сырых объектов (std::vector<std::variant>). Хотя std::variant может показаться более эффективным, это преимущество связано не с механикой вызова функций, а с локальностью данных в кэше процессора. Чтобы прояснить ситуацию, необходимо уравнять условия и изолировать механику вызовов. Рассмотрим реальный сценарий, где объекты тяжелые, создаются динамически и разбросаны по куче, в то время как мы работаем с массивами их адресов. Мы сравним std::vector<Base*> и std::vector<std::variant<TypeA, TypeB, TypeC>*> в условиях раздельной компиляции, когда оптимизатор не может применить тотальный инлайнинг.