Operatore di sovraccarico << per gli array

Question

Desidero sovraccaricare lo operator<< per gli array arbitrari, in modo che il codice cout << my_arr funzionasse. Innanzitutto ho provato a sovraccaricare il secondo parametro di operator<< su const T (&arr)[N], dove T e N sono parametri del modello. Ma testare il codice ha rivelato un effetto collaterale: const char[] corrisponde anche alla specifica del tipo e il nuovo overload è in conflitto con quello definito nella classe stream. Esempio codice:

#include <cstddef> 
#include <iostream> 

template<typename T, std::size_t N> 
std::ostream& operator<<(std::ostream& os, const T (&arr)[N]) 
{ 
    /* do stuff */ 
    return os; 
} 

int main() 
{ 
    std::cout << "noooo\n"; /* Fails: ambiguous overload */ 
} 

È possibile implementare un operatore di stampa di array di questo tipo?

Answer 1

Certo:

template<typename T, std::size_t N> 
typename std::enable_if<!std::is_same<T, char>::value, std::ostream&>::type 
operator<<(std::ostream& os, const T (&arr)[N]) 
{ 
    // ... 
} 

Questo disabiliterà il tuo sovraccarico quando T è char utilizzando SFINAE.

Per C++ 03, Boost ha enable_if e is_same. In alternativa, è sufficiente rollare il proprio:

template<class T, class U> struct is_same { 
    enum { value = false }; 
}; 
template<class T> struct is_same<T, T> { 
    enum { value = true }; 
}; 

template<bool, class T> struct enable_if {}; 
template<class T> struct enable_if<true, T> { 
    typedef T type; 
};