C++ MythBusters. Миф о виртуальных функциях

Хорошая статья, большая работа, спасибо.

Однако, оба мифа мифами не являются, а хорошо известны любому опытному C++ программисту, то есть в статье что-то новое могут открыть для себя программеры «случайно» пишущие на cpp или новички.

Может быть просто дать две ссылки на документацию по cpp и не тратить время на подготовку кода, написание статьи?

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

когда указатель pA указывает на объект типа B имеем вывод:

pA is C:

s/на объект типа B/на объект типа C/g

Спасибо! Люблю статьи где рассказывается как это всё работает.

Для полноты примера стоило показать, что наличие невиртуальной функции не влияет на размер класса :)

Также было бы интересно написать про множественные vtable при множественном наследовании и последующий thunking.

Отличная статья, спасибо!
P.S. У вас опечатка в картинке с классами Base и Inherited. viod вместо void

«когда указатель pA указывает на объект типа B имеем вывод:» — строчка повторяется два раза, во втором случае, наверное, имелся ввиду «объект типа C»)

Виртуальные функции используются очень часто — фактически, во всех компилируемых оо-языках (Object Pascal, Java, C#). Основная заслуга Страустрапа при разработке C++ как раз и состоит в том, что он предложил эффективную реализацию наследования и полиморфизма.

С другой стороны, именно поэтому в этих языках такая путаница — чем же отличаются интерфейсы от абстрактных классов. :)

Если интересно, попробуйте написать похожую статью про виртуальное наследование (ну и вообще, про множественное наследование). В частности — нужно ли ключевое слово virtual писать при определении каждого наследника, или достаточно только при определении самого первого. :)

Читателям сразу будет понятно, почему множественное наследование классов приводит к проблемам, а интерфейсов — нет.

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

Ведь в становлении любого плюсера играют роль множество книжек талантливых мастеров. Начинающий, который прочтет вашу статью — мало что в ней поймет, скажет спасибо, а разбирательство с механизмом действия виртуальных функций оставит на потом, а прочев Майерса, а потом Саттера сам все постигнет. Именно по этой причине так мало статей по плюсам. Именно потому, что уже все сказано, а путь становления плюсера — однозначен.

Я понимаю, что существует масса книг по С++, особенно популярны, почему-то, такие универсалы (у которых на каждый язык своя книга) как Шилдт, Экель, Дейтел, но это не совсем верный путь. Человек, который постигал плюсы по их книгам — упускает много важного по мере своего развития, и потом будучи уже разработчиком коммерческих приложений на плюсах сталкивается с сюрпризами.

Путь любого плюсера:
— Должен начинаться с чего-то простого и понятного. Например книжки Кернигана и Риччи по С. Или же C++ By Dissection by Ira Pohl — великолепная книга, где все простенько и со вкусом.
— Можно продолжить пробежавшись по глазам по книге одного из универсалов (Шилдта к примеру). И очень часто консультироватся с талмудом Страуструпа.
— А уж потом, Майерс, Саттер, Александреску, которые давным давно объяснили всю эту уличную магию и разложили по полочкам.
— А еще профи плюсеры любят читать Dr. Dobbs Journal

Немного касательно статьи. Не помню у кого прочел, но цитата не совсем верна:

Таблиц виртуальных функций у нас будет столько, сколько есть классов, содержащих виртуальные функции — по одной таблице на класс.

.

Таблица виртуальный функций не создается одна на класс. Она создается не per instance, а per type, т.е. если вы создали 5 экземпляров класса B, то таблица будет одна, и сидит она в статической памяти. Сделано все это, для экономии памяти :)

вот ещё немного информации о виртуальных функциях :)

Нужно было упомянуть о виртуальном деструкторе и его необходимости для всех виртуальных классов и их наследников. Это очень частая ошибка.

VTABLE вообще интересная штука :) Люблю такие вот извращения:

#include "stdafx.h"

class CTest
{
private:
  virtual void Print()
  {
    _tprintf( _T("He he ;)\n"));
  }
};

class CX
{
public:
  virtual void BlaBla();
};

int _tmain(int argc, _TCHAR* argv[])
{
  CTest t;

  //error C2248: 'CTest::Print' : cannot access private member declared in class 'test'
  //t.Print();

  //It works
  ((void (*)(void))((int*)(*(int*)&t))[0])();

  //It works, too
  ((CX*)&t)->BlaBla();

  return 0;
}

* This source code was highlighted with Source Code Highlighter.

Спасибо за статью!

С++ изучаю в институте. Рекомендованая литература — Б. Страуструп. По поводу виртуальных функций в его талмуде сказано очень не много, или (возможно, я что-то упустил), в нескольких местах. Так что связать позднее всё в единое представление о виртуальных функциях не получалось.

Ключевым моментом для понимания стал механизм восходящего возведения типов.
Спасибо!

Огромное спасибо!
Давно не программил на плюсах и начинаю уже забывать важные нюансы. Было очень приятно почитать вашу отлично оформленную и грамотно написанную статью ( особенно спс за примеры — так очень быстро вникаешь ) и освежить свою память.

Примного благодарю!