Виртуальные функции

@BigLow · Регистрация: 07.07.2013

Какие происходят изменения, когда в классе объявляем одну или несколько функций виртуальными?

Вот, например, если в SuperClass перед функцией Show() написать слово virtual, то что произойдет?

C++

class SuperClass
{
public:
    SuperClass(int n)   { value = n; }
    void Show()             { cout << value << endl; }
 
private:
    int value;
};

@Olivеr · 13.07.2013, 16:49

Сравните два кода и результаты их работы:

C++

#include <iostream>
 
struct Foo
{
    virtual void func() { std::cout << "Foo::func()\n"; };
};
 
struct Derived: public Foo
{
    virtual void func() { std::cout << "Derived::func()\n"; };
};
 
int main()
{
    Foo *a = new Derived;
    a->func();
    return 0;
}

Derived::func()

C++

#include <iostream>
 
struct Foo
{
    void func() { std::cout << "Foo::func()\n"; };
};
 
struct Derived: public Foo
{
    void func() { std::cout << "Derived::func()\n"; };
};
 
int main()
{
    Foo *a = new Derived;
    a->func();
    return 0;
}

Foo::func()

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

@BigLow · 13.07.2013, 17:05 **[ТС]**

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

@Olivеr · 13.07.2013, 17:20

BigLow, слышал но не углублялся. Думаю, что она состоит из какого-то рода отсылок к членам класса.
Посмотреть на эту таблицу в явном виде вряд ли можно, но думаю если сделать дамп процесса, то можно что-то найти. Хотя кто его знает, может она создаеться во время компиляции...

@Мимино · 13.07.2013, 18:04

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

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

Таблицы виртуальных методов Вы нигде не посмотрите. Они создаются в классах, в которых есть виртуальные функции-элементы. Служат они для того, чтобы при вызове виртуального метода компилятор знал, какой именно вариант виртуальной функции вызывать. Почитайте информацию о полиморфизме, там найдете ответы на Ваши вопросы.

Croessmah · 13.07.2013, 18:08

В таблице виртуальных функций находятся указатели на соответствующие методы класса.

@0x10 · 13.07.2013, 18:14

Сообщение от Мимино

Таблицы виртуальных методов Вы нигде не посмотрите.

В отладчике, не?

@Мимино · 13.07.2013, 18:26

Сообщение от 0x10

В отладчике, не?

Да, но зачем ему это сейчас? Только кашу в голове развести.
BigLow,
Вот неплохая тема Таблица виртуальных функций

@BumerangSP · 13.07.2013, 18:35

Ключевое слово "virtual" говорит компилятору, что вместо раннего связывания нужно использовать позднее. Что такое связывание, можете погуглить. Вкратце это сопоставление вызова функции с телом. Сначала создается таблица виртуальных функций (некий массив указателей), далее в порядке, объявленном в базовом классе, в таблицу заносятся адреса соответствующих функций (виртуальных, для каждого класса переопределенных, либо базового). Далее скрытый член класса (указатель) VPTR инициализируется начальным адресом этой таблицы. Он также создается в классах, где есть хотя бы одна виртуальная функция. Инициализация происходит соответственно в конструкторе. Ну и далее во время работы программы компилятор, зная порядок объявления адресов в таблице, вызывает функцию просто смещаясь к соответствующей ячейке. Разные компиляторы могут реализовывать "виртуальность" по-своему.

@BigLow · 13.07.2013, 19:38 **[ТС]**

Всем спасибо за объяснения и за ссылки. Буду разбираться что и как

@BigLow 55 / 55 / 6 Регистрация: 07.07.2013 Сообщений: 345
	13.07.2013, 17:05 [ТС]	3
	Olivеr, А вот про таблицы виртуальных методов ничего не знаете? Я слышал, что они создаются в таких классах, но что именно из себя представляют, не знаю. Где находится эта таблица и можно ли ее посмотреть? 0

@Olivеr 414 / 410 / 95 Регистрация: 06.10.2011 Сообщений: 832
	13.07.2013, 17:20	4
	BigLow, слышал но не углублялся. Думаю, что она состоит из какого-то рода отсылок к членам класса. Посмотреть на эту таблицу в явном виде вряд ли можно, но думаю если сделать дамп процесса, то можно что-то найти. Хотя кто его знает, может она создаеться во время компиляции... 1

@Мимино 189 / 159 / 35 Регистрация: 22.05.2013 Сообщений: 455 Записей в блоге: 1
	13.07.2013, 18:04	5
	Сообщение от BigLow А вот про таблицы виртуальных методов ничего не знаете? Я слышал, что они создаются в таких классах, но что именно из себя представляют, не знаю. Где находится эта таблица и можно ли ее посмотреть? Таблицы виртуальных методов Вы нигде не посмотрите. Они создаются в классах, в которых есть виртуальные функции-элементы. Служат они для того, чтобы при вызове виртуального метода компилятор знал, какой именно вариант виртуальной функции вызывать. Почитайте информацию о полиморфизме, там найдете ответы на Ваши вопросы. 1

Croessmah Don't worry, be happy 17205 / 10082 / 1945 Регистрация: 27.09.2012 Сообщений: 25,158 Записей в блоге: 1
	13.07.2013, 18:08	6
	В таблице виртуальных функций находятся указатели на соответствующие методы класса. 1

@0x10 3250 / 2052 / 351 Регистрация: 24.11.2012 Сообщений: 4,902
	13.07.2013, 18:14	7
	Сообщение от Мимино Таблицы виртуальных методов Вы нигде не посмотрите. В отладчике, не? 0

@Мимино 189 / 159 / 35 Регистрация: 22.05.2013 Сообщений: 455 Записей в блоге: 1
	13.07.2013, 18:26	8
	Сообщение от 0x10 В отладчике, не? Да, но зачем ему это сейчас? Только кашу в голове развести. BigLow, Вот неплохая тема Таблица виртуальных функций 1

@BumerangSP 4295 / 1417 / 463 Регистрация: 16.12.2010 Сообщений: 2,939 Записей в блоге: 3
	13.07.2013, 18:35	9
	Ключевое слово "virtual" говорит компилятору, что вместо раннего связывания нужно использовать позднее. Что такое связывание, можете погуглить. Вкратце это сопоставление вызова функции с телом. Сначала создается таблица виртуальных функций (некий массив указателей), далее в порядке, объявленном в базовом классе, в таблицу заносятся адреса соответствующих функций (виртуальных, для каждого класса переопределенных, либо базового). Далее скрытый член класса (указатель) VPTR инициализируется начальным адресом этой таблицы. Он также создается в классах, где есть хотя бы одна виртуальная функция. Инициализация происходит соответственно в конструкторе. Ну и далее во время работы программы компилятор, зная порядок объявления адресов в таблице, вызывает функцию просто смещаясь к соответствующей ячейке. Разные компиляторы могут реализовывать "виртуальность" по-своему. 1

@BigLow 55 / 55 / 6 Регистрация: 07.07.2013 Сообщений: 345
	13.07.2013, 19:38 [ТС]	10
	Всем спасибо за объяснения и за ссылки. Буду разбираться что и как 0

Опции темы