之前做一个小项目,有段代码使用泛型模板处理各种类型的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 {};
后记
- void_t很简单,可以自己实现无需依赖c++14。因为csdn markdown对有序列表排版的bug,代码贴在最后。
- 这里使用了SFINAE特性,主模板的第二个模板类型参数默认值需要与特化版本的一致。
- 特化版本的第二个参数中不能使用std::declval(), 因为返回xvalue,而operator<<是不会有T&& 类型的重载版本的。
template<typename...Ts> using void_t = void;