我正在尝试 c++20 的 range 接口(interface),并且我添加了一个构造函数,该构造函数在我的类容器类型中接受一个范围。
class element {
...
};
class myclass {
public:
template <typename Iter>
myclass(Iter first, Iter last)
: els(first, last)
{ }
template <typename Range>
myclass(Range&& r);
private:
std::vector<element> els;
};
迭代器对版本非常简单。在
els_(first, last);
中,如果 Iter 是普通迭代器,则复制元素,如果 Iter 是可移动迭代器(例如 std::move_iterator<>
),则移动元素。如果调用者希望元素移动,则调用者有责任明确地提供可移动迭代器。然而,在范围版本中,虽然我可以检查范围本身是否在右值引用或左值引用中给出,但它无助于检查元素是否可以移动。
假设我们有一个范围生成器
make_range()
,它接受一个容器并返回一个符合范围概念的代理实例。在下面的代码中,构造函数的 Range
在两种情况下都是右值引用,但显然在第二种情况下不应移动元素。std::list<element> list_of_elements{...};
myclass c(std::move(list_of_elements)); // should be moved
std::list<element> list_of_elements_to_be_reused{...};
myclass c(make_range(list_of_elements_to_be_reused)); // should not be moved
如何检查给定范围是否用于复制移动?
最佳答案
你没有。您信任 std::ranges::begin
返回的迭代器,就像您信任迭代器 Iter
做正确的事情一样。你的第二个构造函数可以委托(delegate):
template <std::ranges::Range Range> // Constraints checked with the library concept
myclass(Range&& r) : myclass(std::ranges::begin(std::move(r)), std::ranges::end(std::move(r)))
{}
默认行为是复制,这是明智的。但由于
std::ranges::begin
是一个自定义点对象,它可以通过 ADL 获取用户定义的 begin
重载。对于用户定义的类型,此设置:namespace myns {
class myclass { /* ... */ };
auto begin(std::vector<myclass>&& v) { return std::make_move_iterator(v.begin()); }
auto end(std::vector<myclass>&& v) { /* ... * }
}
当类构造函数传递一个右值 vector 时,将使
std::ranges::begin
调用 myns::begin
。控制行为的是用户定义的类型,这很好。关于c++ - 检查范围的元素是否可以移动?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/56096579/