SFINAE檢查是否表達編譯並返回的std :: true_type

Question

我想要得到的std :: true_type如果以下表達式編譯：

template<typename T> 
static constexpr std::true_type check(T*) ?????? 
std::declval<T>().func_name(std::declval<Args>()...) // method to check for 

和std :: false_type否則我通常用做

template<typename> 
static constexpr std::false_type check(...); 

我搜索類似於enable_if的東西，如果表達式編譯，它返回一個常量類型。似乎很容易，但打破我的頭:-)

Answer 1

我個人使用（使用完全簽名）：

#include <cstdint> 

#define DEFINE_HAS_SIGNATURE(traitsName, funcName, signature)    \ 
    template <typename U, typename... Args>         \ 
    class traitsName              \ 
    {                  \ 
    private:                \ 
     template<typename T, T> struct helper;        \ 
     template<typename T>            \ 
     static std::uint8_t check(helper<signature, &funcName>*);   \ 
     template<typename T> static std::uint16_t check(...);    \ 
    public:                 \ 
     static                \ 
     constexpr bool value = sizeof(check<U>(0)) == sizeof(std::uint8_t); \ 
    } 

你的情況

因此，使用這樣的：

DEFINE_HAS_SIGNATURE(has_func_name, T::func_name, void (T::*)(Args...)); 

和測試它喜歡：

struct C 
{ 
    void func_name(char, int); 
}; 

static_assert(has_func_name<C, char, int>::value, "unexpected non declared void C::func_name(char, int)"); 
static_assert(!has_func_name<C, int, int>::value, "unexpected declared void C::func_name(int, int)");