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

Question

Не могу поверить, gcc не примет следующий код ... Пожалуйста, скажите мне, если доступ к внутреннему классу из базового шаблона действительно невозможен, или я что-то упустил?

template <class T> class BaseClass
{
public:
    struct MyStruct
    {
        T *data;
    };
};

template <class T> class ChildClass : public BaseClass <T>
{
    public:

    void problem()
    {
        MyStruct ms1; //error: 'MyStruct' was not declared in this scope
        ::MyStruct ms2; //error: '::MyStruct' has not been declared
        BaseClass<T>::MyStruct ms3; //error: expected `;' before 'ms3'
    }
};

Answer 1

Проблема в том, что MyStruct является зависимым именем, поэтому вы должны указать компилятору отложить поиск имени до создания экземпляра шаблона, указав в нем имя базового класса:

typename BaseClass<T>::MyStruct ms1;

ДляДля получения дополнительной информации я прочитал бы статью часто задаваемых вопросов Parashift C ++, "Почему я получаю ошибки, когда мой производный от шаблона класс использует вложенный тип, который он наследует от своего базового класса шаблона?"

Answer 2

BaseClass<T>::MyStruct ms3;

Должно быть

typename BaseClass<T>::MyStruct ms3;

Поскольку MyStruct является зависимым именем, то есть оно зависит от аргумента шаблона.
Соответствует: Где и почемупоставить «template» и «typename» на зависимые имена?