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

[Scratch]

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

купи хорошую книгу. одну.
и учи по ней, а не лазь по инету и не читай с разных источников.
закончишь с одной книгой, бери другую и так далее.

там написано все коректно, и я сказал тоже самое что написано там.

а)компилятор не может сделать структуру, потому что структура не может содержать методы, а твой класс Cat содержит метод feed().

б)структура не может содержать методы, а твоя структура Cat содержит метод feed().

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

Ну в принципе это не структура, это псевдокод, сделан лишь для понимания процесса, и в нем спокойно могут быть и методы и переменные, ибо это просто переформированный класс.
Вот ты говоришь что я нелогично рассуждаю, ок, может быть ты покажешь как надо понимать этот кусок кода?

  Pet *myPet = new Cat;
    myPet->feed();

[alexinspir]

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

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

  Pet *myPet = new Cat;
    myPet->feed();

Pet *myPet = new Cat;

создаешь указатель на Pet, под названием myPet.
выделяешь память под экземпляр класса Cat и направляешь на него указатель myPet. (не забываем что Cat является "частью" класса Pet)

myPet->feed();

если объект feed() в исходном классе (т.е. Pet) обьявлен как виртуальный, и присутствует в порождённом классе, то:
компилятор посмотрит сначала присутствует ли такой метод в классе Pet, и если он присутствует, смотрит на его тип, если он виртуальный, посмотрит на что указывает указатель, если он указывает на порождённый класс, то он проверяет, обьявлен ли одноименный метод в нем, если обьявлен, то вызывает метод порожденного класса.

[pu4koff]

Вот зачем вдаваться в подробности как и что делает компилятор? Темболее откуда уверенность что компилятор делает именно так?
Между строк посмотрел статейку, в принципе вроде неплохо там всё описано, хотя псевдо код нужно писать не в синтаксисе языка, а то путаница одна получается. И могут возникнуть вопросы: зачем использовать классы, если компилятор приводит к структуре, в чём разница между структурой и классом и т.д. А учитывая, что в С++ структуры могут содержать методы...

[alexinspir]

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

Темболее откуда уверенность что компилятор делает именно так?

так описано было в книге, да впрочем это и логично.

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

А учитывая, что в С++ структуры могут содержать методы...

о_0

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

[pu4koff]

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

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

struct A
{
	int b;
	int c;
	void f(){c = b;}
};

Вот такое в Visual C++ 2005 проходит. Стандарт С++ не изучал, так что не знаю какой из компиляторов тут не прав

[Scratch]

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

Pet *myPet = new Cat;

создаешь указатель на Pet, под названием myPet.
выделяешь память под экземпляр класса Cat и направляешь на него указатель myPet. (не забываем что Cat является "частью" класса Pet)

myPet->feed();

То есть получается создаются две области памяти, для класса Pet и для классов Cat+Pet?

[alexinspir]

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

struct A
{
	int b;
	int c;
	void f(){c = b;}
};

Вот такое в Visual C++ 2005 проходит. Стандарт С++ не изучал, так что не знаю какой из компиляторов тут не прав

чисто из любопытства кинул твой пример в mingw
как ни странно, прокатило... наверно я когда в первые разы пытался - как-то скосячил.

признаю, был не прав.

p/s/ тему считаю исчерпаной.

[still_alive]

В статье вводится понятие структуры просто как непрерывной области памяти, в которой хранятся определенные данные.

Стандарт С++ не изучал

В стандарте прописано, что методы могут быть.

Вот зачем вдаваться в подробности как и что делает компилятор?

Полезно для мозгов, к тому же без этого знания, например, трудновато будет понять особенности вызова виртуальных ф-ий в конструкторах и деструкторах.

Темболее откуда уверенность что компилятор делает именно так?

Абсолютной уверенности нет, ибо мало ли как компилятор написан, но технология мало чем отличается.

Pet *myPet = new Cat;
myPet->feed();

Если совсем коротко:
1) динамически выделяется память для объекта класса Cat
2) по очереди вызываются конструкторы классов Pet и Cat, в результате чего объект *myPet будет хранить где-то (чаще всего в начале) адрес таблицы виртуальных функций класса Cat
3) при компиляции компилятор в место вызова функции вставляет специальный код, который в ходе выполнения программы находит в таблице виртуальных функций адрес вызываемой функции и передает туда управление.

если объект feed() в исходном классе (т.е. Pet) обьявлен как виртуальный, и присутствует в порождённом классе, то...

Это ты только что придумал?

[alexinspir]

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

Это ты только что придумал?

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

[Scratch]

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

Pet *myPet = new Cat;
myPet->feed();

Если совсем коротко:
1) динамически выделяется память для объекта класса Cat
2) по очереди вызываются конструкторы классов Pet и Cat, в результате чего объект *myPet будет хранить где-то (чаще всего в начале) адрес таблицы виртуальных функций класса Cat
3) при компиляции компилятор в место вызова функции вставляет специальный код, который в ходе выполнения программы находит в таблице виртуальных функций адрес вызываемой функции и передает туда управление.
?

1)Разве только для Cat? Но ведь Cat это саб класс Pet, значит туда войдут и переменные класса Pet?
2)У класса Cat нет виртуальных функций, они есть в Pet.
3)А вот тут по подробнее плиз, как это?