Wie SFINAE out non-Container-Parameter

Question

Ich habe eine Template-Funktion, die ich nur für Standard-Container (oder Container kompatibel mit Standard-Containern, die mindestens eine begin() Member-Funktion bieten). Ich SFINAE-ing aus Nicht-Container auf folgende Weise:

template<typename Container> 
typename Container::value_type 
f(const Container& c, 
    typename std::enable_if< 
     std::is_same< 
      decltype(*c.begin()), 
      typename Container::value_type 
     >::value 
    >::type* = nullptr) 
{ 
    // implementation here 
} 

Die std::is_same und decltype nicht zu elegant aussehen. Gibt es dafür einen besseren Weg?

PS: Ich brauche die SFINAE hier, weil ich eine andere Überlastung

template<typename Derived> 
f(const Eigen::MatrixBase<Derived>& A) 

haben und wenn ich f(some_Eigen_matrix) versuchen, die Container Überlastung endet abgeholt, dann spuckt der Compiler einen Fehler, weil der Typ fehlt begin().

Answer 1

Mit void_t können wir nur eine Art Zug machen für begin() und end() mit (und alles, was Sie vielleicht überprüfen möchten, wie typename T::iterator, können Sie einfach auf Anhäufung Ausdrücke halten):

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

template <typename T> 
struct is_std_container<T, 
    void_t<decltype(std::declval<T&>().begin()), 
      decltype(std::declval<T&>().end()), 
      typename T::value_type 
      >> 
    : std::true_type { }; 

Und dann SFINAE nur auf, dass:

template <typename Container> 
typename std::enable_if< 
    is_std_container<Container>::value, 
    typename Container::value_type 
>::type 
f(const Container& c) { .. } 

auch, wenn Sie wirklich wollte, um sicherzustellen, dass begin() Sie wieder ein compa T::iterator (oder zumindest, dass sie Gleichheit gibt), können Sie das auch tun:

void_t< 
    decltype(begin(std::declval<T&>()) == std::declval<typename T::iterator>()) 
>