Bu, SFINAE olarak kabul edilir mi?

Question

Bir hafta önce, yalnızca bir sınıf şablonunu yalnızca belirli bir üye işlevine sahip olsaydı nasıl örneklendirebileceğimi soran bir soru sordum. Cevabımda, karmaşık bir çözüm buldum. Ama sonra kendi başıma yapmayı denedim. Ben sadece bu tür bir T türünü anlamaya yetecek kadar 0 parametre alarak f isimli bir fonksiyona sahip olup olmadığını bilmek istedim. this thread?

Answer 1

Yep kadar komplike diğer cevaplar neden

#include <type_traits> 
#include <utility> 

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

template <typename T> 
struct has_f< 
    T, 
    decltype(std::declval<T>().f(), void())> : std::true_type { }; 

template <typename T, typename = typename std::enable_if<has_f<T>::value>::type> 
struct A { }; 

struct B 
{ 
    void f(); 
}; 

struct C { }; 

template class A<B>; // compiles 
template class A<C>; // error: no type named ‘type’ 
        // in ‘struct std::enable_if<false, void>’ 

Eğer öyleyse, sen C++ 11 SFINAE en basit, en deyimsel tarzda bunu çözdük.

Dönüş türünün void olduğunu, nonstatik bir üye olduğunu ve hiçbir parametrenin olmadığını kontrol etmediğinizi unutmayın. f, hiçbir argüman olmadan kolayca çağrılabilir. Bir functor bile olabilir.

, void dönen bir nullary üyesi nonstatic işlev için kontrol Evet, bu SFINAE olduğunu

template <typename T> 
struct has_f<T, decltype(void(static_cast< void (T::*)(void) >(&T::f))) > 
    : std::true_type {}; 

template <typename T> 
struct has_f<T, decltype(void(static_cast< void (T::*)(void) const >(&T::f))) > 
    : std::true_type {};