SFINAE üye fonksiyon varlığı testi sorunu

Question

Bu üye fonksiyon testi vardır:

template <typename T> 
struct has_member { 
    template <typename U> static true_type f(decltype(declval<U>().member()) *); 
    template <typename> static false_type f(...); 
    static const bool value = decltype(f<T>(0))::value; 
}; 

verilen isimdeki üye işlevi vardır zaman fonksiyonu hiçbir götüren bir aşırı vardır durumda, doğru olarak değerlendirilir argümanlar. Bu tür işlevler için ve STL kapsayıcılarında, her zaman yanlış olarak değerlendirdiği eleman erişim işlevleri (ön, arka vb.) Dışında düzgün çalışır.

Neden? Ben mingw g ++ 4.7 var.

Answer 1

Bunun nedeni, bu işlevlerin başvuruları döndürmesidir ve geri dönen değere bir gösterici beyan ediyorsunuz demektir, bu bir referansın göstericisidir ve bu imkansızdır. Hataların Bu tür SFINAE başarısız olduğunda bir hata vermek için derleyici zorlarsanız çözmek için (nispeten) kolay olabilir ve bunu düşünüyorum:

template <typename U> static true_type 
     f(typename remove_reference< decltype(declval<U>().member()) >::type *); 

PS:

hızlı düzeltme olacağını yapmamalı.

Kodunuzda, yalnızca false_type yorumunu yapın ve true_type tek seçenek olduğunda derleyiciden hataları görün. Anlamsız çizgilerin bir buch'i arasında aşağıdakiler vardır:

test.cpp:9:50: error: forming pointer to reference type 
    ‘__gnu_cxx::__alloc_traits<std::allocator<int> >::value_type& {aka int&}’