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

@Schizorb · Регистрация: 07.04.2012

Студворк — интернет-сервис помощи студентам

Вопрос. Как вызвать функцию наследника через указатель на базовый класс?

Так не компилируется

Code
1
2
3.cpp:19:19: error: invalid covariant return type for 'virtual Child Child::foo()'
3.cpp:7:18: error:   overriding 'virtual Base Base::foo()'

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#include <iostream>
 
class Base
{
public:
  
    virtual Base foo()
    {
        std::cout << "BASE!!!\n";
        return *this;
    }
    
};
 
class Child : public Base
{
public:
 
    virtual Child foo()
    {
        std::cout << "CHILD!!!\n";
        return *this;
    }
    
};
 
 
int main()
{
    Child a, b;
    Base * test = &a;
    
    test -> foo();   
       
    return 0;
}

Если убираю virtual в базовом классе - компилируется, но вызывает функцию базового. Как решить проблему?

Jupiter · 08.12.2012, 11:43

возвращай ссылку или указатель

@Schizorb · 08.12.2012, 11:44 **[ТС]**

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

возвращай ссылку или указатель

Пробовал, так получается.

А что делать если объект создается внутри метода и его нужно вернуть?

Jupiter · 08.12.2012, 11:47

создавай динамически

@Schizorb · 08.12.2012, 12:10 **[ТС]**

Ок. Теперь другая ситуация:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
 
class Base
{
public:
  
    virtual void foo(const Base & x)
    {
        std::cout << "BASE!!!\n";
    }
    
};
 
class Child : public Base
{
public:
 
    virtual void foo(const Child & x)
    {
        std::cout << "CHILD!!!\n";
    }
    
};

Вызывается снова метод базового. Меняю на:

C++
1
virtual void foo(const Base & x)

Работает. Но мне внутри этой функции не нужна ссылка на базовый класс, я хочу работать с наследником. Как быть?

Jupiter · 08.12.2012, 12:21

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

Вызывается снова метод базового.

потому что в классе Child создается новая виртуальная функция

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

C++
1
virtual void foo(const Base & x)

Работает. Но мне внутри этой функции не нужна ссылка на базовый класс, я хочу работать с наследником. Как быть?

вариант в лоб - кастуй к Child

@Schizorb · 08.12.2012, 17:57 **[ТС]**

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

C++
1
virtual Base operator + (const Base & ) const;

Если возвращать указатель, то это какая-то ерунда. К тому же потом память очищать на стороне вызывающей функции. Как добиться простой записи, типа:

C++
1
2
Base a, b, c;
a = b + c;

Нарыл вот в одной из тем: Проблема с абстрактными классами и перегрузкой операторов

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

Jupiter · 08.12.2012, 18:29

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

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

во внешнем операторе вызываем метод который выполняет сложение и метод этот виртуальный

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

Мда... заморочки еще те.

потому лучше выбирать что-то одно, либо операторы либо виртуальность методов, код должен быть простым и понятным

ValeryS · 08.12.2012, 18:30

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

return *this;

ты это что хочешь вернуть

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

virtual Child foo()
* * {
* * * * std::cout << "CHILD!!!\n";
* * * * return *this;
* * }

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

virtual Base foo()
* * {
* * * * std::cout << "BASE!!!\n";
* * * * return *this;
* * }

C++
1
2
3
4
5
6
7
8
9
10
11
virtual Base* foo()
 {
 std::cout << "BASE!!!\n";
 return this;
 }
 
virtual Base* foo()
 {
 std::cout << "CHILD!!!\n";
 return  this;
}

@OhMyGodSoLong · 08.12.2012, 20:13

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

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

Это называется множественная диспетчеризация. Потому что вы хотите вызывать метод, зависящий от runtime-типов двух аргументов. Ведь когда есть такое:

C++
1
2
3
class Number { /* ... */ };
class Integer : public Number { /* ... */ };
class Ratinal : public Number { /* ... */ };

и пишется такое:

C++
1
2
Number *a = new Rational(2, 3), *b = new Integer(5);
Number *c = *a + *b; // *c == Rational(17, 3)

То operator+ зависит как от типа a, так и от типа b.

Для Си++, в общем, есть три метода реализации такого поведения:

много dynamic_cast;
сделать свою двухмерную таблицу виртуальных функций с го и гейшами;
double dispatch (aka паттерн visitor).

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

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

Если возвращать указатель, то это какая-то ерунда. К тому же потом память очищать на стороне вызывающей функции.

А придётся. Вот в частности хотелки такого рода и дали жизнь всяким смарт-поинтерам.

Новые блоги и статьи Все статьи Все блоги /
Программный контроль заполнения реквизита табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать контроль заполнения реквизита табличной части. . .	wmic не является внутренней или внешней командой Maks 02.04.2026 Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/	Программная установка даты и запрет ее изменения Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .	Вывод данных в справочнике через динамический список Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .
Функция заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .	Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .	Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем

Jupiter Каратель 6610 / 4029 / 401 Регистрация: 26.03.2010 Сообщений: 9,273 Записей в блоге: 1
	08.12.2012, 11:43
	возвращай ссылку или указатель 0

Jupiter Каратель 6610 / 4029 / 401 Регистрация: 26.03.2010 Сообщений: 9,273 Записей в блоге: 1
	08.12.2012, 11:47
	создавай динамически 0