C++17 折语法测试矢量组成

C++17 fold syntax to test vector composition

本文关键字：测试 语法 C++17      更新时间：2023-10-16

向量any的标准C++17实现，all：

template<class C, class T>
bool contains(const C& c, const T& value) {
return std::find(c.begin(), c.end(), value) != c.end();
}
template<class C, class... T>
bool any(const C& c, T&&... value) {
return (... || contains(c, value));
}
template<class C, class... T>
bool all(const C& c, T&&... value) {
return (... && contains(c, value));
}

用于使用

std::array<int, 6> data0 = { 4, 6, 8, 10, 12, 14 };
assert( any(data0, 10, 55, 792));
assert( !any(data0, 11));
assert( all(data0, 6, 14, 8));
assert( !all(data0, 6, 7, 8));

有没有类似的方法来定义only，当且仅当向量的唯一值集与输入值匹配时返回 true？因此，以下断言将成立

std::array<int, 6> data1 = { 1, 1, 2, 1, 2 };
assert( only(data1, 1, 2));
assert( !only(data1, 1));

你可以提供一个count函数：

template<class C, class T>
auto count(const C& c, const T& value) {
return std::count(c.begin(), c.end(), value);
}

并像这样写only：

template<class C, class... T>
bool only(const C& c, T&&... value) {
return (count(c, value) + ...) == c.size();
}

这处理了c中的重复元素，但要求value是唯一的。

这是一个演示。

template<class C, class...Ts>
bool only( C const& c, Ts&&...ts ) {
std::size_t count = (std::size_t(0) + ... + contains(c, ts));
return count == c.size();
}

这将计算列表中有多少个ts...在c中，如果您找到的 ear 数字等于c的元素，则返回 true。 现在，这假设了c和ts的唯一性。

我们只需将计数移动到only并在 std 算法中进行测试：

template<class C, class...Ts>
bool only( C const& c, Ts&&...ts ) {
using std::begin; using std::end;
auto count = std::count_if( begin(c), end(c), [&](auto&& elem) {
return ((elem == ts) || ...);
} );
return count == c.size();
}

鲍勃是你的叔叔。

我们也可以做一个基于notcontains的only算法，但我认为这更复杂。

它不使用折叠表达式，但它应该可以工作

template<class C, class... T>
bool only(const C& c, T&& ...vals) {
auto ilist = {vals...}; //create initializer_list
for (auto el : c) {
if (!contains(ilist, el)) return false;
}
return true;
}

使用折叠表达式而不是std::initializer_list的东西

template<class T, class... Ts>
bool is_one_of(const T& val, Ts&& ...vals)
{
return ((val == vals) || ...);
}
template<class C, class... Ts>
bool only(const C& c, Ts&& ...vals)
{
for (const auto& el : c) {
if (!is_one_of(el, vals...)) return false;
}
return true;
}
// or if you hate raw loops
template<class C, class... Ts>
bool only(const C& c, Ts&& ...vals)
{
using std::beign; using std::end;
auto it = std::find_if(begin(c), end(c), [&](const auto& el) {
return !is_one_of(el, vals...);
});
return (it == end(c));
}
相关文章：