模板实例化中模板模板参数的可能形式

Question

模板参数的一种可能形式是类模板。 C++ 标准 (C++2003) 声明模板实例化期间模板模板参数的参数是“id 表达式”。这个非终端相当宽。它允许析构函数、重载运算符等。例如，以下代码应该可以正常编译：

template <template <typename x> class T>
struct MyClass
{
    T<int> a;
    T<double> b;
};

template <typename x> struct Helper
{
    ~Helper() { }
    x operator+(x p) { return(x[1]+p); }
    x[4] c;
};

 MyClass<Helper> p1;
 MyClass<~Helper> p2;
 MyClass<Helper::operaror+> p3;

最后两行没有任何意义。但从语法的角度来看，它们很好。语法没有（也不应该）准确地描述语言，但是第 14.3.3 段“模板模板参数”没有提到在这种情况下对语法规则的任何限制。

任何人都可以接受或反驳我的陈述：

1. 模板模板参数只能是标识符，也可以是限定符。
2. 如果第一点属实，这绝对值得在标准中提及。

Answer 1

14.3 [temp.arg] p1

"template-argument有三种形式，对应template-parameter的三种形式：type、non-type和template。 template-id 中指定的每个 template-argument 都应与模板在其模板参数列表中声明的相应参数指定的类型和形式相匹配。

自变量~Helper 的模板模板参数template<typename> class T 的类型不正确，它不是类模板。

14.3.3 [temp.arg.template] p1

模板template-parameter的template-argument应该是类模板的名称，表示为id-expression。

~Helper 不是类模板的名称。

这很明显排除了你的例子。