提到模板基类时，是否到处都需要模板参数？

Question

这是一个简单的模板；

template <class T>
class tt {
    private:
        T  x;
    public:
        tt() {x=0;};
        Add(T p) {x += p;};
};

...然后是它的子类；

class cc : public tt<int> {

    public:
        cc() : tt() {};

};

这在 VC 中编译得很好，但在 C++ Builder (XE) 中却没有，它会给出 E2102 错误。 C++ Builder编译器在cc类的构造函数上需要如下语法才能编译；

cc() : tt<int>() {};

实际上，C++ Builder 编译器需要在 cc 类中每次提到 tt 模板时重复模板参数。

标准 C++ 规范是否指定需要不断重复模板参数，还是 C++ Builder 编译器错误？

Answer 1

C++ Builder 在这里是错误的。您应该能够在构造函数的成员初始化器列表中使用祖先的名称的原因与注入的类名的概念有关。

当您定义一个类时，编译器会将类的名称插入到该类中并使其引用自身。这个注入的名称允许您在类中使用没有模板参数的类的名称。

template <class T>
struct tt {
    // The compiler behaves as if there was the following.
    // typedef tt<T> tt;
};

当您在成员初始值设定项列表中使用名称 tt 时，会查找此注入名称。

（作为记录，clang 接受不带模板参数的 sn-p。）

奖励：如果您将 cc 定义为具有模板参数 T 的类模板，并且祖先依赖于 T，则名称 tt 将不会在cc 的构造函数的成员初始化列表的上下文。

template <class T>
class cc : tt<T> {
    cc()
        : tt<T>() /* You must use <T> here. */
    {
    }
};

Answer 2

你可以使用 typedef 来避免重复：

typedef tt<int> tti;

...

class cc : public tti {

    public:
        cc() : tti() {};

};