我正在尝试定义仅包含 typedef 的基类。
template<typename T>
class A
{
public:
typedef std::vector<T> Vec_t;
};
template<typename T>
class B : public A<T>
{
private:
Vec_t v; // fails - Vec_t is not recognized
};
为什么在 B 中收到 Vec_t 无法识别的错误，我需要显式编写？
typename A<T>::Vec_t v;
【问题讨论】：
标签： c++ templates inheritance typedef name-lookup
我相信这个问题是重复的，但我现在找不到。 C++ 标准说你应该根据 14.6.2/3 完全限定名称：
在类模板或类模板成员的定义中，如果类模板的基类依赖于模板参数，则在非限定名称查找期间不检查基类范围 在类模板或成员的定义点或在类模板或成员的实例化期间。
UPD：我终于找到了重复：here it is。
【讨论】：
typename B::Vec_t就够了
在模板的情况下，有一些称为依赖和非依赖的名称。
如果名称依赖于模板参数T，则它的依赖名称和其他不依赖于参数T的独立名称。
规则如下：编译器不会 查看依赖基类（如 A) 查找非依赖项时 名称（如 Vec_t）。因此， 编译器甚至不知道他们 更不用说类型了。
编译器在知道T 之前不能假定Vec_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。
【讨论】：
T 类型变量，A<T> 只是前向声明，它没有定义。只有A<t> 其中t 是一个类型（不是类型变量）可以被定义（通过特化模板定义或通过显式特化）。 IOW，即使您从 C++ 中删除了模板显式和部分特化（但没有更改任何其他内容），它仍然是不正确的。
为了完整起见，以下是您可以稍微减轻这种麻烦的方法：
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。
【讨论】：
using typename A::Vec_t; 应该是 using typename A<T>::Vec_t;
您需要明确限定Vec_t 的使用，因为编译器不知道Vec_t 的来源。
它不能假设任何关于 A 的结构，因为类模板 A 可能是特化的。专业化可能包括不是 typedef 的 Vec_t，或者它甚至可能根本不包括成员 Vec_t。
【讨论】：
Vec_t 不是依赖名称，编译器需要知道它是什么而不实例化任何模板（在本例中为基类）。真的和：
template <class T>
class X
{
std::string s;
}
这里编译器也需要知道 std::string 即使 X 没有被实例化，因为名称不依赖于模板参数 T（就编译器可以假设而言）。
总而言之，模板基类中的 typedef 在派生类中使用似乎毫无用处。然而，typedef 对用户很有用。
【讨论】：
class X : T {吗？
这个概念可能与我们如何使用std::vector<T> 相关联。例如，如果我们有一个std::vector<int> Foo。现在，我们决定使用它的任何成员类型，比如说iterator。在这种情况下，我们明确提到
std::vector<int>::iterator foo_iterator;
在您的情况下，为了使用template <typename T> class A 的公共成员类型Vec_t，您需要将其显式声明为
A<T>::Vec_t v;
OR
A<int>::Vec_t int_type;
【讨论】：