Виртуальное наследование (указатель на базовый класс)

@akk · Регистрация: 28.01.2012

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

У меня ромбическая иерархия классов, при попытке вызвать метод производного класса ошибка, что я не так делаю?
Вот исходный код

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
#include <iostream>
class C1
{
protected:
    int a;
public:
    C1():a(1){std::cout << "Konstructor C1\n";}
    ~C1(){std::cout << "Destructor C1\n";}
    int Get1();
};
class C2: virtual public C1
{
protected:
    int b;
public:
    C2():b(2){std::cout << "Konstructor C2\n";}
    ~C2(){std::cout << "Destructor C2\n";}
    int Get2();
};
class C3: virtual public C1
{
protected:
    int c;
public:
    C3():c(3){std::cout << "Konstructor C3\n";}
    ~C3(){std::cout << "Destructor C3\n";}
    int Get3();
};
class C4: public C1
{
protected:
    int d;
public:
    C4():d(4){std::cout << "Konstructor C4\n";}
    ~C4(){std::cout << "Destructor C4\n";};
    int Get4();
    
};
 
using namespace std;
int main()
{
    C1 * pointer;
    pointer = new C4();
    cout << pointer->Get4();
 
 
    return 0;
}
int C1::Get1()
{
    return a;
}
int C2::Get2()
{
    return b;
}
int C3::Get3()
{
    return c;
}
int C4::Get4()
{
    return d;
}

Компилятор выдает ошибку class C1 has no member named Get4

@stima · 15.05.2013, 23:32

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

@DU · 15.05.2013, 23:32

C++
1
2
3
C1* pointer;  // статический тип - указатель на С1
pointer = new C4();
cout << pointer->Get4(); // вызов метода через указатель, чей статический тип - C1*, в котором нет метода Get4()

@akk · 15.05.2013, 23:42 **[ТС]**

Все равно если заменить 29 строку на class C4: public C2, public C3
не работает.
DU, а как сделать чтобы можно было так вызывать метод

@stima · 15.05.2013, 23:46

Прочитайте что такое наследование.

@akk · 15.05.2013, 23:49 **[ТС]**

stima, да я читал про обыкновенное наследование, а тут множественное, хочу разобраться в этом, можете подсказать?

@Olivеr · 15.05.2013, 23:53

Где множественное? Я не вижу у Вас классов которые имеют более одного родителя.
Кстати, в классе С1 надо сделать деструктор виртуальным, а то деструктор производного класса не вызывается.

@stima · 15.05.2013, 23:55

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

stima, да я читал про обыкновенное наследование, а тут множественное, хочу разобраться в этом, можете подсказать?

Читали?) Напишите то что Вы хотите для 2 классов.

@akk · 16.05.2013, 00:01 **[ТС]**

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

Напишите то что Вы хотите для 2 классов.

я хочу чтобы созданный указатель базового класса с1 и инициализированного через с4, можно было вызывать все методы, которые есть сейчас в классах
Olivеr, даже если добавить virtual ~C1() все равно не работает

@stima · 16.05.2013, 00:03

Напишите это кодом для 2 классов один наследуеться од другого

Psilon · 16.05.2013, 00:04

Да видно же, человек делает по методе даже не задумываясь о том, что делает.

@stima · 16.05.2013, 00:06

Так вот я и пытаюсь добиться что-бы человек прочитал внимательней)

@akk · 16.05.2013, 00:08 **[ТС]**

stima, все методы в С1 должны быть чисто виртуальными?

Psilon · 16.05.2013, 00:10

stima, Наивно

akk, подсказка: чтобы вызвать полиморфный метод, используя указатель базового класса на объект производного класса, всеравно необходимо, чтобы в базовом классе этот метод существовал. Вы написали

C++
1
2
C1 *c1 = new C4();
c1->Get4(); //ошибка. в классе C1 НЕТУ метода Get4, а компилятор _не знает_, что на самом деле это C4, он считает его C1

@ninja2 · 16.05.2013, 00:18

akk, Не ну старина я от щас точно не помню, но вроде виртуальное наследование применяется, чтобы в самом нижнем классе был всего один объект базового класса, то есть чтобы не было неоднозначности. Я щас даже не представлю как это, но я вижу что у тебя в классах нету ни одной виртуальной функции, так что можешь спокойно просто делать наследование без virtual.

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

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
#include <iostream>
class C1
{
protected:
    int a;
public:
    C1():a(1){std::cout << "Konstructor C1\n";}
    ~C1(){std::cout << "Destructor C1\n";}
    virtual int Get();
};
class C2: virtual public C1
{
protected:
    int b;
public:
    C2():b(2){std::cout << "Konstructor C2\n";}
    ~C2(){std::cout << "Destructor C2\n";}
    virtual int Get();
};
class C3: virtual public C1
{
protected:
    int c;
public:
    C3():c(3){std::cout << "Konstructor C3\n";}
    ~C3(){std::cout << "Destructor C3\n";}
    virtual int Get();
};
class C4: public C2,public C3
{
protected:
    int d;
public:
    C4():d(4){std::cout << "Konstructor C4\n";}
    ~C4(){std::cout << "Destructor C4\n";};
    virtual int Get();
    
};
 
using namespace std;
int main()
{
    C1 * pointer;
    pointer = new C4();
    cout << pointer->Get();
    cout <<endl;
 
 
    return 0;
}
int C1::Get()
{
    return a;
}
int C2::Get()
{
    return b;
}
int C3::Get()
{
    return c;
}
int C4::Get()
{
    return d;
}

А еще поговорим о наследовании без virtual public, а просто public, что же у нас тогда происходит? Как я выше писал неоднозначность в самом нижнем классе должно быть два объекта самого верхнего базового класса в данном случае С1. Я честно сразу не понял почему неоднозначность, но щас догадался. Наверно потому, что С1 является также базовым классом и для C4, а там при наследовании без virtual хранится два объекта С1 и наверно механизм виртуальных функций не знает какой объект выбрать, чтобы вызвать функцию или C1::C2 или C1::C3, а если с virtual, то там всего один объект C1 оказывается и поэтому можно сделать виртуальный вызов. Просто других ответов я не вижу как еще это можно объяснить, да еще и в книге, вроде так как то написано.

Меня от еще мучает вопрос, а если построить ромб из 6 классов, в самом нижнем классе также будет один экземпляр базового класса? Просто лень тестить. По идее должен быть один. Если да тогда можно додумать, что виртуальное наследование применяется только для верхних классов. Ну в общем тестить нада, просто интересно. Если понял что я имею введу можешь протестить как оно будет. Ну или щас я попробую.

Добавлено через 15 секунд
akk, Не ну старина я от щас точно не помню, но вроде виртуальное наследование применяется, чтобы в самом нижнем классе был всего один объект базового класса, то есть чтобы не было неоднозначности. Я щас даже не представлю как это, но я вижу что у тебя в классах нету ни одной виртуальной функции, так что можешь спокойно просто делать наследование без virtual.

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

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
#include <iostream>
class C1
{
protected:
    int a;
public:
    C1():a(1){std::cout << "Konstructor C1\n";}
    ~C1(){std::cout << "Destructor C1\n";}
    virtual int Get();
};
class C2: virtual public C1
{
protected:
    int b;
public:
    C2():b(2){std::cout << "Konstructor C2\n";}
    ~C2(){std::cout << "Destructor C2\n";}
    virtual int Get();
};
class C3: virtual public C1
{
protected:
    int c;
public:
    C3():c(3){std::cout << "Konstructor C3\n";}
    ~C3(){std::cout << "Destructor C3\n";}
    virtual int Get();
};
class C4: public C2,public C3
{
protected:
    int d;
public:
    C4():d(4){std::cout << "Konstructor C4\n";}
    ~C4(){std::cout << "Destructor C4\n";};
    virtual int Get();
    
};
 
using namespace std;
int main()
{
    C1 * pointer;
    pointer = new C4();
    cout << pointer->Get();
    cout <<endl;
 
 
    return 0;
}
int C1::Get()
{
    return a;
}
int C2::Get()
{
    return b;
}
int C3::Get()
{
    return c;
}
int C4::Get()
{
    return d;
}

А еще поговорим о наследовании без virtual public, а просто public, что же у нас тогда происходит? Как я выше писал неоднозначность в самом нижнем классе должно быть два объекта самого верхнего базового класса в данном случае С1. Я честно сразу не понял почему неоднозначность, но щас догадался. Наверно потому, что С1 является также базовым классом и для C4, а там при наследовании без virtual хранится два объекта С1 и наверно механизм виртуальных функций не знает какой объект выбрать, чтобы вызвать функцию или C1::C2 или C1::C3, а если с virtual, то там всего один объект C1 оказывается и поэтому можно сделать виртуальный вызов. Просто других ответов я не вижу как еще это можно объяснить, да еще и в книге, вроде так как то написано.

Меня от еще мучает вопрос, а если построить ромб из 6 классов, в самом нижнем классе также будет один экземпляр базового класса? Просто лень тестить. По идее должен быть один. Если да тогда можно додумать, что виртуальное наследование применяется только для верхних классов. Ну в общем тестить нада, просто интересно. Если понял что я имею введу можешь протестить как оно будет. Ну или щас я попробую.

Psilon · 16.05.2013, 00:21

ninja2, а еще можно глянуть на вики уже разобранный пример

http://ru.wikipedia.org/wiki/%... 0%B8%D0%B5

@akk · 16.05.2013, 00:26 **[ТС]**

ninja2, спасибо!, А можете прикинуть UML диаграмму на 6 ромбов, а то я не могу понять что вы имеете ввиду

@ninja2 · 16.05.2013, 00:32

akk, Да от что я имел введу просто "вытянутый ром".

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
#include <iostream>
class C1
{
protected:
    int a;
public:
    C1():a(1){std::cout << "Konstructor C1\n";}
    ~C1(){std::cout << "Destructor C1\n";}
    virtual int Get();
};
class C2: virtual public C1
{
protected:
    int b;
public:
    C2():b(2){std::cout << "Konstructor C2\n";}
    ~C2(){std::cout << "Destructor C2\n";}
    virtual int Get();
};
class C3: virtual public C1
{
protected:
    int c;
public:
    C3():c(3){std::cout << "Konstructor C3\n";}
    ~C3(){std::cout << "Destructor C3\n";}
    virtual int Get();
};
class C4: public C2
{
protected:
    int d;
public:
    C4():d(4){std::cout << "Konstructor C4\n";}
    ~C4(){std::cout << "Destructor C4\n";};
    virtual int Get();
    
};
class C5: public C3
{
protected:
    int d;
public:
    C5():d(5){std::cout << "Konstructor C5\n";}
    ~C5(){std::cout << "Destructor C5\n";};
    virtual int Get(){return d;}
    
};
class C6: public C4,public C5
{
protected:
    int d;
public:
    C6():d(6){std::cout << "Konstructor C6\n";}
    ~C6(){std::cout << "Destructor C6\n";};
    virtual int Get(){return d;}
    
};
 
using namespace std;
int main()
{
    C1 * pointer;
    pointer = new C6();
    cout << pointer->Get();
    cout <<endl;
 
 
    return 0;
}
int C1::Get()
{
    return a;
}
int C2::Get()
{
    return b;
}
int C3::Get()
{
    return c;
}
int C4::Get()
{
    return d;
}

Просто самого давно мучал вопрос, а тестить было лень.
Если попробовать из верхушки убрать virtual, то в самом нижнем классе будет хранится два объекта С1 с каждой ветки и уже виртуальный вызов нельзя сделать.

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

@stima 503 / 352 / 94 Регистрация: 22.03.2011 Сообщений: 1,112
	15.05.2013, 23:32
	Используете множественное наследование, хотя не знаете что такое обычное наследование. (Это ответ) 0

@akk 44 / 44 / 17 Регистрация: 28.01.2012 Сообщений: 341
	15.05.2013, 23:42 [ТС]
	Все равно если заменить 29 строку на class C4: public C2, public C3 не работает. DU, а как сделать чтобы можно было так вызывать метод 0

@stima 503 / 352 / 94 Регистрация: 22.03.2011 Сообщений: 1,112
	15.05.2013, 23:46
	Прочитайте что такое наследование. 0

@akk 44 / 44 / 17 Регистрация: 28.01.2012 Сообщений: 341
	15.05.2013, 23:49 [ТС]
	stima, да я читал про обыкновенное наследование, а тут множественное, хочу разобраться в этом, можете подсказать? 0

@Olivеr 415 / 411 / 95 Регистрация: 06.10.2011 Сообщений: 832
	15.05.2013, 23:53
	Где множественное? Я не вижу у Вас классов которые имеют более одного родителя. Кстати, в классе С1 надо сделать деструктор виртуальным, а то деструктор производного класса не вызывается. 0

@stima 503 / 352 / 94 Регистрация: 22.03.2011 Сообщений: 1,112
	16.05.2013, 00:03
	Напишите это кодом для 2 классов один наследуеться од другого 0

Psilon Master of Orion 6101 / 4957 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	16.05.2013, 00:04
	Да видно же, человек делает по методе даже не задумываясь о том, что делает. 0

@stima 503 / 352 / 94 Регистрация: 22.03.2011 Сообщений: 1,112
	16.05.2013, 00:06
	Так вот я и пытаюсь добиться что-бы человек прочитал внимательней) 1

@akk 44 / 44 / 17 Регистрация: 28.01.2012 Сообщений: 341
	16.05.2013, 00:08 [ТС]
	stima, все методы в С1 должны быть чисто виртуальными? 0

Psilon Master of Orion 6101 / 4957 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	16.05.2013, 00:21
	ninja2, а еще можно глянуть на вики уже разобранный пример http://ru.wikipedia.org/wiki/%... 0%B8%D0%B5 0

@akk 44 / 44 / 17 Регистрация: 28.01.2012 Сообщений: 341
	16.05.2013, 00:26 [ТС]
	ninja2, спасибо!, А можете прикинуть UML диаграмму на 6 ромбов, а то я не могу понять что вы имеете ввиду 0