Вопрос по виртуальным функциям

[I_I_I]

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

class A {
public:
	virtual void print() { cout << "class A\n"; }
};

class B : public A {
public:
	void print() { cout << "class B\n"; }
};

int main() {
	A a;
	B b;
	A* pa = &a;
	B* pb = &b;

	pa->print();
	pb->print();
	pb->A::print();
}

Каким образом в случае

 pa->print(); pb->print();

вызываются методы именно своих классов -- очевидно. Адреса этих методов есть в соответствующих этим классам таблицах vtbl.

Но откуда указателю pb удается вызвать

 pb->A::print()

? Ведь адреса этой функции нет в его виртуальной таблице (как я полагаю). Кто знает?

[ROD]

<убрал ошибочные данные>

A:rint() черт... хочу тег для принудительного игнорирования смайликов внутри него не может быть вызван в принцыпе, поскольку этой функции не существует. Кроме того, через Classname::FunctionName() можно вызвать только статические функции.

типа такой:

class C
{
public:
   static void print(){std::cout<<"Class C"<<std::endl;}
}

[Luuzuk]

Виртуальная функция на то и виртуальная, что она не имеет реализации (в данном классе). Странно, что компилятор не ругался.

А вы виртуальную с абстрактной не спутали, не?

Но откуда указателю pb удается вызвать

Выдержка из википедии:

Для каждого класса, имеющего хотя бы один виртуальный метод, создаётся таблица виртуальных методов. Каждый объект хранит указатель на таблицу своего класса. Для вызова виртуального метода используется такой механизм: из объекта берётся указатель на соответствующую таблицу виртуальных методов, а из неё, по фиксированному смещению, — указатель на реализацию метода, используемого для данного класса.
.............
для определения реализации виртуальной функции используется информация о типе объекта и вызывается «правильная» реализация, независимо от типа указателя

[ROD]

А вы виртуальную с абстрактной не спутали, не?

Ща глянул стандарт, да, немного ошибся. Ввела в заблуждение моя любимая конструкция virtual void functionname() = 0;

[Igor95]

Потому, что производный класс "работает как" базовый. Отсюда, Вы,через указатель на производный класс вызываете виртуальный метод print() из области видимости класса A.

[Igor95]

В данном случае получим две таблицы виртуальных функций:
A
0 A:rint()

и
B
0 B:rint()

[waleri]

pb->A:rint() - это вообще не виртуальный вызов, адрес определяется на этапе компиляции.

[waleri]

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

Кроме того, через Classname::FunctionName() можно вызвать только статические функции.

Не путайте Classname::FunctionName() с instance.Classname::FunctionName() или pointer->Classname::FunctionName()

[Igor95]

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

pb->A:rint() - это вообще не виртуальный вызов, адрес определяется на этапе компиляции.

***Удалил. Написал я бред*****

[Igor95]

#include <iostream>
class Base
{
public:
	virtual void print()
	{
		std::cout << "Base print() called" << std::endl;
	}
};

class Inherited: public Base
{
public:
	virtual void print()
	{
		std::cout << "Inherited print() called" << std::endl;
	}
};

void main()
{
	Base b;
	Inherited inh;
	Base *pB = &b;
	Base *pInh = &inh;
	pInh->Base::print(); // все ок
        pB->Inherited::print(); // ошибка! не member класса Base.
	system("pause");
}

Т.е, то, что я написал в своем первом посте: "работает как". Base не знает о существовании Inherited.