Полиморфизм.

[apofioz]

Здравствуйте! Не знаю правильно ли я рассуждаю, но, есть задача:

Как в примере Early.cpp узнать, какое связывание используется компилятором при вызове, раннее или позднее? Определите тип связывания для своего компилятора.

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

Как показать этот факт? позднее или ранее связывание да ещё и для своего компилятора.

class Base
{
public:
	virtual void f1() const
	{
		cout << "Base::f1()" << endl;
	}
	virtual void f2() const
	{
		cout << "Base::f2()" << endl;
	}
	virtual void f3() const
	{
		cout << "Base::f3()" << endl;
	}
};

class Derived : public Base
{
public:
	void f1() const
	{
		cout << "Derived::f1()" << endl;
	}
	virtual void f4() const
	{
		cout << "Derived::f4()" << endl;
	}
//Если задать функцию без ключевого слова virtual, то получится ранее связывание??
void f5() const 
{

}
};

Derived d1;
	d1.f1();
	d1.f2();  //функция 
	d1.f3();
	d1.f4();

[waleri]

Базовая функция устанавливает глобальную переменную в единицу.
Функция в наследнике устанавливает ту же перемнную в двойку.
Вызываем функция через указатель на базовый класс и смотрим что оказалось в переменной - единица или двойка.

Зачем фигней страдать?

[apofioz]

int sign = 0;
class Base 
{
	public:
		virtual void f1() const 
		{
			sign = 1;
			cout << "Base::f1()" << endl;
		}
		
};

class Derived : public Base
{
public:
	void f2() const //не виртуальная функция))
	{
		cout << "Derived::f2()" << endl;
sign = 2; 
	}
	
};
Derived = d1;
Base* bp = &d1;
	bp->f1();
	bp->f2();
	//bp->f3();

Как-то так?
Не кажется ли что это как-то не совсем то, как тут понять полиморфизм со всеми этими vptr vtble?

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

Зачем фигней страдать?

В смысле, где я ей страдаю...

[apofioz]

Значит, если я правильно понимаю, то определить это возможно, только посмотрев в дизассемблированный листинг?

Dog ralph;
	lea         ecx,[ralph]  
	call        Dog::Dog (03515E6h) 
	
    69: 	Pet* p1 = &ralph;
	lea         eax,[ralph]  
	mov         dword ptr [p1],eax  
    70: 	Pet& p2 = ralph;
	
	lea         eax,[ralph]  
	mov         dword ptr [p2],eax  
	
    71: 	Pet p3;
	lea         ecx,[p3]   //видимо, ранее связывание.
	call        Pet::Pet (0351357h)

как-то так?

[apofioz]

Никому данная тема не интересна что ли? Ауу...

[waleri]

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

В смысле, где я ей страдаю...

Вот здесь:

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

Как определить тип связывания?

Правильный ответ - посмотреть на декларацию метода.

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

void f1() const //не виртуальная функция))

С чего вы решили, что это не виртуальная функция?

[apofioz]

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

Вот здесь:

Ну, если пытаться что-то освоить это страдать ерундой, то да, страдаю.

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

Правильный ответ - посмотреть на декларацию метода.

Что это значит? Если есть virtual то позднее, если нет, то ранее?

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

С чего вы решили, что это не виртуальная функция?

С того, что нет ключевого слова virtual. Есть ещё какие-то причины считать не так?

[BDA]

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

С того, что нет ключевого слова virtual. Есть ещё какие-то причины считать не так?

Если функция отмечена как виртуальная, то все соответствующие переопределения тоже считаются виртуальными, даже если возле них явно не указано ключевое слова virtual.

пустой текст

[apofioz]

По существу вопроса, как я понял, ничего нет.

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

посмотреть на декларацию метода

Здесь то я прав?

[waleri]

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

По существу вопроса

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