Доступ к защищенным членам из подклассов: gcc vs msvc

Question

В Visual C ++ я могу делать такие вещи:

template <class T>
class A{
protected:
    T i;
};

template <class T>
class B : public A<T>{
    T geti() {return i;}
};

Если я пытаюсь скомпилировать это в g ++, я получаю сообщение об ошибке. Я должен сделать это:

template <class T>
class B : public A<T>{
    T geti() {return A<T>::i;}
};

Разве я не должен делать первое в стандартном C ++? Или что-то неправильно настроено в gcc, что приводит к ошибкам?

Answer 1

Раньше это было разрешено, но изменено в gcc 3.4 .

В определении шаблона неквалифицированные имена больше не будут находить членов зависимой базы (как указано в [temp.dep] / 3 в стандарте C ++). Например,

    template <typename T> struct B {
      int m;
      int n;
      int f ();
      int g ();
    };
    int n;
    int g ();
    template <typename T> struct C : B<T> {
      void h ()
      {
        m = 0; // error
        f ();  // error
        n = 0; // ::n is modified
        g ();  // ::g is called
      }
    };

Вы должны сделать имена зависимыми, например, добавив им префикс this->. Вот исправленное определение C :: h,

    template <typename T> void C<T>::h ()
    {
      this->m = 0;
      this->f ();
      this->n = 0
      this->g ();
    }

Answer 2

Я понял это:

• C ++ Super FAQ: «Почему я получаю ошибки, когда мой производный от шаблона класс использует вложенный тип, который он наследует от своего базового класса-шаблона?»
• C ++ Super FAQ: «Почему я получаю ошибки, когда мой производный от шаблона класс использует член, который он наследует от своего базового класса шаблона?»

По-видимому, первый пример НЕ является допустимым C ++, и плохо, что msvc принимает это. На C ++ faq lite размещены решения.

Answer 3

Возможно, вы захотите прочитать о поиске двухфазного имени