Base-Protected-поле доступно в Derived, но недоступно, если Base и Derived определены вложенными в шаблон класса Wrap

@Lyosha12 · Регистрация: 02.04.2016

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

Ситуация такая:

Кликните здесь для просмотра всего текста

C++

class Base {
  public:
    virtual void foo() { };
    
  protected:
    int x;
};
 
class Derived: Base {
  public:
    virtual void foo() {
        cout << "Change X: " << ++x << endl;
    }
};

Эта штука работает. Если обернуть это во Wrap, то всё до сих пор работает:

Кликните здесь для просмотра всего текста

C++

class Wrap {
class Base...
class Derived...
};

Стоит сделать класс Wrap шаблоном, как поле x оказывается недоступным:

Код

error: 'x' was not declared in this scope
         cout << "Change X: " << ++x << endl;
                                   ^

Кликните здесь для просмотра всего текста

C++

template <class T>
class Wrap {
    class Base {
      public:
        virtual void foo() { };
        
      protected:
        int x;
    };
    
    class Derived: Base {
      public:
        virtual void foo() {
            cout << "Change X: " << ++x << endl;
        }
    };
};

Если попытаться указать, что Derived наследуется именно от Wrap<T> (Wrap<T>::Base), то результат тот же.

Что я делаю не так и почему?

Croessmah · 31.08.2017, 00:34

C++

1	++Base::x/this->x/

???

@Lyosha12 · 31.08.2017, 00:42 **[ТС]**

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

C++

1	++Base::x/this->x/

???

Если это претензия про инициализацию, то давайте опустим банальности - она есть, конечно же.

@hoggy · 31.08.2017, 00:45

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

cout << "Change X: " << ++x << endl;

C++

1	cout << "Change X: " << ++this->x << endl;

Почему компилируется не объявленная переменная в шаблоне?

Почему компилируется не объявленная переменная в шаблоне?

Croessmah · 31.08.2017, 01:04

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

Если это претензия про инициализацию

Это способы как можно обратиться к x.

@Lyosha12 · 31.08.2017, 01:07 **[ТС]**

Забавно. Как исправить - понятно, но почему это так - до сих пор не интуитивно.
Можете привести простенький пример, где эта особенность будет явно очевидна?
Может, что-то со специализацией обёртки?

@hoggy · 31.08.2017, 03:01

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

Можете привести простенький пример, где эта особенность будет явно очевидна?

см #4

@Peoples · 31.08.2017, 10:24

Ещё вариант

C++

 public:
      using Base::x;
        virtual void foo() {
            cout << "Change X: " << ++x << endl;
        }

@Lyosha12 · 31.08.2017, 10:31 **[ТС]**

Окей. Ниже я увидел выписку из стандарта. Если более развёрнутого описания мне не суждено увидеть, то ограничусь только ссылкой на стандарт. Благодарю.

Croessmah · 31.08.2017, 10:43

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

Если более развёрнутого описания мне не суждено увидеть

Пост #4. Ссылка 2.

@Lyosha12 · 31.08.2017, 10:47 **[ТС]**

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

Пост #4. Ссылка 2.

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

@DrOffset · 31.08.2017, 10:55

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

Может, в какой-то книге это описано лучше?

В книге "Шаблоны C++. Справочник разработчика"

@Lyosha12 · 31.08.2017, 11:02 **[ТС]**

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

В книге "Шаблоны C++. Справочник разработчика"

Благодарю.

@Lyosha12 41 / 41 / 11 Регистрация: 02.04.2016 Сообщений: 308
	31.08.2017, 11:02 [ТС]	13
	Сообщение от DrOffset В книге "Шаблоны C++. Справочник разработчика" Благодарю. 0

Base-Protected-поле доступно в Derived, но недоступно, если Base и Derived определены вложенными в шаблон класса Wrap

Решение

Решение

Croessmah Неэпический 17848 / 10616 / 2049 Регистрация: 27.09.2012 Сообщений: 26,686 Записей в блоге: 1
	31.08.2017, 01:04	5
	Сообщение от Lyosha12 Если это претензия про инициализацию Это способы как можно обратиться к `x`. 0

@Lyosha12 41 / 41 / 11 Регистрация: 02.04.2016 Сообщений: 308
	31.08.2017, 01:07 [ТС]	6
	Забавно. Как исправить - понятно, но почему это так - до сих пор не интуитивно. Можете привести простенький пример, где эта особенность будет явно очевидна? Может, что-то со специализацией обёртки? 0

@hoggy 8737 / 4315 / 960 Регистрация: 15.11.2014 Сообщений: 9,762
	31.08.2017, 03:01	7
	Сообщение от Lyosha12 Можете привести простенький пример, где эта особенность будет явно очевидна? см #4 0

@Lyosha12 41 / 41 / 11 Регистрация: 02.04.2016 Сообщений: 308
	31.08.2017, 10:31 [ТС]	9
	Окей. Ниже я увидел выписку из стандарта. Если более развёрнутого описания мне не суждено увидеть, то ограничусь только ссылкой на стандарт. Благодарю. 0

Croessmah Неэпический 17848 / 10616 / 2049 Регистрация: 27.09.2012 Сообщений: 26,686 Записей в блоге: 1
	31.08.2017, 10:43	10
	Сообщение от Lyosha12 Если более развёрнутого описания мне не суждено увидеть Пост #4. Ссылка 2. 0

@Lyosha12 41 / 41 / 11 Регистрация: 02.04.2016 Сообщений: 308
	31.08.2017, 10:47 [ТС]	11
	Сообщение от Croessmah Пост #4. Ссылка 2. Я и имел в виду тот пост. Это объяснение "на пальцах" мне не совсем понятно, так как я не знаком с шаблонами настолько плотно, чтобы представить варианты "небо" и "земля". Может, в какой-то книге это описано лучше? 0

@DrOffset 18161 / 9494 / 2322 Регистрация: 30.01.2014 Сообщений: 16,599
	31.08.2017, 10:55	12
	Сообщение было отмечено Lyosha12 как решение Решение Сообщение от Lyosha12 Может, в какой-то книге это описано лучше? В книге "Шаблоны C++. Справочник разработчика" 1