는 Sfinae는 0 또는 1 매개 변수 중 하나와 기능에

Question

는 다음 두 선언을 고려 (인수의 유형에 관계없이)? 당신에게 도움이 될 수

Answer 1

다음 특성 :

#include <type_traits> 
#include <functional> 

template <typename T> 
struct arity : public arity<decltype(&T::operator())> {}; 

template <typename C, typename Ret, typename... Args> 
struct arity<Ret(C::*)(Args...) const> : 
    std::integral_constant<std::size_t, sizeof...(Args)> 
{ 
}; 

// Do the same for other (11) combination of volatile, const, reference method. 

// function pointer 
template<class R, class... Args> 
struct arity<R(*)(Args...)> : public arity<R(Args...)> 
{}; 

template<class R, class... Args> 
struct arity<R(Args...)> : std::integral_constant<std::size_t, sizeof...(Args)> 
{ 
}; 

그리고

template <class Function, 
      class = typename std::enable_if<arity<typename std::remove_reference<Function>::type>::value == 0>::type> 
void apply(Function&& function);