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

V2EX = way to explore

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

现在注册

已注册用户请登录

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

#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"); };