Виртуальные методы

[Kn793]

Подскажите, чем отличаются вот эти два примера? А конкретно что творится в их таблицах виртуальных методов.
Пример №1:

class A {
public:
	virtual void foo();
};

class B : public A {
public:
	void foo();
};

Пример №2

class A {
public:
	virtual void foo();
};

class B : public A {
public:
	virtual void foo();
};

И вот тут тоже не очень понятно. B:foo() вовсе не виртуально, а в итоге всё-равно выводится "3".

class A {
public:
	virtual void foo() {
		cout << "1";
	}
	int field;
};

class B : public A {
public:
	void foo() {
		cout << "2";
	}
};

class C : public B {
public:
	virtual void foo() {
		cout << "3";
	}
};

int main() {
	A * pointer = new C();
	pointer->foo();
}

[netrino]

Если перегружаемая функция в базовом классе виртуальная, то она будет виртуальной и в производном. Помечать её виртуальной явно или нет, ничего от этого не изменится

[capta1n]

#include <iostream>

using namespace std;

class A{
public:
	void print(){
		cout << "A class" << endl;
		cout << "X = " << x << endl;
		return;
	}
	int x;
};

class B : public A{
public:
	void print(){
		cout << "B class" << endl;
		cout << "X = " << x << endl;
		cout << "Y = " << y << endl;
		return;
	}
	int y;
};

void main(){
	A *C = new A();
	B *D = new B();
	C->x=10;
	C->print();
	D->y=7;
	D->x=5;
	D->print();
	//
	C = D;
	C->print();
	cin.get();
	return;
}

спецификатор virtual необходим в базовом классе для того, чтобы в каждом из его производных классов использовался именно метод производного класса. Такая необходимость возникает в случае, если методы имеют одинаковые имена.
Посмотрите пример, который выше, а потом пример, который ниже. Отличаются они только тем, что в нижнем примере в базовом классе есть спецификатор virtual. И он меняет суть дела при "перенастройке" базового класса на производный.
В случае работы классов самих от себя - они будут использовать свои функции, но если базовый класс настроить на класс производный (путем "подмены" указателей, кароче тупо присвоения), то решающую роль играет слово virtual
Посмотрите. После присвоения к указателю класса A указателя класса B, сама реализация указателя осталась неизменной - он до сих пор типа A (об этом говорит, например, количество полей, используемых в классе - в производном их 2, а в базовом их 1, вот и получается, что у нас 1 поле), но попробуйте вызвать функцию print
Если базовый с virtual - то вызовите функцию производного класса, то есть того класса, чей указатель взяли (функция предка как бы "невидима" из производного класса, она как бы "виртуальная", зато прекрасно видима функция производного класса)
Если без virtual - то вновь вызовите функцию базового класса (тут функция базового класса видима, а так как мы есть тип А, то вызовим свой "видимый нами" метод )
Такая реализация позволяет ходить базовому классу по производным, и не переживать о том, что будет вызвана его старая базовая функция, а вызываться будут именно функции потомка, то есть в коем он сейчас находится

#include <iostream>

using namespace std;

class A{
public:
	virtual void print(){
		cout << "A class" << endl;
		cout << "X = " << x << endl;
		return;
	}
	int x;
};

class B : public A{
public:
	void print(){
		cout << "B class" << endl;
		cout << "X = " << x << endl;
		cout << "Y = " << y << endl;
		return;
	}
	int y;
};

void main(){
	A *C = new A();
	B *D = new B();
	C->x=10;
	C->print();
	D->y=7;
	D->x=5;
	D->print();
	//
	C = D;
	C->print();
	cin.get();
	return;
}

[Kn793]

netrino, смущает лишь слово "по-идее"

[netrino]

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

netrino, смущает лишь слово "по-идее"

убрал )).

[Kn793]

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

убрал )).

Ясно, спасибо.