具有 VARIANT 返回类型的模板实例化

Question

静态模板成员函数的显式实例化始终无法编译并显示消息error C2785: 'at_Intermediate CUtil::convert_variant(const VARIANT &)' and '<Unknown>' have different return types

当我用非静态成员函数创建一个对应的类时，编译器喜欢我。

// utility class - static methods
struct CUtil {
      template< typename at_Intermediate > static at_Intermediate convert_variant( const VARIANT &v ) ;

      template<> static VARIANT convert_variant<VARIANT >( const VARIANT &v ) { return v; } // 
      template<> static double  convert_variant<double  >( const VARIANT &v ) { return v.dblVal; }
      template<> static long    convert_variant<long    >( const VARIANT &v ) { return v.lVal  ; }
      template<> static BSTR    convert_variant<BSTR    >( const VARIANT &v ) { return v.bstrVal; }
};

这是一个组合问题：

1. 为什么编译器会抱怨一个函数“未知”，而它显然是已知的？

2. 触发此消息的原因 - 当函数设为全局或非静态时它会消失。

编辑：

经过 Josh 的一些有用提示：是否不允许在类声明中显式实例化模板函数？

Answer 1

显然，您只能在命名空间范围内使用显式模板特化，尽管我在标准中找不到这一点（但 GCC 说了这么多）。以下对我有用（在 GCC 上）：

struct CUtil {
    template< typename at_Intermediate > static at_Intermediate convert_variant( const VARIANT &v ) ;
};

template<> VARIANT CUtil::convert_variant<VARIANT >( const VARIANT &v ) { return v; }
template<> double  CUtil::convert_variant<double  >( const VARIANT &v ) { return v.dblVal; }
template<> long    CUtil::convert_variant<long    >( const VARIANT &v ) { return v.lVal  ; }
template<> BSTR    CUtil::convert_variant<BSTR    >( const VARIANT &v ) { return v.bstrVal; }

EDIT它是在标准中：

14.7.2.5：

类或函数模板特化的显式实例化放置在定义模板的命名空间中。类模板成员的显式实例化放置在定义封闭类的命名空间中。 成员模板的显式实例被放置在定义封闭类或类模板的命名空间中。

（我添加的所有重点。）

Answer 2

试试这个方法：

struct CUtil {
    template< typename T > 
    static T convert_variant(const VARIANT &);
};

template<> int CUtil::convert_variant<int>(const VARIANT &);
template<> VARIANT CUtil::convert_variant<VARIANT>(const VARIANT &);

您不能在类范围内显式特化模板。 See here.

VS2008 的一个奇怪问题是它确实有效。

struct CUtil {
    template< typename T > 
    static T convert_variant(const VARIANT &);
    template<> 
    static int convert_variant<int>(const VARIANT &);
};

还有这个：

struct CUtil {
    template< typename T > static void convert_variant(T);
    template<> static void convert_variant<VARIANT >(VARIANT);
};