Я не понимаю вот чего. Мы в указатель на базовый

Question

Я не понимаю вот чего. Мы в указатель на базовый

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

#c #embedded #programming #russian

0

21.10.2023

11 ответов

23 просмотра

Stas Koynov

https://www.linformaticien.com/images/00-articles/2021-10/pegasus/UNE_PEGASUS_03.jpg

0

21.10.2023

The Pressbraker Автор вопроса

Alexey Petrunyaka
В самом объекте класса, имеющего виртуальные функц...

То есть эта таблица не одна какая то общая и где то там хранится отдельно, а для каждого производного строится своя и соответсвенно через поинтер базового класса он (она? оно?) смотрит в эту таблицу именно для того фактического типа, что подсунули под видом производного?

0

21.10.2023

Anatoly Shirokov

The Pressbraker
То есть эта таблица не одна какая то общая и где т...

Для каждого класса своя

0

21.10.2023

The Pressbraker Автор вопроса

Anatoly Shirokov
Для каждого класса своя

А теперь ясно. Я раньше думал есть просто таблица типа мапы - адрес в базовом - адрес в производном, я и думаю А КАКОМ ИМЕННО производном?

0

21.10.2023

Alexey Petrunyaka

The Pressbraker
То есть эта таблица не одна какая то общая и где т...

Да, для каждого производного своя. Указатель на неё присваивается перед вызовом тела конструктора и восстанавливается на предыдущий после тела деструктора.

0

21.10.2023

The Pressbraker Автор вопроса

Alexey Petrunyaka
Да, для каждого производного своя. Указатель на не...

Хитро придумано.

0

21.10.2023

Андрей Таусинов

После разыменовывания базового вся виртуальность будет потеряна. Произойдет усечение до базового

0

21.10.2023

The Pressbraker Автор вопроса

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

0

21.10.2023

Sergey Anisimov

Андрей Таусинов
После разыменовывания базового вся виртуальность б...

Не: a->b тождественно (*a).b. Усечение - про создание нового объекта.

0

21.10.2023

Андрей Таусинов

The Pressbraker
Как это. А как же мы тогда вызываем через стрелочк...

Виноват, перепутал со случаем, который Сергей ниже пояснил

0

21.10.2023