MSVC 2017 模板推导无法识别函数调用方式要如何绕过？

最近在研究 unique_ptr 的实现。其中需要分辨出函数类型和其他类型。实验发现 MSVC 的编译器似乎无法正确的处理函数调用方式。

template <typename R>
struct is_unary_function_impl<R(__cdecl*)()>
{
    static const bool value = true;
};
template <typename R>
struct is_unary_function_impl<R(__cdecl*)(...)>
{
    static const bool value = true;
};


bool _cdecl unary_func_1() {
    return true;
}
bool _fastcall unary_func_2() {
    return true;
}

int main() 
{
ASSERT(true == is_unary_function<decltype(&unary_func_1)>::value);
//现在 value == false，它应该为 true。
ASSERT(true == is_unary_function<decltype(&unary_func_2)>::value); 
return 0;
}

如果在模板声明后面加上这样的代码：

template <typename R>
struct is_unary_function_impl<R(__stdcall*)()>
{
    static const bool value = true;
};
template <typename R>
struct is_unary_function_impl<R(__stdcall*)(...)>
{
    static const bool value = true;
};

编译器会给出一个编译错误

 error C2953: 'is_unary_function_impl<R(__cdecl *)(void)>': class template has already been defined

我要怎么改才能让编译器能识别_stdcall 的函数？

crazyneo

2018-05-02 14:43:35 +08:00

一、声明和实现要一致，以及，这种 decl 方式不能参与到模板特化的参数推演过程中去。
二、lambda 作为模板参数时应该用 std::function 外覆或->decltype 明确指出返回值，我翻了一下 14 之后的提案，并没有提及能不能在模板参数推演过程中正确的推导 lambda 表达式返回值类型。