为什么模板的模板参数列表不能与其模板成员合并？

Question

我正在阅读“Stroustrup 的 C++ 编程语言”，其中提到它

请注意，模板的模板参数列表及其模板成员不能合并。

示例如下。

template<class T>
  template<class T2> Ptr<T>::operator Ptr<T2> () { return Ptr<T2>(p); }

template<class T, class T2> // error
  Ptr<T>::operator Ptr<T2> () { return Ptr<T2>(p); }

我不明白为什么不允许这样做，有人可以解释为什么不允许吗？

Answer 1

因为这是两个不同的模板（一个模板化的类和该类的一个模板化成员函数），而起草规范的人决定有必要在函数定义中保持其可见性。

我认为这完全合乎逻辑。如果按照您建议的方式完成，阅读您的代码的程序员可能会认为只有一个带有两个参数的模板类，他就错了。