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

This topic created in 2700 days ago, the information mentioned may be changed or developed.

#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 replies • 2019-01-10 21:33:43 +08:00

after1990s

Jan 2, 2019

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

geelaw

Jan 2, 2019

// 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

Jan 2, 2019

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

wutiantong

Jan 2, 2019

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

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