Tag: 模板专业

为什么不能重载类模板？

读这个问题让我怀疑：是否有一个技术原因不允许类模板重载？ 通过重载，我的意思是有几个相同名称的模板，但不同的参数，例如 template <typename T> struct Foo {}; template <typename T1, typename T2> struct Foo {}; template <unsigned int N> struct Foo {}; 编译器pipe理处理重载的函数和函数模板，是不是可以应用类模板相同的技术（例如名称修改）？ 起初，我认为也许这会在单独使用模板标识符时造成一些模糊性问题，但唯一可能发生的情况是将其作为模板模板parameter passing，因此可以使用参数的types来select适当的超载： template <template <typename> class T> void A {}; template <template <unsigned int> class T> void B {}; A<Foo> a; // resolves to Foo<T> B<Foo> b; // resolves to Foo<N> […]