C++ 模板匹配失败的问题

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

已注册用户请登录

这是一个创建于 2542 天前的主题，其中的信息可能已经有所发展或是发生改变。

#include <type_traits> #include <functional> //0 template<class R, class... Args> struct function_traits{}; //1 template<class R, class... Args> struct function_traits<std::function<R(Args...)>> : function_traits<R(Args...)>{ static_assert(true, "std::function"); }; //2 template<class Callable> struct function_traits : function_traits<decltype(&Callable::operator())> { static_assert(true, "Callable"); }; int main(void) { std::function<void()> f0; function_traits<decltype(f0)> f1; return 0; }

希望 24 行的模板推导先匹配 1 再匹配到 0.

实际上先匹配到 1，然后匹配到 2，然后就推导失败了。

编译器 MSVC 2017.

9 条回复 2019-01-10 21:33:43 +08:00

after1990s

2019-01-02 14:54:20 +08:00

测试链接
https://godbolt.org/z/hm9YMm

geelaw

2019-01-02 14:57:15 +08:00

// 0 的正确写法

template <typename T> struct function_traits;

template <typename TReturn, typename...TArgs>
struct function_traits<TReturn(TArgs...)>
{
};

另外 // 2 是不能成功的，因为 instance member function pointer 和 function pointer 完全不同。

wutiantong

2019-01-02 15:01:32 +08:00

你这代码贴的不对吧，2 没有正确的写成 0 的 specialization

wutiantong

2019-01-02 15:05:06 +08:00

这样写可能更接近你想要的效果：

//0
template<class Callable>
struct function_traits { static_assert(true, "Callable"); };
//1
template<class R, class... Args>
struct function_traits<std::function<R(Args...)>> { static_assert(true, "std::function"); };