Множественное наследование в С++

@Leo11 · Регистрация: 15.11.2015

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

Столкнулся с такой проблемой:

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
class D{
...
public:
...
void setD();
...
};
class Dd : public D{
...
};
class Dd2 : public Dd, public D{
...
public:
...
void set();
...
};
...
void Dd2::setD(){
Dd::setD(); // работает
Dd::D::setD(); // работает
D::setD(); // не работает Error: базовый класс "D" не является однозначным 
setD(); // не работает Error: "Dd2::setD" не является однозначным
}

Как обратиться к setD() из базового класса D?
Варианты:

C++
1
2
3
4
5
6
7
8
9
class Dd2 : public Dd{
...
D d;
...
};
...
void Dd2::set(){
d.setD();
}

или

C++
1
2
3
4
5
6
7
8
9
10
class D2 : public D{
...
};
class Dd2 : public Dd, public D2{
...
};
...
void Dd2::set(){
D2::setD();
}

Не рассматривать.

@hoggy · 15.11.2015, 22:17

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

Как обратиться к setD() из базового класса D?

http://rextester.com/DKLH73893

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
#include <iostream>
 
 
struct D
{
    void setD() { std::cout<<"call: D::setD\n"; }
};
 
struct Dd : virtual D {};
 
 
struct Dd2 : virtual Dd, virtual D
{
    Dd2(): Dd(){}
    
    void set()
    {
        D::setD();
        Dd::setD();
        this->setD();
    }
};
 
 
int main()
{
    std::cout << "Hello, world!\n";
    
    Dd2 example;
    example.set();
}

Добавлено через 10 минут
стоит заметить:
что виртуальное наследование - суть костыль,
задача которого разруливать неоднозначности ромбовидного наследования.
и за это приходится платить свою цену.
здесь вы столкнетесь с "темной стороной языка с++",
мутных нюансов хватает.

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

например, в вашем случае
можно было бы вообще избежать множественного наследования,
и в принципе не иметь проблем:

http://rextester.com/FLJU24830

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
#include <iostream>
 
 
struct D
{
    void setD() { std::cout<<"call: D::setD\n"; }
};
 
template<class T>
struct Dd : T {};
 
 
struct Dd2 : Dd<D>
{
    void set()
    {
        D::setD();
        Dd::setD();
        this->setD();
    }
};
 
 
int main()
{
    std::cout << "Hello, world!\n";
    
    Dd2 example;
    example.set();
}

@Leo11 · 15.11.2015, 22:46 **[ТС]**

Да, но в моем случае мне не нужна ромбовидное наследование. Мне надо, чтобы в классе Dd2 был Dd с методом setD который меняет значение, и чтобы был отдельно D с setD, который меняет другие значение

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
#include <iostream>
 
struct D
{
    void setD(int x0) {
         x = x0;
         std::cout<< x << " call: D::setD\n"; 
    }
    void show(){
         std::cout<< x << " call: D::setD\n"; 
    }
    protected:
    int x;
};
 
struct Dd : virtual D {};
 
 
struct Dd2 : virtual Dd, virtual D
{
    Dd2(): Dd(){}
    void set()
    {
        D::setD(4);
        Dd::setD(5);
        this->setD(6);
        D::show();
        Dd::show();
        this->show();
    }
};
 
 
int main()
{
    std::cout << "Hello, world!\n";
    
    Dd2 example;
    example.set();
    system("pause");
    return 0;
}

Тут вывод будет следующий:
4 call: D::setD
5 call: D::setD
6 call: D::setD
6 call: D::setD
6 call: D::setD
6 call: D::setD
А мне надо, чтобы было
4 call: D::setD
5 call: D::setD
6 call: D::setD
4 call: D::setD
6 call: D::setD
4 call: D::setD

@hoggy · 15.11.2015, 23:09

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

А мне надо, чтобы было

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

смотрите:

вы хотите что бы лог выглядел так:
первые три записи:

4 call: D::setD
5 call: D::setD
6 call: D::setD

это соответствует вызовам:

D::setD(4);
Dd::setD(5);
this->setD(6); //<--- обратите внимание. текущий наследник выставил 6

следующие 3 записи, которые вы хотите:

4 call: D::setD
6 call: D::setD
4 call: D::setD

соответствуют вызовам:

C++
1
2
3
D::show();
Dd::show();
this->show();  //<--- вы хотите увидеть 4 call: D::setD ????????

вы ж сами явным образом через наследника выставили 6.
а теперь явным образом через наследника хотите увидеть 4.

что это за странная логика?

@Leo11 · 15.11.2015, 23:17 **[ТС]**

Я имею виду, что должно быть члена int x, а не один.

C++
1
D::x, Dd::D::x

И нужно чтобы метод setD изменил

C++
1
D::x

, а метод

C++
1
Dd::D::setD

изменил

C++
1
Dd::D::x

.

@hoggy · 15.11.2015, 23:49

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

Я имею виду, что должно быть члена int x, а не один.

можно задействовать технику "дискриминатор".

http://rextester.com/ZVWY59373

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
#include <iostream>
 
struct D
{
    void setD(int x0) {
         x = x0;
         std::cout<< x << " call: D::setD\n"; 
    }
    void show(){
         std::cout<< x << " call: D::setD\n"; 
    }
    protected:
    int x;
};
 
template<int discriminator, class T>
struct Dd : T {};
 
 
 
struct Dd2 : Dd<1, D>, Dd<2, D> //<--- цепляем базовый класс через посредника 
{
    void set()
    {
        // при доступе к базовому классу
        // указываем посредника
        // что бы разрашить "неоднозначность"
        
        // теперь компилятор одназначно сможет понять
        // какая именно копия базового класса
        // имеется ввиду
        
        Dd<1, D>::setD(4);
        Dd<2, D>::setD(5);
        
        Dd<1, D>::show();
        Dd<2, D>::show();
    }
};
 
 
int main()
{
    std::cout << "Hello, world!\n";
    
    Dd2 example;
    example.set();
}

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

@Leo11 · 16.11.2015, 00:16 **[ТС]**

Да но если у меня класс Dd содержит еще члены

C++
1
2
3
4
5
class Dd : public D{
protected:
    int y;
...
};

Тогда получается, что будет один лишний член у.
И этот подход похож на второй способ, который я приводил в начале, но это не совсем то, что мне нужно.
Есть ли какой то способ обратиться к

C++
1
2
3
void Dd2::set(){
    setD(4); // к setD из D, а не Dd::setD из Dd. 
}

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит переходные токи и напряжения на элементах схемы. . . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

Множественное наследование в С++

Решение