Виртуальные функции.Что это такое? Часть2

[nikedeforest]

Меня смутил один момент, который бы мне очень хотелось разъяснить, чтобы не было сомнений

Абстрактный класс нельзя применять для задания типа параметра функции, или в качестве типа возвращаемого значения. Его нельзя использовать при явном приведении типов. Зато можно определять ссылки и указатели на абстрактные классы.

Получается я не могу сделать так:

Код:

class base{
public:
virtual void f()=0;
}

class child:public base{
public:
virtual void f(){cout << child class;}
}

void func(base *p, child &ob)//Здесь я так понимаю кроется ошибка???
{
p=&ob;
p->f();
}

int main()
{
base *uk;
child ob;

func(uk, &ob);


return 0;
}

Пример может и глупый, но он содержит мой вопрос. Заранее благодарю за ответ и предупреждаю, что скорее всего будут еще вопросы .

[Alf]

Абстрактный класс нельзя применять для задания типа параметра функции, или в качестве типа возвращаемого значения. Его нельзя использовать при явном приведении типов. Зато можно определять ссылки и указатели на абстрактные классы.

Список далеко не полный. Я бы сказал короче: абстрактный класс нельзя применять для инстанцирования, явного или неявного. Это включает в себя перечисленные в цитате случаи и еще массу неперечисленных.

Получается я не могу сделать так...

Это почему же? Можешь вполне. Хоть твоя цитата и не перечисляет все возможные случаи, но в ней явно оговаривается, что

можно определять ссылки и указатели на абстрактные классы

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

Заранее благодарю за ответ и предупреждаю, что скорее всего будут еще вопросы .

Вот уж напугал так напугал 

[Михалыч]

Ага... Вот если бы ты попытался передать в функцию объект класса base, а не указатель на него, вот тогда бы да, была бы ошибка. Правда я не могу вот так, "с разбегу" придумать - зачем было бы передавать в функцию объект "по значению"
А так - все нормально, никакого криминала
Да, уж, предупредил! Ну, чтож - предупрежден - значит уже вооружен
Будем старательно готовиться к ответам

[nikedeforest]

За ответ спасибо. Еще вопрос в качестве уточнения (все на примере той же функции func())

нельзя делать так

Код:

base func()

но можно

Код:

base* func()

нельзя делать так

Код:

base ob;

но можно

Код:

base *p;

Про приведение типов не совсем понял, т.е. я понял, что нельзя делать что-то типа этого

Код:

class base{
....
int i;
virtual int get()=0;
}
class child:public base{
...
int i;
int get(){return i;}
}

main()
{
base *p;
child ob;
(base)ob.i; //Здесь я так понимаю, кроется ошибка при попытке обратиться к переменной i класса base,
               // но ошибка связана с преобразованием типов

return;
}

[Михалыч]

Я не совсем понял последнюю часть примера, с членами классов int i - так было задумано - что в каждом классе именно свой int i?
Насколько мне кажется такое приведение (base)ob.i; не законно. И опять же не понятно для меня - зачем такое использование? Хотя в жизни каких только задач не возникает
Вот такой пример применения абстрактного базового класса мне лично более понятен...
Берем твой класс base и несколько дочерних классов child1...child9, например. В каждом дочернем конечно же своя функция get(), которая делает что-нить ну очень уникальное для своего класса.
Создаем массив указателей на  base класс
base * p[9];
и спихиваем в него указатели на объекты дочерних классов, приводя их к типу указателя на базовый класс
что-то типа p[5]=(base *) new child5(...);
Теперь перебирая элементы массива спокойно по указателю вызываем функцию get(), а она уже делает абсольтно разные - но конкретные для своего класса вещи

[nikedeforest]

C последним примером я был не прав вообще, даже если класс base не был бы абстрактным, то такое приведение типов все равнго ошибочно.

С примером разобрался. А свои примеры я приводил с целью того, чтобы вы подтвердили правильно-ли я понял данные моменты или я где-то ошибаюсь.

[Alf]

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

За ответ спасибо. Еще вопрос в качестве уточнения (все на примере той же функции func())

нельзя делать так

Код:

base func()

но можно

Код:

base* func()

нельзя делать так

Код:

base ob;

но можно

Код:

base *p;

Про приведение типов не совсем понял, т.е. я понял, что нельзя делать что-то типа этого

Код:

class base{
....
int i;
virtual int get()=0;
}
class child:public base{
...
int i;
int get(){return i;}
}

main()
{
base *p;
child ob;
(base)ob.i; //Здесь я так понимаю, кроется ошибка при попытке обратиться к переменной i класса base,
 // но ошибка связана с преобразованием типов

return;
}

[nikedeforest]

Alf, я понял, спасибо!