如何檢查會員運營商（類型）？

Question

假設我有bar和foo類型。我怎樣才能建立一個模板類has_call_with_arg<>這樣has_call_with_arg<bar,foo>::value爲真，當且僅當

bar b; 
foo f; 
b(f); 

將彙編？我看着各種相關問題（包括上面提到的），並試圖

template<typename Func, typename Arg> 
class has_call_with_arg 
{ 
    struct bad {}; 
    struct test : Func 
    { 
    template<typename C> 
    bad operator()(C const&r); 
    }; 
public: 
    static const bool value = 
    !std::is_same<bad, typename std::result_of<test(Arg const&)>::type >::value; 
}; 

，但沒有工作（沒有檢測到正確的匹配）。怎麼了？

Answer 1

template<typename sig, typename functor> struct is_callable; 
template<typename Ret, typename... Arg, typename functor> 
struct is_callable<Ret(Arg...), functor> { // partial spec 
private: 
    struct no {}; 
public: 
    template<typename U> static auto f(std::nullptr_t) -> decltype(std::declval<U>()(std::declval<Arg>()...)); 
    template<typename U> static no f(...); 
    static const int value = std::is_convertible<decltype(f<functor>(nullptr)), Ret>::value; 
}; 

我創建該內容for my tutorials，這解釋此特徵的結構（非可變參數形式在前）。

Answer 2

std::result_of<test(Arg const&)>提供模板參數，該參數是函數類型，參考Arg const並返回test。所以它的type是test，不太有幫助。

需要注意的是書面的，需要的代碼

bar b; 
foo f; 
b(f); 

是有效的，真是5個要求：bar和foo每個可訪問的默認構造函數和析構函數，以及b(f)是有效的表達式。我將專注於最後一個（這也許就是你的意思）。如果您確實是指其他部分，則可以使用標準<type_traits>屬性添加這些部分。

功能std::declval非常適合假裝你有一個給定類型的對象，即使你沒有。它絕對不能被調用，所以它通常只用在decltype表達式中。

有兩種基本的方法來拉斷SFINAE技巧的基礎上，兩個地C++允許模板參數推導失敗只是放棄失敗的聲明：

首先，嘗試匹配一類偏專業化：

template<typename Func, typename Arg, typename Enable = void> 
struct has_call_with_arg1 : public std::false_type {}; 

template<typename Func, typename Arg> 
struct has_call_with_arg1<Func, Arg, 
    decltype(std::declval<Func&>()(std::declval<Arg&>()))> 
    : public std::true_type {}; 

其次，至少有一個重載是功能模板時的重載分辨率。 （一類模板的非模板成員函數不會在這裏工作，因爲實例化類需要每個成員的聲明是有效的。）

namespace has_call_with_arg_impl { 
    template<typename F, typename A> 
    std::true_type test(decltype(std::declval<F&>()(std::declval<A&>()))*); 

    template<typename F, typename A> 
    std::false_type test(...); 
} 

template <typename Func, typename Arg> 
struct has_call_with_arg2 
    : public decltype(has_call_with_arg_impl::test<Func,Arg>(nullptr)) {}; 

演示：http://ideone.com/KgRI8y