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

Сегодня я подумал, что было бы неплохо перегрузить operator<< для массивов в стиле C:

template<typename T, size_t N>
std::ostream& operator<<(std::ostream& os, T(&a)[N])
{
    os << '{' << a[0];
    for (size_t i = 1; i < N; ++i)
    {
        os << ',' << ' ' << a[i];
    }
    os << '}';
    return os;
}

int main()
{
    int numbers[] = {2, 3, 5, 7, 11, 13, 17, 19};
    std::cout << numbers << '\n';
}

Действительно, это хорошо печатает {2, 3, 5, 7, 11, 13, 17, 19}. Однако, предоставив эту перегрузку, я больше не могу печатать строковые литералы:

    std::cout << "hello world\n";

error: ambiguous overload for 'operator<<' in 'std::cout << "hello world\012"'
note: candidates are:

note: std::basic_ostream<_CharT, _Traits>::__ostream_type&
std::basic_ostream<_CharT, _Traits>::operator<<(long int) [with _CharT = char, _
Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_
type = std::basic_ostream<char>] <near match>

note:   no known conversion for argument 1 from 'const char [13]' to 'long int'

Это действительно озадачивает. Почему компилятор даже рассматривает перегрузку long int, если нет никакого преобразования из const char[13] в long int?

Вариации этого сообщения об ошибке появляются для long unsigned int, short int, short unsigned int, int, unsigned int, long long int и long long unsigned int.

(Другие кандидаты - const void*, const char* и const _CharT*, и мой собственный шаблон.)


Я решил проблему, предоставив шаблон только для несимвольных типов:

template<typename T, size_t N>
typename std::enable_if<
    !std::is_same<typename std::remove_cv<T>::type, char>::value,
std::ostream&>::type operator<<(std::ostream& os, T(&a)[N])

Но я все еще озадачен вопросом, почему компилятор рассматривал числовые типы как кандидатов.

12
задан fredoverflow 29 January 2012 в 10:55
поделиться