重载数组的输出运算符

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 使您的 "generic" 阵列打印机不接受 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 */ }

重载数组的输出运算符

Overloading output operator for arrays

c++

arrays

templates

pretty-print