重載算子<<對於數組

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