数组的重载运算符<<

Question

我想为任意数组重载operator<<，这样代码cout << my_arr 就可以工作。首先我尝试在const T (&arr)[N] 上重载operator<< 的第二个参数，其中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

当然：

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