अधिभार ऑपरेटर << सरणी के लिए

Question

मैं operator<< को मनमाने ढंग से सरणी के लिए अधिभारित करना चाहता हूं, जैसे कोड cout << my_arr काम करेगा। सबसे पहले मैंने operator<< के const T (&arr)[N] पर दूसरे पैरामीटर को अधिभारित करने का प्रयास किया, जहां 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]) 
{ 
    // ... 
} 

यह आपके अधिभार को निष्क्रिय कर देगा जब TSFINAE का उपयोग कर char है।

सी ++ 03 के लिए, बूस्ट में 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; 
};