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

Я не могу поверить, что 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'
    }
};
Источник

2 ответа

Решение

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

typename BaseClass<T>::MyStruct ms1;

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

Источник 
BaseClass<T>::MyStruct ms3;

Должно быть

typename BaseClass<T>::MyStruct ms3;

Так как MyStruct является зависимым именем, т. е. оно зависит от аргумента шаблона.
Соответствующий: Где и почему я должен поставить "шаблон" и "имя типа" на зависимые имена?

Источник
Другие вопросы по тегам