Наследование шаблонных классов

@Lunix · Регистрация: 05.04.2016

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

подскажите почему появляется такая ошибка
error C2248: 'Base<int,float>::value1' : cannot access protected member declared in class 'Base<int,float>'

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
#include <iostream>
#include <cstring>
using namespace std;
 
template<class T1, class T2>
class Base
{
protected:
    T1 value1;
    T2 value2;
public:
    template<class U, class R>
        friend class Base;
    Base(T1 v1 = 0, T2 v2 = 0) : value1(v1), value2(v2)
    {    };
    virtual ~Base(){};
    virtual void Show() const 
    {
        cout << "v1 = " << value1 << endl << "v2 = " << value2 << endl;
    }
    
    //T1 GetV1() const {return value1;}
    //T2 GetV2() const {return value2;}
 
    Base(const Base& u)
    {
        value1 = u.value1;
        value2 = u.value2;
    };
};
 
template <class T1, class T2, class T3, class T4>
class Child : public Base<T1, T2>
{
protected:
    T3 value3;
    T4 value4;
public:
 
    Child(T1 v1, T2 v2, T3 v3, T4 v4) : Base<T1, T2>(v1, v2), value3(v3), value4(v4)
    {   };
    
    Child(Base<T1, T2> &b, T3 v3, T4 v4) : Base<T1, T2>(b.value1, b.value2), value3(v3), value4(v4)
    {   
        /*
        value1 = b.value1;
        value2 = b.value2;
        */
    };
    /*
    Child(Base<T1, T2> &b, T3 v3, T4 v4) : Base<T1, T2>(b.GetV1(), b.GetV2()), value3(v3), value4(v4)
    {   };
    */
    virtual ~Child(){};
    virtual void Show()
    {
        Base::Show();
        cout << "v3 = " << value3 << endl << "v4 = " << value4 << endl;
    }
};
 
int main()
{
    Base<int, float> b1(1, 3.4);
    b1.Show();
    
    cout << "---------------" << endl;
    
    Child <int , float, double, char> ch1(b1, 3.14, 'a');
 
    ch1.Show();
    system("pause");
    return 0;
}

если в базовом написать

C++
1
2
  template <class U, class R, class T, class I>
         friend class Child;

то проходит, но почему нужно объявлять дружественным весь класс Child, а не шаблонный Base, как выше ??

@Raali · 18.01.2017, 12:19

Потому что, если ты наследуешься от Base<T1, T2>, это не значит что ты можешь обращаться к значениям от отдельной переменной Base<T1, T2> b;

C++
1
Child(Base<T1, T2> &b, T3 v3, T4 v4) : Base<T1, T2>(b.value1, b.value2), value3(v3), value4(v4)

в данном случае Child пытается обратиться к протектед Base<T1, T2>::value1

@sourcerer · 18.01.2017, 12:19

Комментарий модератора

Lunix, пожалуйста, прочитайте правила форума.
Особое внимание обратите на пункт 4.3 (порядок именования тем).

.

@hoggy · 18.01.2017, 12:24

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

почему нужно объявлять дружественным весь класс Child, а не шаблонный Base

потому что именно Child пытается залезть в защищенную секцию данных

@Lunix · 18.01.2017, 12:30 **[ТС]**

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

потому что именно Child пытается залезть в защищенную секцию данных

почему Chaild, а не конструктор Base?
другими словами: при любом наследовании конструктор базового класса не имел бы доступа к протектовым данным родителя

@Raali · 18.01.2017, 12:32

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

почему Chaild, а не конструктор Base?

потому что дело не в конструкторе Base, а в том, какие значения в него передаются из Child

@hoggy · 18.01.2017, 12:37

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

почему Chaild, а не конструктор Base?

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

а их ещё нужно сначала откуда то достать.

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

@Lunix · 18.01.2017, 12:50 **[ТС]**

а можно еще как нибудь инстанцировать обьект Child обьектом Base и двумя другими аргументаи, как будет выглядеть тогда конструктор Caild'a и обьявлние обьекта Child <Base , int, float>ch (b1, 3,4.2); ?

@hoggy · 18.01.2017, 14:22

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

а можно еще как нибудь инстанцировать обьект Child обьектом Base и двумя другими аргументаи, как будет выглядеть тогда конструктор Caild'a и обьявлние обьекта Child <Base , int, float>ch (b1, 3,4.2); ?

классика жанра:

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
#include <iostream>
#include <cstring>
using namespace std;
 
template<class T1, class T2>class Base
{
protected:
    T1 value1;
    T2 value2;
    
    void InitMe(const Base& src)
    {
        this->value1 = src.value1;
        this->value2 = src.value2;
    }
    
public:
    Base(T1 v1 = 0, T2 v2 = 0)
        :value1(v1)
        ,value2(v2)    
    {};
    
    Base(const Base& u)
        :value1(u.value1)
        ,value2(u.value2)
    {}
    
    virtual ~Base(){};
    
    virtual void Show() const 
    {
        cout << "v1 = " << value1 << "\n"
                "v2 = " << value2 << '\n';
    }
};
 
template <class T1, class T2, class T3, class T4>
class Child : public Base<T1,T2>
{
    using Parent = Base<T1,T2>;
protected:
    T3 value3;
    T4 value4;
public:
    Child(T1 v1, T2 v2, T3 v3, T4 v4)
        :Parent(v1, v2)
        ,value3(v3), value4(v4)    
    {};
    
    Child(const Parent& src, T3 v3, T4 v4)
        :value3(v3)
        ,value4(v4)
    { this->InitMe(src); };
    
    virtual void Show()const override
    {
        Parent::Show();
        cout << "v3 = " << value3 << "\n"
                "v4 = " << value4 << '\n';
    }
};
 
int main()
{
    Base<int, float> b1(1, 3.4);
    b1.Show();
    
    cout << "---------------" << endl;
    
    Child<int,float,double,char>
        (b1, 3.14, 'a')
        .Show();
}

зы:
я у вас там ошибки поправил некоторые.

есть ещё паттерн "шаблонный друг"
позволяет не используя ключевого слова friend
как бы объявлять друзьями сразу множество классов:

http://rextester.com/BVY53014

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
#include <iostream>
#include <cstring>
using namespace std;
 
template<class T1, class T2>class Base
{
protected:
    T1 value1;
    T2 value2;
public:
    
    enum { eFRIEND };
    
    Base(T1 v1 = 0, T2 v2 = 0)
        :value1(v1)
        ,value2(v2)    
    {};
    
    Base(const Base& u)
        :value1(u.value1)
        ,value2(u.value2)
    {}
    
    virtual ~Base(){};
    
    virtual void Show() const 
    {
        cout << "v1 = " << value1 << "\n"
                "v2 = " << value2 << '\n';
    }
    
 
    // отдаст свои данные любому, 
    // кто докажет, что он - друг
    template<class Dst> void InitIt(Dst& dst) const
    {
        Dst::eFRIEND;
        
        dst.value1 = this->value1;
        dst.value2 = this->value2;
    }
 
    
};
 
template <class T1, class T2, class T3, class T4>
class Child : public Base<T1,T2>
{
    using Parent = Base<T1,T2>;
protected:
    T3 value3;
    T4 value4;
public:
    Child(T1 v1, T2 v2, T3 v3, T4 v4)
        :Parent(v1, v2)
        ,value3(v3), value4(v4)    
    {};
    
    Child(const Parent& src, T3 v3, T4 v4)
        :value3(v3)
        ,value4(v4)
    { src.InitIt(*this); };
    
    virtual void Show()const override
    {
        Parent::Show();
        cout << "v3 = " << value3 << "\n"
                "v4 = " << value4 << '\n';
    }
};
 
int main()
{
    Base<int, float> b1(1, 3.4);
    b1.Show();
    
    cout << "---------------" << endl;
    
    Child<int,float,double,char>
        (b1, 3.14, 'a')
        .Show();
}

@Lunix · 18.01.2017, 19:24 **[ТС]**

подскажите что делает эта строчка(49)?

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

using Parent = Base<T1,T2>;

Добавлено через 42 минуты
я понял, это типа typedef-a... )

@sourcerer · 19.01.2017, 12:08

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

C++
1
2
3
4
5
6
7
8
9
    // отдаст свои данные любому, 
    // кто докажет, что он - друг
    template<class Dst> void InitIt(Dst& dst) const
    {
        Dst::eFRIEND;
        
        dst.value1 = this->value1;
        dst.value2 = this->value2;
    }

Как вот это работает, не могу понять. В особенности же вот эта строчка меня в ступор вгоняет:

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

C++
1
        Dst::eFRIEND;

MrGluck · 19.01.2017, 12:16

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

я понял, это типа typedef-a... )

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

@GbaLog- · 19.01.2017, 12:16

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

Как вот это работает, не могу понять.

Если у класса нет такого enum'a/переменной, то будет compile-time error.

MrGluck · 19.01.2017, 12:17

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

Dst::eFRIEND;

Обычная проверка на присутствие поля. Если поля нет - будет ошибка компиляции.

@hoggy · 22.01.2017, 16:00

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

Как вот это работает, не могу понять. В особенности же вот эта строчка меня в ступор вгоняет:

у нас есть шаблон:

C++
1
template<class Dst> void InitIt(Dst& dst) const

то бишь подпихать мы сюда теоретически можем объекты любых классов.
однако, кем бы ни был этот объект,
его класс имеет некий заранее ожидаемый нами enum

C++
1
Dst::eFRIEND;

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

по сути - этот тот же самый friend,
только таким образом можно зафредить
сразу множество классов.

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	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 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

@Lunix 6 / 6 / 5 Регистрация: 05.04.2016 Сообщений: 67
	18.01.2017, 12:50 [ТС]
	а можно еще как нибудь инстанцировать обьект Child обьектом Base и двумя другими аргументаи, как будет выглядеть тогда конструктор Caild'a и обьявлние обьекта Child <Base , int, float>ch (b1, 3,4.2); ? 0

Наследование шаблонных классов

Решение