Какие знаешь виды полиморфизма?

Какие знаешь виды полиморфизма?

Полиморфизм — это один из краеугольных камней объектно-ориентированного программирования и C++ дизайна. В C++ существует несколько видов полиморфизма, каждый с разными уровнями абстракции и производительности.

1. Compile-Time Polymorphism (Статический полиморфизм)

Ad Hoc Polymorphism: Function Overloading

Несколько функций с одинаковым именем, но разными параметрами. Разрешение перегрузки происходит во время компиляции — компилятор выбирает правильную функцию. Преимущества: нет runtime overhead. Недостатки: все варианты должны быть известны при компиляции.

Parameterized Polymorphism: Templates

Шаблоны позволяют писать generic код. Для каждого типа компилятор создаёт свою specialization. Это происходит во время компиляции, поэтому нет runtime overhead, но увеличивается размер бинарника.

Specialization: Можно специализировать шаблоны для конкретных типов для оптимизации.

2. Runtime Polymorphism (Динамический полиморфизм)

Virtual Functions

Это классический полиморфизм через наследование и виртуальные функции. У каждого класса есть виртуальная таблица (vtable), каждый объект хранит указатель на vtable. При вызове виртуальной функции выполняется динамическая диспетчеризация.

Преимущества: Гибкость, позволяет работать с неизвестными типами. Недостатки: Runtime overhead (виртуальные вызовы медленнее на ~15-30%).

PIMPL (Pointer to Implementation)

Идиома для скрытия реализации и создания stable API.

3. Type Erasure

Комбинация template'ов и virtual функций для создания гетерогенных контейнеров. Это более гибко, чем virtual функции, но имеет overhead копирования.

4. Coercion Polymorphism

Неявное преобразование типов через operator. Например, Integer может преобразоваться в int.

5. Compositional vs Inheritance

Inheritance (IS-A): Класс наследует от другого

Composition (HAS-A): Класс содержит другой

Composition часто предпочитается, потому что более гибкая и меньше связанности.

Производительность: Templates vs Virtual Functions

Templates обычно быстрее, потому что:

1. Инлайнятся компилятором
2. Нет динамической диспетчеризации
3. Компилятор может оптимизировать специфичный код

Benchmark примерно: Virtual функция ~5-10 ns, Template функция ~1-2 ns.

Когда что использовать

• Известны все типы компилятора: Templates
• Нужна гибкость, расширяемость: Virtual functions
• Plugin система: Type erasure
• Performance-critical: Templates
• API для clients: Virtual functions (stable interface)

Полиморфизм — это мощный инструмент, но нужно использовать его на нужном уровне абстракции. C++ позволяет выбрать правильный баланс между производительностью и гибкостью.