传播“typedef”从“模板”的基类到派生类；

Question

我正在尝试定义仅包含 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
};

为什么在 BI 中收到无法识别 Vec_t 的错误，我需要显式地编写它？

typename A<T>::Vec_t v;

Answer 1

我相信这个问题是重复的，但我现在找不到它。 C++ 标准表示您应该根据 14.6.2/3 完全限定名称：

在类模板或类模板成员的定义中，如果类模板的基类依赖于模板参数，则在非限定名称查找期间不会检查基类范围 在类模板或成员的定义点或者在类模板或成员的实例化期间。

UPD：我终于发现重复的：这是。

Answer 2

在模板的情况下，有一种称为从属名称和非从属名称的名称。

如果名称依赖于模板参数 T，则其依赖名称，而其他不依赖于参数 T 的名称则为独立名称。

规则如下：编译器不会
查看依赖基类（例如
A）查找非依赖时
名称（如 Vec_t）。因此，
编译器甚至不知道它们
存在更不用说是类型了。

编译器在知道 T 之前无法假定 Vec_t 是一种类型，因为 A 存在潜在的特化，其中 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

Answer 3

为了完整起见，您可以通过以下方式稍微减轻这种麻烦：

• 在派生类中重新 typedef 这些类型，或者更好 - 就像
  方法 -
• 只需使用 using 声明 将这些名称导入派生类作用域中：

---

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 。

Answer 4

因为编译器不确定 Vec_t 是否命名了类型。例如，A 可能专门用于 T=int，不具有特定的 typedef。

Answer 5

您需要显式限定 Vec_t 的使用，因为编译器不知道 Vec_t 来自何处。

它不能假设任何有关 A 结构的信息，因为类模板 A 可能是专门化的。特化可能包含一个不是 typedef 的 Vec_t，或者它甚至可能根本不包含成员 Vec_t。

Answer 6

Vec_t 不是依赖名称，编译器需要知道它是什么而不实例化任何模板（在本例中为基类）。它实际上与以下内容没有什么不同：

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

即使 X 未实例化，编译器也需要了解 std::string，因为名称不依赖于模板参数 T（就编译器可以假设的范围而言）。

总而言之，模板基类中的 typedef 对于在派生类中使用似乎毫无用处。然而，typedef 对用户很有用。

Answer 7

这个概念可以与我们如何使用 std::vector相关联。例如，如果我们有一个 std::vector; Foo。现在，我们决定使用它的任何成员类型，比如说迭代器。在这种情况下，我们明确提及

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

您的情况类似，以便使用 template的公共成员类型 Vec_t 。类 A，您需要将其显式声明为

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