模板类内部函数的模板特化

Question

我有一个模板化类，里面有一个模板化函数（不同的模板参数），并且我在让编译器调用正确的函数时遇到问题。

示例：

template< class Parm1, class Parm2, class Parm3 >
class Class {
public:
   void   Func( Parm1 arg1, Parm2 arg2 ) {
      Call<Parm3>( arg1, arg2 ); 
   }

protected:
   template< class Type >
   void   Call( Parm1 arg1, Parm2 arg2 ) {
   }

   template<>
   void   Call<void>( Parm1 arg1, Parm2 arg2 ) {
   }
};

因此，如果 Parm3 的类型为“void”，我希望调用第二个 Call。 否则第一。 VS 工作正常，但 GCC 却很恶心。 它总是调用第一个。 现在这是一个非专业类专业化的问题，还是与我专业化“void”这一事实有关？

任何帮助都会很棒。 谢谢。

Answer 1

是的，在不完全专门化所有外部模板的情况下显式专门化函数是不可能的（显式函数专门化是一个真正的函数 - 它周围不能有任何仍由模板参数化的“可变部分”）

一种简单的方法是将 type2type 模板与重载结合使用：

template<typename T> struct t2t { typedef T type; };

void Func( Parm1 arg1, Parm2, arg2 ) { Call<Parm3>(arg1, arg2, t2t<Parm3>()); }
template< class Type, class V >  void Call( Parm1 arg1, Parm2 arg2, t2t<V>) { }
template< class Type >  void Call( Parm1 arg1, Parm2 arg2, t2t<void>) { }

现在，如果您使用 t2t 调用它，它将调用第二个 Call 重载，否则将调用第一个重载，因为第一个重载不太特别。

使用 enable_if 是可能的太：

void Func( Parm1 arg1, Parm2, arg2 ) { Call<Parm3>(arg1, arg2); }

template< class Type > typename disable_if< is_same<Type, void> >::type
Call( Parm1 arg1, Parm2 arg2) { }

template< class Type > typename enable_if< is_same<Type, void> >::type 
Call( Parm1 arg1, Parm2 arg2) { }

现在，如果 Type 为空，则采用第二个，如果 Type 再次为其他值，则采用第一个。 但使用不同的技术。 这个称为 SFINAE。 另一种方法，但再次添加一个参数是这样的 - 演示 SFINAE 的工作方式：

void Func( Parm1 arg1, Parm2, arg2 ) { Call<Parm3>(arg1, arg2); }

template< class Type >
void Call( Parm1 arg1, Parm2 arg2, char(*)[!is_same<Type, void>::value] = 0) { }

template< class Type > 
void Call( Parm1 arg1, Parm2 arg2, char(*)[ is_same<Type, void>::value] = 0) { }

如果模板参数的替换产生无效类型或构造，则会发生 SFINAE 。 下面，我们尝试创建一个分别指向大小为 0 或 1 的数组的指针。 大小为 0 的数组无效，并且会导致 SFINAE 失败 - 如果相应的模板特化是函数，则不会将其视为调用候选者。

在上面的 enable_if 情况下，它的工作方式有所不同。 如果 enable_if 被赋予从 false_type 派生的东西，那么它会使其 ::type typedef 不存在。 is_same 在类型不同的情况下派生自 false_type。 然后我们会尝试访问一个不存在的名称 - 这是一个无效的构造，因此也会导致 SFINAE 失败。