Распространение typedef из базового класса в производный для шаблона

Я считаю, что это повторяющийся вопрос, но сейчас не могу его найти. Стандарт C ++ говорит, что вы должны полностью указать имя в соответствии с 14.6.2 / 3:

В определении шаблона класса или члена шаблона класса, если базовый класс шаблона класса зависит от параметра шаблона, область действия базового класса не проверяется во время поиска неквалифицированного имени либо в точка определения шаблона или члена класса или во время создания экземпляра шаблона или члена класса.

UPD: наконец-то я нашел дубликат: вот он.

В случае шаблонов есть так называемые зависимые и независимые имена.

Если имя зависит от параметра шаблона T, его зависимое имя и другие имена, не зависящие от параметра T, являются независимыми именами.

Вот правило: компилятор не смотрит в зависимые базовые классы (например, A) при поиске независимых имен (например, Vec_t). В результате компилятор не знает, что они вообще существуют, не говоря уже о типах.

Компилятор не может предположить, что Vec_t является типом, пока не узнает T, потому что существует потенциальная специализация A<T>, где A<T>:: Vec_t - это член данных

Итак, решение - использовать typename

 typename A<T>::Vec_t v;  ← good

Я рекомендую вам пройти через этот https://isocpp.org/wiki/faq/templates#nondependent-name-lookup-types.

Старая (неработающая) ссылка: http://www.parashift.com/c++-faq-lite/templates.html#faq-35.18

Поскольку компилятор не уверен, что Vec_t называет тип. Например, A<T> может быть специализирован для T=int, чтобы не иметь этот конкретный typedef.

Для полноты, вот как вы могли бы немного уменьшить эту неприятность:

• переопределите эти типы в производных классах или лучше - как с методами -
• просто импортируйте эти имена в область производного класса с using declaration:

template<typename T>
class A
{
public:
    typedef std::vector<T> Vec_t;
};


template<typename T>
class B : public A<T>
{
public:
    using typename A<T>::Vec_t;
    // .........

private:
    Vec_t v;
};

Это может быть полезно, если у вас есть более одного упоминания унаследованного typedef в производном классе. Также вам не нужно каждый раз добавлять typename.

Вам необходимо явно указать использование Vec_t, потому что компилятор не знает, откуда берется Vec_t.

Он не может ничего предполагать о структуре A, поскольку шаблон класса A может быть специализированным. Специализация может включать Vec_t, который не является typedef, или может вообще не включать член Vec_t.

Vec_t не является зависимым именем, и компилятор должен знать, что это такое, без создания экземпляров каких-либо шаблонов (в данном случае базового класса). Это действительно ничем не отличается от:

template <class T>
class X
{
    std::string s;
}

Здесь также компилятор должен знать о std :: string, даже если X не создается, поскольку имя не зависит от аргумента шаблона T (насколько компилятор может предположить).

В общем, typedef в базовом классе шаблона кажется бесполезным для использования в производном классе. Однако определения типов полезны для пользователя.

Эта концепция может быть связана с тем, как мы используем std::vector<T>. Например, если у нас есть файл std::vector<int> Foo. Теперь мы решаем использовать любой из его типов членов, скажем, iterator. В этом сценарии мы явно упоминаем

std::vector<int>::iterator foo_iterator;

Точно так же в вашем случае, чтобы использовать общедоступный тип члена Vec_t из template <typename T> class A, вам необходимо явно объявить его как

A<T>::Vec_t v;
OR
A<int>::Vec_t int_type;