Виртуальные методы. Почему бы всегда не использовать их?

[haruhi]

Вот например, есть класс в котором 10 обычных методов. Я их всех возьму и объявлю как виртуальные . Виртуальный метод можно переопределить в классах-потомкам, и соответственно никаких проблем не возникнет при написании классов-потомков, любой метод можно будет переопределить в потомке без необходимости лезть в базовый класс.
Какие могут быть минусы использования виртуальных мтеодов?

[Пепел Феникса]

ну свобода переопределения в общем-то и есть минус.
инкапсуляцию, то не просто так придумали.

[pu4koff]

Виртуальные методы дольше вызываются

[Blade]

Есть языки (уже не вспомню какие), в которых все методы виртуальные.
А основная проблема в производительности.

[_Ч_]

Основная проблема скорее в запутанности и кривом дизайне базового класса и всей иерархии наследников в целом. Возможность переопределять все ф-ии класса может привести к появлению иерархии, в которой черт ногу сломит, пока разберется что к чему. с ростом иерархии становится все сложнее ее поддерживать в рабочем состоянии. Делая медот виртуальным, стоит задуматься, а действительно ли он должен быть виртуальным. Свободу переопределения методов стоит ограничивать. Тут я согласен с Фениксом.
Я ни разу не сталкивался с ситуацией, когда производительность программы заметно падала из-за вызовов виртуальных ф-ий. Тормоза всегда были из-за дизайна той или иной части функционала, из-за плохих структур данных и алгоритмов их обработки. В общем вызов виртуальной ф-ии медленнее, но эта задержка как правило не критична.

[veniside]

> Какие могут быть минусы использования виртуальных мтеодов?

минус 1:

// вызов вуртуального метода
mov     rcx, [inst]  // instance
mov     rbx, [rcx]  // VMT
call    qword ptr [rbx+8]  // VMT+offset

// вызов обычного метода
mov     rcx, [inst]  // instance
call    methodName // вуаля

минус 2:

представьте солидную иерархию классов, такую, в которой несколько сотен методов на класс — обычное дело. Это получается минимум 1KB на каждый инстанс только для хранения VMT. При этом, т.к. обычно перекрывается не более 10% методов, 90% VMT будет дублироваться из класса в класс. В Дельфи даже ввели дополнительный тип методов — dynamic, которые хранятся в своей таблице и не занимают места, если они не перекрыты. Вроде не наврал.

минус 3, соглашусь с Фениксом:

свобода переопределения в общем-то и есть минус.

[haruhi]

всем, спасибо. всё понятно

[Сыроежка]

Сообщение от haruhi

Вот например, есть класс в котором 10 обычных методов. Я их всех возьму и объявлю как виртуальные . Виртуальный метод можно переопределить в классах-потомкам, и соответственно никаких проблем не возникнет при написании классов-потомков, любой метод можно будет переопределить в потомке без необходимости лезть в базовый класс.
Какие могут быть минусы использования виртуальных мтеодов?

В принципе, если у вас имеется наследование, а поведение функции должно зависеть от конкретного класса, то так и поступают, то есть делают все методы виртуальными. Это в том случае, когда используется идиома, что производный класс - это экземпляр базового класса.
Но, во-первых, не все класса проектируются таким образом, что они должны наследоваться. Во-вторых, не все функции меняют реаизацию в зависимости от принадлежности к классу. В-третьих, не всегда используется открытое наследование, то есть реализуется идиома "объект производного класса есть объект базового класса".
Что касается технической стороны, то естественно при использовании виртуальных функций размер класса увеличивается, так как добавляется указатель на таблицу виртуальных функций. Да и сама таблица виртуальных функций занимает место.
В качестве примера классов, которые не предназначены для построения иерархий, можно привести классы стандартных контейнеров.