我想创建一个重载运算符<lt;其仅由容器(阵列/矢量(使用。
我有以下模板:
namespace reachability {
template <typename Container>
ostream& operator<<(ostream& out, const is_container<Container>(&container)) {
string result = "{";
for (values_t elem : container) {
result += std::string(elem) + ",";
}
std::operator<<(out, result.substr(0, result.length() - 1) + "}");
return out;
}
struct values_t {
string type;
operator std::string() const { return type; }
};
template<typename T, typename _ = void>
struct is_container : std::false_type {};
template<typename... Ts>
struct is_container_helper {};
template<typename T>
struct is_container<
T,
std::conditional_t<
false,
is_container_helper<
typename T::value_type,
typename T::size_type,
typename T::allocator_type,
typename T::iterator,
typename T::const_iterator,
decltype(std::declval<T>().size()),
decltype(std::declval<T>().begin()),
decltype(std::declval<T>().end()),
decltype(std::declval<T>().cbegin()),
decltype(std::declval<T>().cend())
>,
void
>
> : public std::true_type{};
}
它用于:
reachability::values_t vals[5];
int main(int argc, char** argv)
{
vals[0].type = "zoo";
vals[1].type = "foo";
vals[2].type = "loo";
vals[3].type = "koo";
vals[4].type = "moo";
/*elements_t elems = { space::half };*/
reachability::operator<<(cout, vals);
return 0;
}
然而,我得到了一个错误,即重载运算符的实例都与参数列表不匹配。
如果我将操作员的模板更改为:,我也会遇到同样的问题
ostream& operator<<(ostream& out, const Container (&container)[])
我只是通过做来让它发挥作用
ostream& operator<<(ostream& out, const Container (&container))
如果你想在函数声明时得到编译时错误,而不是在该函数模板的主体被实例化时,你可以通过添加另一个语法经过检查的模板参数来生成SFINAE,如果它没有任何意义,编译器会告诉你,调用时没有匹配的函数:
template <
typename Container,
std::enable_if_t< is_container<Container>::value |
std::is_array_v<Container> >* = nullptr>
ostream& operator<<(ostream& out, const Container&container ) {
正如您所看到的,添加了第二个模板参数,只有当Container
是支持begin
/end
/size
等的类类型或是内置数组类型(T []
(时,它才会是void* = nullptr
(这是有效的语法(。否则,编译器会抱怨无法获取声明type* = nullptr
的type
。
std::vector<reachability::values_t> v;
std::list<reachability::values_t> l;
std::pair<int,int> p;
reachability::operator<<(cout, vals); // OK
reachability::operator<<(cout, v); // OK
reachability::operator<<(cout, l); // OK
reachability::operator<<(cout, p); // Wrong, compile-time error, no match ...
演示
如果要使用定义的is_container
,请使用
template<
typename Container,
std::enable_if_t<is_container<Container>::value, int>= 0>
ostream& operator<<(ostream& out, const Container &container) {}
enable_if_t将从基于布尔CCD_ 10的过载解析中隐藏函数。请注意,您对is_container
的定义将接受集合
std::vector<reachability::values_t> vals(5);
但不是阵列
reachability::values_t vals[5];