То ли я неправильно понял теорию, то ли еще что...



Почему я не могу теперь обратиться к  B::fb() через 


ведь мой указатель, если я правильно понимаю, сейчас должен указывать на таблицу виртуальных функция класса B. А в ней, благодаря наследованию должно быть 2 функции A::fa() и B::fb(). Или я что-то неправильно понял?

http://www.devdoc.ru/index.php/content/view/virtual_base.htm

Да, я как раз и прочитал эту статью. Вот теперь перешел к практики и не понимаю, что я делаю не так.

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

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

Например



если сделать функцию виртуальной, то будет вызыватся функция класса B, потому что на самом деле в указателе п лежит обьект типа B.

Название твоих функций разные, и тут нет никакого полиморфизма. Если не перекрывать функции - виртуальность функций теряет смысл.

Это сообщение отредактировал(а) azesmcar - 24.2.2009, 10:17

А, то есть виртуальная функция обязана быть переопределена?  

Теперь яснее, но все равно непонятна фраза в вышеупомянутой статье:

 

Сами классы:


Я думал, что раз вторая таблица "содержит 3 элемента: V::foo(), Vbase::bar(), V::alpha()", то почему бы не обратиться к любому виртуальному методу, даже не объявленному в Vbase. В данном случае это V::alpha()



Это сообщение отредактировал(а) Алексей - 24.2.2009, 10:34

чистая виртуальна - да(если конечно нужен не абстрактный потомок)

Указатель на отца "знает" смещения своих виртуальных ф-ий в vtable, он ничего не знает о новой ф-ии потомка, а значит и не знает смещения ее в таблице.

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

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



не стоит так глубоко рассматривать виртуальную таблицу, просто пока знай что при определении хоть одной виртуальной функции в классе, в обьект добавляется 4 байта (т.е. адрес виртуальной таблицы изходя из которой вызывается та функция - которая должна быть вызвана).
К тому же это всего лишь стандартная реализация, в С++ стандарте ни слова не сказано о виртуальной таблице, просто программисты нашли один и кстати неплохой способ реализации полиморфизма с помощью виртуальных таблиц и оставили эту тему в покое. Вполне может быть компилятор который работает по другому и не имеет виртуальных таблиц (это теоретически).



нет, тут просто в классе потомке добавлена функция alpha, которую можно переопределить в потомках класса V. т.е. эта функция недоступна по указателю vBase

приведу пример чтобы тебе было легче понять что такое полиморфизм и зачем он. Например у нас есть класс человек (human), наследуем от него пару классов (man, woman). Рождаются они одинаково, растут тоже, но мыслят по разному...



тут заодно виден смысл абстрактного класса. Класс человек абстрактный, т.е. мы не знаем как можно реализовать виртуальную функцию для него, потому оставляем тело пустым, и заставляем каждого кто от него наследует - переопределять функцию. А функции born и grow одинаковы для обоих полов, потому пишем их в базовом классе.

Добавлено @ 11:24
надеюсь мою шутку не рассмотрят как половую дискриминацию )))

Это сообщение отредактировал(а) azesmcar - 24.2.2009, 11:25

http://habrahabr.ru/blogs/cpp/51229/
тут тоже расписано все довольно подробно...