如何从类模板自身的类定义中将其称为模板

How do I refer to a class template, as a template, from within its own class definition?

本文关键字：定义      更新时间：2023-10-16

以下是场景：

template <template <typename> class T, typename V>
struct parent {
void do_something();
};
template <typename V>
struct child : public parent<child, V> {
void do_something(V argument);
using parent<child, V>::do_something; // C3200: invalid template argument for template parameter 'IMPL', expected a class template
};

上面的代码未能在给定的行上编译，并出现给定的错误(MSVC 9.0)。但是，如果我改为写这篇文章，则在child:的类定义之外

template <typename V>
struct parent_identity_meta {
typedef typename parent<child, V> type; // no error!
};

我现在可以在child中成功地完成以下操作：

using parent_identity_meta<V>::type::do_something;

我知道有一个限制(在C++11中得到了缓解)，即不能对模板进行typedef，但我不认为这是我在这里遇到的问题，否则parent_identity_meta中的typedef会失败。child似乎指的是模板，而不是在其自己的类定义中，并且指的是从其内部生成的类。

这是可以理解的(每次都要写child<V>会很痛苦)；但有什么办法可以推翻这种行为吗？

这是C++03和C++11彼此不同的地方。本标准的相关部分为[temp.local]/1。在C++03中，这表示：

与普通(非模板)类一样，类模板有一个注入的类名(子句9)。注入的类名可以与模板参数列表一起使用，也可以不使用。当它在没有模板参数列表的情况下使用时，它相当于插入的类名后面跟着<>中包含的类模板的模板参数。当它与模板参数列表一起使用时，它指的是指定的类模板专用化，可以是当前的专用化或另一个专用化。

这意味着child(没有任何模板参数)引用了专门化child<V>。在C++11中，它被更改为：

与普通(非模板)类一样，类模板有一个注入的类名(第9条)。注入的类名可以用作模板名或类型名。当它与模板参数列表一起使用，用作模板模板参数的模板参数，或用作友类模板声明的详细类型说明符中的最终标识符时，它指的是类模板本身。否则，它相当于模板名称后面跟着<>中包含的类模板的模板参数。

请特别注意When it is used ... as a template-argument for a template template-parameter ... it refers to the class template itself.。这意味着在C++11中，您的代码是正确的。

相关文章：