@Hardcore

Здравствуйте.
Теоретические вопросы.
Что такое виртуальный методы и что такое абстрактный класс.
Можете объяснить своими словами без ссылок на википедию.
Заранее спасибо.

0

@_engineer_

Если несколько упрощать:
Абстрактный класс - Класс который описывает только прототипы функций без их реализации(в терминологии С++ интерфейс) , соответственно раз нет реализации не одного метода(функции), то нельзя создать экземпляр этого класса. Используется для того что бы все наследники этого класса имели не взирая, что они делают, единый интерфейс(вызов методов).
Виртуальный метод (функция) - Это такая функция которая переписана для каждого наследника класса. И определения какую функцию вызывать, программа будет решать не в момент написания кода, а в момент его выполнения. Допустим у вас три класcа:
B - базовый
N1 - наследник от B
N2 - наследник от B или N1
во всех трех классах есть виртуальная функция "V" которая в разных классах выполняет различные действия.
И есть в программе функция "f" которая в качестве аргумента получает указатель на базовый класс и имеет следущею реализацию В->V();
Теперь в эту функцию, Вы можете передать в качестве аргумента, класс B или N1 или N2 и будет выполнена функции V именно того класса который Вы передали.
Ну если коротенько, то гдето так.

2

silent_1991

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

В терминологии С++ как раз-таки нет понятия "интерфейсы". Так что это замена интерфейсам. С другой стороны, в таких языках, как Java и C# есть как интерфейсы, так и абстрактные классы.

И снова - достаточно, чтобы не было реализации хотя бы одного метода (он должен быть объявлен как чисто виртуальный - virtual type method(parameters) = 0;), то нельзя создать объект такого класса, потому что он становится абстрактным. Независимо от реализаций и виртуальности остальных его методов.

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

1

@akk

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

0

silent_1991

Разумеется. Родитель ничего не знает о дополнениях, добавленных в наследнике, в том числе о новых методах. А раз этого не знает родитель, то этого не знает и компилятор, поэтому в случае попытки вызова метода, появившегося только в потомке, компилятор скажет, что такого метода в предке не существует. С тем же успехом можно попытаться вызвать через указатель на наследника метод, которого вообще нет ни в одном классе программы.

1

Tulosba

Если нужно вызвать метод дочернего класса (которого не было в базовом), имея только указатель базового типа, то можно использовать приведение типа:
По-хорошему, еще не помешает проверка после приведения.

1

silent_1991

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

А вот это надо делать не "по-хорошему", а всегда.

0

Tulosba

В данном случае из 2х строк даже не представляю, что должно произойти, чтобы pointer не привелся к типу ChildClass*, т.е. вернул nullptr.

0

silent_1991

Если в данном случае используется такой подход, то проблема не в архитектуре, а в голове автора (к вам, разумеется, не относится, ибо это пример). Не могу представить себе ситуацию, когда на одной странице кода было бы видно создание объекта дочернего класса, присваивание его адреса ссылке/указателю на базовый класс, и приведение этой ссылки/указателя к ссылку/указателю на дочерний класс. Но, в любом случае, я бы всё равно сделал проверку. Код имеет свойство разрастаться, при этом и посредством вклинивания новых строк между существующими.

0

@akk

А если делать проверку то у меня работает только так:
Всегда нужно получается приводит, т е перед каждым методом писать dynamic_cast<ClassChild*>(goods[i])->GetMetodChild(); то есть у меня почему-то в if не получается такое присваивания или так и должно быть.

0

silent_1991

akk, потому что pointer[i] имеет тип ClassBase *, к которому во время присваивания автоматически приводится указатель, полученный после dynamic_cast. Делать надо так:
Добавлено через 1 минуту
А вообще, какое отношение проверяемый pointer[i] имеет к goods[i], из которого вызывается метод? Если вызываете из goods[i], то и проверять надо именно его.

1

@akk

silent_1991, т е надо использовать другой временный указатель подкласса, и под ним выполнять методы? Но так данные не потеряются?

0

silent_1991

akk, а куда они потеряются-то? Это же указатель, а не копия объекта.

0

@akk

Ну так если память выделяется динамически, а потом происходит приведения к другому типу, и заполняется методами подкласса?

Добавлено через 9 минут
И если к примеру имеется еще один указатель базового класса, то можно сделать просто так или тоже надо приводить.

т е безбоязненно такое присваивание будет pointer2=pointer1 ?

0

silent_1991

akk, вам бы подучить основы, а потом уже приступать к полиморфизму. Никакая память никакими методами не заполняется. Вы полагаете, что каждый объект хранить все методы своего класса? Это неверно. Методы в программе располагаются в единственном экземпляре. Полиморфизм работает благодаря тому, что каждый объект хранит ссылку на таблицу виртуальных методов своего класса. Т.е. в vtable объекта типа ChildClass есть указатели на все виртуальные методы ChildClass, в том числе на те, которых нет в BaseClass. Но если адрес этого объекта присвоен указателю на BaseClass, компилятор просто не знает, что по этому указателю на самом деле лежит объект типа ClassChild с расширенной по отношению к BaseClass таблицей виртуальных методов. Приведение вниз посредством dynamic_cast заставляет компилятор понять, что на самом деле используется vtable класса ChildClass, и позволить нам вызвать методы, добавленные в этом классе.

Код вашего примера не понял, как и вопроса касательно него. В данном случае pointer1 и pointer2 в конечном счёте будут указывать на один и тот же объект типа ChildClass. Если хотите вызывать методы, добавленные в ChildClass, как через pointer1, так и через pointer2 - надо делать приведение вниз.

Добавлено через 6 минут
Вернее сказать даже не так. dynamic_cast играет роль только во время выполнения. Компилятору наплевать на vtable, ему важно, чтобы тип указателя, через который вызывается метод, содержал этот вызываемый метод.

1

@akk

Так можно делать?

0

silent_1991

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

1