使用迭代器访问 vector<std::unique_ptr > 的元素<T>?

Access elements of vector<std::unique_ptr<T> > using an iterator?

本文关键字:gt lt 元素 ptr std 迭代器 访问 vector unique      更新时间:2023-10-16

我有一个类成员变量

vector<std::unique_ptr<T> > v;

和一个成员函数,其中我想使用vunique_ptr元素,由iterator参数"寻址"。哪一个更好?

void mem_fun(vector<std::unique_ptr<T> >::iterator it) {
    std::unique_ptr<T> p;
    p = std::move(*it);
    ...
}

void mem_fun(vector<std::unique_ptr<T> >::iterator it) {
    std::unique_ptr<T>& p = *it;
    ...
}

据我所知,第二种方式似乎有点违反了unique_ptr的"唯一性"。但是std::move()能移动*it吗?BTW,谁真正拥有unique_ptr指针、类、成员向量、任何成员函数,或者其他什么?

Herb Sutter的这篇文章包含了回答您问题的知识。

unique_ptr实际上定义了一个"所有权证书"。此所有权是不可复制的。当您moveunique_ptr时,这将有效地销毁存储在"vector"中的证书。

因此,vector<unique_ptr<T>>拥有Ts。

当您只想用T做一些事情时,您应该将您的函数声明为

void mem_fun(T& t) { ... }

并将取消引用委托给另一个函数:

template<typename It, typename F>
void foreach_deref(It from, It to, F f) {
    std::for_each(from, to, [&](decltype(*from) &pt) {
         f(*pt);
    }
}

并使用它调用您的成员函数:

foreach_deref(begin(v), end(v), [&](T& t) { mem_fun(t); });

第一个版本拥有unique_ptr目标的所有权,并将向量留给空的unique_ptr s。这不太可能是您想要的。第二个版本令人困惑。如果您只想在不影响所有权的情况下访问unique_ptr管理的对象,只需使用引用运算符:

(*it)->someMethodOfT();

这里,去引用(*it)是对迭代器的去引用,而->是对unique_ptr的去引用。

记住:unique_ptr的"唯一性"是指其所有权。没有什么可以说托管对象不能被许多非所有者访问。但是,由您决定谁拥有所有权,这取决于您的应用程序的要求。

p = std::move(*it);

这意味着,p现在拥有*it以前拥有的东西,而*it不再拥有它(*(。

事实上,此后使用*it可能会导致未定义的行为,因为它已从中移出。

*it后面的unique_ptr由矢量所有。所以实际上你改变了向量。我认为这不是你想要的,所以最好使用参考版本。

[…]第二种方式似乎有点违反了"唯一性"[…]

在这种情况下,唯一性意味着对象的单个所有者。当然,您可能有多个对该对象所有者(即指针(的引用。


(*(这也意味着当p超出作用域时,对象将被销毁和释放。(除非您从p移动到某个地方(