Przeciążenie operator wyjścia dla tablic

Question

Według this answer, poprawny sposób przeciążać operatora wyjściowego << dla tablic C-Style jest to -:

#include <iostream> 
using namespace std; 

template <size_t arrSize> 
std::ostream& operator<<(std::ostream& out, const char(&arr)[arrSize]) 
{ 
    return out << static_cast<const char*>(arr); // use the original version 
} 

// Print an array 
template<typename T1, size_t arrSize> 
std::ostream& operator <<(std::ostream& out, const T1(& arr)[arrSize]) 
{ 
    out << "["; 
    if (arrSize) 
    { 
     const char* separator = ""; 
     for (const auto& element : arr) 
     { 
      out << separator; 
      out << element; 
      separator = ", "; 
     } 
    } 
    out << "]"; 
    return out; 
} 

int main() 
{ 
    int arr[] = {1, 2, 3}; 
    cout << arr; 
} 

Ale ja wciąż otrzymuję błąd kompilatora

error: ambiguous overload for 'operator<<' (operand types are 'std::ostream {aka std::basic_ostream<char>}' and 'const char [2]') 

dla instrukcji out << "["; i out << "]";.

Jaki jest prawidłowy sposób wykonania tej czynności?

Answer 1

Problemem jest średnia przeciążenie dla operator<< że drukuje tablicę znaków jest to jedno:

template< class CharT, class Traits > 
basic_ostream<CharT,Traits>& operator<<(basic_ostream<CharT,Traits>& os, 
             const char* s); 

Więc gdy podasz swoje:

template <size_t arrSize> 
std::ostream& operator<<(std::ostream& out, const char(&arr)[arrSize]) 

To będzie niejednoznaczna: mamy dwa różne szablony funkcji z identycznymi sekwencjami konwersji, z których żaden nie jest bardziej wyspecjalizowany niż drugi.

Ponieważ jednak chcesz, aby twoja wersja WYŁĄCZNIE nazywała się oryginałem, naprawdę nie ma powodu, aby w ogóle udostępniać swoją wersję. Wystarczy dokonać drukarka „rodzajowe” tablica nie akceptuje char użyciu SFINAE:

// Print an array 
template<typename T1, size_t arrSize, 
     typename = std::enable_if_t<!std::is_same<T1,char>::value>> 
std::ostream& operator <<(std::ostream& out, const T1(& arr)[arrSize]) 
{ /* rest as before */ }