Чем мы платим в рантайме за использование интерфейса?

Что такое интерфейс и зачем он нужен

Интерфейс — это контракт, который определяет набор методов, которые должен реализовать класс. Он позволяет писать гибкий и расширяемый код, используя полиморфизм. Однако за эту гибкость приходится платить в рантайме.

Основные источники накладных расходов

• Динамическая диспетчеризация (dynamic dispatch): Когда вызывается метод через интерфейс, компилятор не знает заранее, какая реализация будет использована. Вместо прямого вызова генерируется код, который сначала получает указатель на таблицу виртуальных методов (vtable) объекта, затем находит нужный метод в этой таблице и только потом вызывает его. Это добавляет как минимум одно дополнительное разыменование указателя.
• Препятствие для inlining: Компилятор не может встроить (inline) вызов метода, если не знает его реализацию на этапе компиляции. Inlining — одна из важнейших оптимизаций, которая устраняет накладные расходы на вызов функции. Без неё каждый вызов через интерфейс требует сохранения регистров, передачи аргументов и возврата.
• Косвенное обращение к памяти: Доступ к vtable — это дополнительное чтение из памяти, что может вызвать промах кэша (cache miss) и замедлить выполнение.

Пример на C++

class IShape {
public:
    virtual void draw() = 0;
};

class Circle : public IShape {
public:
    void draw() override { /* рисуем круг */ }
};

void render(IShape* shape) {
    shape->draw(); // динамическая диспетчеризация
}

В этом примере вызов shape->draw() не может быть оптимизирован, так как shape может указывать на любой класс, наследующий IShape.

Когда это важно

В большинстве бизнес-приложений (веб-сервисы, GUI) накладные расходы на интерфейсы незаметны. Они становятся критичными в системах реального времени, игровых движках, высокочастотной торговле или научных вычислениях, где важна каждая микросекунда.

Вывод

Использование интерфейсов оправдано, когда гибкость и расширяемость кода важнее микрооптимизаций. В высокопроизводительных участках стоит рассмотреть альтернативы: шаблоны (templates), статический полиморфизм (CRTP) или явное указание конкретных типов.