Korzystanie SFINAE wykryć członkiem funkcję

Question

w C++ 11, aby dowiedzieć się, czy dana klasa posiada funkcję składową size, można zdefiniować następujące testy pomocnika:

template <typename T> 
struct has_size_fn 
{ 
    typedef char (& yes)[1]; 
    typedef char (& no)[2]; 

    template <typename C> static yes check(decltype(&C::size)); 
    template <typename> static no check(...); 

    static bool const value = sizeof(check<T>(0)) == sizeof(yes); 
}; 

Czy istnieje podobny trick robi to w C++ 98 bez polegania na rozszerzeniach kompilatorów, takich jak typeof?

Answer 1

Właściwie Twój wykrywania potencjalnie błędne.

Problemem jest to, że wszystko, co wykryły, że C ma człon size:

• może to być atrybut
• może to być metoda z cokolwiek podpis
• nie może być nawet kilka metody (z różnymi sygnaturami)

Jeśli chcesz wzmocnić wykrywanie, powinieneś spróbować wykryć tylko prawosize (niezależnie od tego, jakie jest prawo). Here is such a hardened detection.

template <typename T> 
class has_size { 
private: 
    typedef char Yes; 
    typedef Yes No[2]; 

    template <typename U, U> struct really_has; 

    template <typename C> static Yes& Test(really_has <size_t (C::*)() const, 
             &C::size>*); 

    // EDIT: and you can detect one of several overloads... by overloading :) 
    template <typename C> static Yes& Test(really_has <size_t (C::*)(), 
             &C::size>*); 

    template <typename> static No& Test(...); 

public: 
    static bool const value = sizeof(Test<T>(0)) == sizeof(Yes); 
}; 

Edit:with overloads.

Sztuczka polegająca na użyciu nieprawidłowych elementów size to struktura really_has. Robię nie udaje, że jest doskonały, choć ...

w C++ 11, things are simpler (choć nie mniej gadatliwy), ponieważ można wykryć rzeczy przez użytku bezpośrednio. Równowartość cecha jest tak:

template <typename T> 
class has_size { 
private: 
    typedef char Yes; 
    typedef Yes No[2]; 

    template<typename C> static auto Test(void*) 
    -> decltype(size_t{std::declval<C const>().size()}, Yes{}); 

    template<typename> static No& Test(...); 

public: 
    static bool const value = sizeof(Test<T>(0)) == sizeof(Yes); 
}; 

jednak zalecana metoda w C++ jest nie używać cech jeśli możesz; w funkcjach można na przykład użyć decltype bezpośrednio w podpisie typu.

Answer 2

Tak:

char (*)[sizeof(&C::size)]