- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
TL;博士:我正在使用范围和来自 Ranges library 的相应范围适配器。 .两个系列适配器 std::views::take_while
和 std::views::filter
取一个谓词从输入序列中排除某些元素。为什么take_while
拿个 const
谓词 while filter
才不是?
背景故事
我有一个 std::vector<int>
并想对其进行迭代,但我想在遇到 5
时停止迭代.通过使用范围适配器 std::views::take_while
我可以按如下方式实现:
std::vector<int> v { 8, 2, 5, 6 };
for (int i : v | std::views::take_while([](int i) { return i != 5; })) {
std::cout << "Value: " << i << std::endl;
}
输出:
Value: 8
Value: 2
5
同样,因此循环必须进一步运行一个迭代步骤。我没有找到合适的范围适配器,所以我写了以下有状态的 lambda 表达式:
auto cond = [b = true](int i) mutable {
return b ? b = (i != 5), true : false;
};
这个 lambda 表达式会记住条件
i != 5
违反并返回
false
在下一次通话中。然后我将它传递给
std::views::take_while
如下:
for (int i : v | std::views::take_while(cond)) {
std::cout << "Value: " << i << std::endl;
}
但是,对于上面的代码,编译器抛出了
long error message .由于没发现问题,我仔细查看了
std::views::take_while
的声明。并发现谓词
Pred
必须是
const
.寻找替代方案,我检查了
std::views::filter
的声明.有趣的是,
Pred
不需要是
const
这里。所以我将上面的可变 lambda 传递给范围适配器
std::views::filter
如下:
for (int i : v | std::views::filter(cond)) {
std::cout << "Value: " << i << std::endl;
}
此代码编译并提供所需的输出:
Value: 8
Value: 2
Value: 5
std::views::take_while
const
谓词,而
std::views::filter
才不是?
最佳答案
为什么这是个坏主意
让我们生成一个编译版本,看看它实际做了什么:
struct MutablePredicate {
mutable bool flag = true;
auto operator()(int i) const -> bool {
if (flag) {
flag = (i != 5);
return true;
} else {
return false;
}
}
};
std::vector<int> v = {8, 2, 5, 6};
auto r = v | std::views::take_while(MutablePredicate{});
fmt::print("First: {}\n", r);
fmt::print("Second: {}\n", r);
这打印
{8, 2, 5}
第一次,如愿。然后
{}
第二次。当然,因为我们修改了谓词,所以我们得到了完全不同的行为。这完全打破了这个范围的语义(因为你的谓词不能保持相等性),结果所有类型的操作都完全失败。
take_view
是一个随机访问范围。但是想想当你使用迭代器时会发生什么:
std::vector<int> v = {8, 2, 5, 6};
auto r = v | std::views::take_while(MutablePredicate{});
auto it = r.begin();
it += 2; // this is the 5
assert(it != r.end()); // does not fire, because we're not at the end
assert(it == r.end()); // does not fire, because we're at the end??
这真是太奇怪了,使对此进行推理变得不可能。
simple-view
”进行优化来最小化模板实例化的数量:
V
是
simple-view
如果两者都
V
和
V const
是具有相同迭代器/哨兵类型的范围。对于这些情况,适配器不会同时提供
begin()
和
begin() const
...他们只提供后者(因为在这些情况下没有区别,而且
begin() const
总是有效,所以我们只是这样做)。
simple-view
, 因为
ref_view<vector<int>>
只提供
begin() const
.我们是否将该类型迭代为
const
与否,我们仍然得到
vector<int>::iterator
不在了。
take_while_view
为了支持
begin() const
需要要求
Pred const
是一元谓词,而不仅仅是
Pred
.自
Pred
无论如何都必须保持平等,只要求
Pred const
更简单是一元谓词而不是潜在的支持
begin() /* non-const */
如果只是
Pred
但不是
Pred const
是一元谓词。这不是一个值得支持的有趣案例。
filter_view
不是
const
-iterable,所以不必考虑。它仅用作非
const
,所以没有
Pred const
它必须有意义地将其视为谓词。
auto e = std::ranges::find_if(v, [](int i){ return i == 5; });
if (e != v.end()) {
++e;
}
auto r = std::ranges::subrange(v.begin(), e);
// use r somehow
但是如果你确实需要惰性求值,一种方法是创建你自己的适配器。对于双向+范围,我们可以定义一个哨兵,以便我们匹配迭代器,如果(a)它在底层 View 基的末尾或(b)它不在范围的开头并且前一个迭代器匹配底层 View 的结尾。
.base()
的 View ,因为它只对
and_one
一个适应范围有意义):
template <std::ranges::bidirectional_range V>
requires std::ranges::view<V>
class and_one_view {
V base_ = V();
using B = decltype(base_.base());
class sentinel {
friend and_one_view;
V* parent_ = nullptr;
std::ranges::sentinel_t<V> end_;
std::ranges::sentinel_t<B> base_end_;
sentinel(V* p)
: parent_(p)
, end_(std::ranges::end(*parent_))
, base_end_(std::ranges::end(parent_->base()))
{ }
public:
sentinel() = default;
auto operator==(std::ranges::iterator_t<V> it) const -> bool {
return it == base_end_ ||
it != std::ranges::begin(*parent_) && std::ranges::prev(it) == end_;
}
};
public:
and_one_view() = default;
and_one_view(V b) : base_(std::move(b)) { }
auto begin() -> std::ranges::iterator_t<V> { return std::ranges::begin(base_); }
auto end() -> sentinel { return sentinel(&base_); }
};
出于演示的目的,我们可以使用 libstdc++ 的内部结构进行管道化:
struct AndOne : std::views::__adaptor::_RangeAdaptorClosure
{
template <std::ranges::viewable_range R>
requires std::ranges::bidirectional_range<R>
constexpr auto operator()(R&& r) const {
return and_one_view<std::views::all_t<R>>(std::forward<R>(r));
}
};
inline constexpr AndOne and_one;
现在,因为我们遵守所有库组件的所有语义约束,我们可以只使用适应范围作为范围:
std::vector<int> v = {8, 2, 5, 6};
auto r = v | std::views::take_while([](int i){ return i != 5; })
| and_one;
fmt::print("First: {}\n", r); // prints {8, 2, 5}
fmt::print("Second: {}\n", r); // prints {8, 2, 5} as well
Demo .
关于c++ - 为什么 Ranges 库中的 std::views::take_while 需要 const 谓词?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/67023834/
我正在开发一个小型图书馆,我需要做的一件事是让访问者访问一些数据并返回结果。 在一些较旧的 C++ 代码中,访问者需要声明一个 typedef return_type .例如,boost::stati
我正在尝试使用std:map类型的键和值制作std::any Visual Studio 2017 std::map m("lastname", "Ivanov"); std::cout (m["la
我已经在 C++ 的 map 中声明了一个集合为 std::map> .如何循环访问或打印设定值? 最佳答案 如果你知道如何迭代 std::map或 std::set单独地,您应该可以毫无问题地组合迭
如何循环? 我已经试过了: //----- code std::vector >::iterator it; for ( it = users.begin(); it != users.end();
我有两个用例。 A.我想同步访问两个线程的队列。 B.我想同步两个线程对队列的访问并使用条件变量,因为其中一个线程将等待另一个线程将内容存储到队列中。 对于用例 A,我看到了使用 std::lock_
我正在查看这两种类型特征的文档,但不确定有什么区别。我不是语言律师,但据我所知,它们都适用于“memcpy-able”类型。 它们可以互换使用吗? 最佳答案 不,这些术语不能互换使用。这两个术语都表示
我有以下测试代码,其中有一个参数 fS,它是 ofstream 的容器: #include #include #include #include int
这是这个问题的延续 c++ function ptr in unorderer_map, compile time error 我试图使用 std::function 而不是函数指针,并且只有当函数是
std::unordered_map str_bool_map = { {"a", true}, {"b", false}, {"c", true} }; 我们可以在此映射上使
我有以下对象 std::vector> vectorList; 然后我添加到这个使用 std::vector vec_tmp; vec_tmp.push_back(strDRG); vec_tmp.p
为什么 std::initializer_list不支持std::get<> , std::tuple_size和 std::tuple_element ?在constexpr中用得很多现在的表达式,
我有一个像这样定义的变量 auto drum = std::make_tuple ( std::make_tuple ( 0.3f , Ex
假设我有一个私有(private)std::map在我的类(class)里std::map 。我怎样才能将其转换为std::map返回给用户?我想要下面的原型(prototype) const std
假设我有一个私有(private)std::map在我的类(class)里std::map 。我怎样才能将其转换为std::map返回给用户?我想要下面的原型(prototype) const std
问题 我正在尝试将 lambda 闭包传递给 std::thread,它使用任意封闭参数调用任意封闭函数。 template std::thread timed_thread(Function&& f
我想创建一个模板类,可以容纳容器和容器的任意组合。例如,std::vector或 std::map ,例如。 我尝试了很多组合,但我必须承认模板的复杂性让我不知所措。我编译的关闭是这样的: templ
我有一个 std::vector>我将其分配给相同类型的第二个 vector 。 我收到这个编译器错误: /opt/gcc-8.2.0/include/c++/8.2.0/bits/stl_algob
有时候,我们有一个工厂可以生成一个 std::unique_ptr vector ,后来我们想在类/线程/你命名的之间共享这些指针。因此,最好改用 std::shared_ptr 。当然有一种方法可以
这个问题在这里已经有了答案: Sorting a vector of custom objects (14 个答案) 关闭 6 年前。 我创建了一个 vector vector ,我想根据我定义的参
我有三个类(class)成员: public: std::vector > getObjects(); std::vector > getObjects() const; privat
我是一名优秀的程序员,十分优秀!