Operador de sobrecarga << para matrices

Question

Quiero sobrecargar operator<< para matrices arbitrarias, de modo que el código cout << my_arr funcionaría. Primero intenté sobrecargar el segundo parámetro de operator<< en const T (&arr)[N], donde T y N son parámetros de plantilla. Pero probar el código reveló un efecto secundario: const char[] también coincide con la especificación de tipo, y la nueva sobrecarga entra en conflicto con la definida en la clase de flujo. Código de ejemplo:

#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 */ 
} 

¿Se puede implementar dicho operador de impresión de matriz?

Answer 1

Claro:

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]) 
{ 
    // ... 
} 

Esto desactivará su sobrecarga cuando T es char usando SFINAE.

Para C++ 03, Boost tiene enable_if y is_same. Alternativamente, solo haga su propia:

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