Наследование шаблонных классов: найти причины возникновения ошибки в коде и исправить эту ошибку

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

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

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

C++

#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++

#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++

#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++

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

@Lunix 6 / 6 / 5 Регистрация: 05.04.2016 Сообщений: 67
	18.01.2017, 19:24 [ТС]	10
	подскажите что делает эта строчка(49)? Сообщение от hoggy using Parent = Base<T1,T2>; Добавлено через 42 минуты я понял, это типа typedef-a... ) 0

@GbaLog- Любитель чаепитий 3742 / 1798 / 566 Регистрация: 24.08.2014 Сообщений: 6,016 Записей в блоге: 1
	19.01.2017, 12:16	13
	Сообщение от gru74ik Как вот это работает, не могу понять. Если у класса нет такого enum'a/переменной, то будет compile-time error. 2

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	18.01.2017, 12:24	4
	Сообщение от Lunix почему нужно объявлять дружественным весь класс Child, а не шаблонный Base потому что именно Child пытается залезть в защищенную секцию данных 0

@Lunix 6 / 6 / 5 Регистрация: 05.04.2016 Сообщений: 67
	18.01.2017, 12:30 [ТС]	5
	Сообщение от hoggy потому что именно Child пытается залезть в защищенную секцию данных почему Chaild, а не конструктор Base? другими словами: при любом наследовании конструктор базового класса не имел бы доступа к протектовым данным родителя 0

@Raali 859 / 448 / 112 Регистрация: 06.07.2013 Сообщений: 1,491
	18.01.2017, 12:32	6
	Сообщение от Lunix почему Chaild, а не конструктор Base? потому что дело не в конструкторе Base, а в том, какие значения в него передаются из Child 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	18.01.2017, 12:37	7
	Сообщение было отмечено Lunix как решение Решение Сообщение от Lunix почему Chaild, а не конструктор Base? что бы запустить конструктор базового класса, вам нужно передать в него аргументы. а их ещё нужно сначала откуда то достать. вы пытаетесь их достать из защищённой секции данных. а посколько чаилд не обладает правами доступа, то в его скоупе операция запрещена. 0

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

MrGluck Форумчанин 8215 / 5045 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	19.01.2017, 12:16	12
	Сообщение от Lunix я понял, это типа typedef-a... ) Ключевое слово. В данном контексте, что-то типа того, но имеет расширенную возможность работы с шаблонами. Но это не единственное предназначение данного ключевого слова. 0

MrGluck Форумчанин 8215 / 5045 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	19.01.2017, 12:17	14
	Сообщение от gru74ik Dst::eFRIEND; Обычная проверка на присутствие поля. Если поля нет - будет ошибка компиляции. 2

Наследование шаблонных классов: найти причины возникновения ошибки в коде и исправить эту ошибку

Решение