Come disattivare i parametri non contenitori di SFINAE

Question

Ho una funzione modello che desidero abilitare solo per contenitori standard (o contenitori compatibili con contenitori standard, che forniscono almeno una funzione membro begin()). Sto SFINAE-ing out non-container nel seguente modo:

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 
} 

Il std::is_same e decltype non guardare troppo elegante. C'è un modo migliore per farlo?

PS: bisogno di SFINAE qui perché ho un sovraccarico diverso

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

e ogni volta che provo f(some_Eigen_matrix), il sovraccarico Container finisce per essere raccolto, il compilatore sputa fuori un errore perché il tipo è carente begin().

Answer 1

Utilizzando void_t, possiamo solo fare un tipo di carattere per avere begin() e end() (e qualsiasi altra cosa si potrebbe desiderare di verificare la presenza di, come typename T::iterator, si può solo tenere accumulando espressioni):

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 { }; 

E poi basta SFINAE su quel:

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

Inoltre, se si voleva davvero per verificare che begin() ti dà indietro un compa T::iterator (o almeno che sono l'uguaglianza rable), puoi farlo anche tu:

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