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

@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,
только таким образом можно зафредить
сразу множество классов.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@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

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

Решение