如何判断一个类型是否重载了输出操作符

版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/ssss1223ss/article/details/59136836

之前做一个小项目，有段代码使用泛型模板处理各种类型的xml序列化。其中细节要判断类型T是否重载了std::ostream的数据操作符，即实现一个数值型元函数。 代码使用std::void_t，需要编译器支持C++14。

template<typename T, typename = std::void_t<>>
struct IsOverloadOsOperator : std::false_type {};

template<typename T>
struct IsOverloadOsOperator 
            <T, 
            std::void_t<decltype( *(std::ostream *)nullptr << std::declval<T>()) >
            > : std::true_type {};

后记

---

1. void_t很简单，可以自己实现无需依赖c++14。因为csdn markdown对有序列表排版的bug，代码贴在最后。
2. 这里使用了SFINAE特性，主模板的第二个模板类型参数默认值需要与特化版本的一致。
3. 特化版本的第二个参数中不能使用std::declval()， 因为返回xvalue，而operator<<是不会有T&& 类型的重载版本的。

    template<typename...Ts> using void_t = void;