如何使用sfinae来检查，类型是否有operator（）？

Question

我有以下代码：

template <typename T> 
struct function_traits 
{ 
    typedef decltype(&T::operator()) test_type; 
    typedef std::true_type res_type; 
}; 

template <typename T> 
struct function_traits 
{ 
    typedef std::false_type res_type; 
}; 

换句话说，我想知道的类型是否有运营商（）。我认为我可以使用SFINAE的方式来做到这一点。但编译器会告诉：

'function_traits'：类模板已经定义。

这样的代码有什么问题？

P.S：这里是简单的用法：

auto f1 = [](const int a){ std::cout << a << std::endl; }; 
function_traits<decltype(f1)>::res_type; 
auto f2 = false; 
function_traits<decltype(f2)>::res_type; 

编辑：我使用C++ 11标准

Answer 1

通过正反馈的鼓舞，我会在这里发表一个简短的回答。

的问题是，你不能定义两次课，但你这样做两次： -

template <typename T> 
struct function_traits { .... some code ..... }  

C++不允许。

要检查函数是否存在，已经有a question了，可以修改它以支持operator()。

这里是一个演示，在那里从Nicola Bonelli's answer非常略微修改。

#include <iostream> 

struct Hello 
{ 
    void operator()() { } 
}; 

struct Generic {};  

// SFINAE test 
template <typename T> 
class has_parenthesis 
{ 
    typedef char one; 
    typedef long two; 

    template <typename C> static one test(decltype(&C::operator())) ; 
    template <typename C> static two test(...);  

public: 
    enum { value = sizeof(test<T>(0)) == sizeof(char) }; 
}; 

int main(int argc, char *argv[]) 
{ 
    std::cout << has_parenthesis<Hello>::value << std::endl; //print 1 
    std::cout << has_parenthesis<Generic>::value << std::endl; //print 0 
    return 0; 
} 

我只知道几分钟前，它也适用于operator()。

编辑：我改变typeof到decltype为说书人和LmTinyToon建议。谢谢。

Answer 2

也许使用void_t是要简单得多：

template <typename T,class=void> 
struct callable_without_args: std::false_type{}; 

template <typename T> 
struct callable_without_args<T 
      ,std::void_t<decltype(std::declval<T>()())>> 
    :std::true_type{}; 

如果你的编译器提供概念这可能是更简单：

template<T> 
concept bool CallableWithoutArgs= requires(T&& a){ 
    (T&&)(a)(); 
};