数组/向量的C++SFINAE

Question

我想创建一个重载运算符<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)) 

Answer 1

如果你想在函数声明时得到编译时错误，而不是在该函数模板的主体被实例化时，你可以通过添加另一个语法经过检查的模板参数来生成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 ...

---

演示

Answer 2

如果要使用定义的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];