重载数组的输出运算符

Question

根据this answer，C风格数组重载输出操作符<<的正确方法是这样的——：

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

但我仍然收到编译器错误

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

对于out << "["; 和out << "]"; 语句。

这样做的正确方法是什么？

Answer 1

问题是打印字符数组的operator<< 的标准重载是这个：

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

所以当你提供你的：

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

这将是模棱两可的：我们有两个不同的函数模板具有相同的转换序列，没有一个比另一个更专业。

但是，由于您希望您的版本只调用原始版本，因此根本没有理由提供您的版本。只需使用 SFINAE 让您的“通用”阵列打印机不接受 char：

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