Оператор перегрузки << для массивов

Question

Я хочу перегрузить operator<< для любых массивов, так что код cout << my_arr будет работать. Сначала я попытался перегрузить второй параметр operator<< на const T (&arr)[N], где T и N являются параметрами шаблона. Но тестирование кода показало побочный эффект: const char[] также соответствует спецификации типа, а новая перегрузка конфликтует с той, которая определена в классе потока. Пример кода:

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

Может ли такой оператор печати массива быть реализован?

Answer 1

Sure:

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

Это приведет к отключению от перегрузки, когда T является char с помощью SFINAE.

Для C++ 03, Boost имеет enable_if и is_same. Альтернативно просто сворачивайте самостоятельно:

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