草庐IT

c++ - move 的 vector 总是空的吗？

coder 2023-05-02 原文

我知道通常标准对已从以下位置 move 的值几乎没有要求:

N3485 17.6.5.15 [lib.types.movedfrom]/1:

Objects of types defined in the C++ standard library may be moved from (12.8). Move operations may be explicitly specified or implicitly generated. Unless otherwise specified, such moved-from objects shall be placed in a valid but unspecified state.



我找不到关于 vector 的任何信息明确将其排除在本段之外。但是，我无法提出会导致 vector 不为空的理智实现。

是否有一些标准语言需要我遗漏或类似于 treating basic_string as a contiguous buffer in C++03 ?

最佳答案

我来晚了，并提供了一个额外的答案，因为我认为目前没有任何其他答案是完全正确的。

问题:

Is a moved-from vector always empty?



答案:

通常，但不，并非总是如此。

血腥详情:
vector没有像某些类型那样标准定义的移出状态(例如，unique_ptr 被指定为在移出后等于 nullptr)。然而对vector的要求是这样的，没有太多的选择。

答案取决于我们是否在谈论 vector的 move 构造函数或 move 赋值运算符。在后一种情况下，答案还取决于 vector的分配器。
vector<T, A>::vector(vector&& v)

此操作必须具有恒定的复杂性。这意味着别无选择，只能从 v 窃取资源。构建 *this , 离开 v处于空的状态。无论分配器如何，这都是正确的 A是，也不是什么类型T是。

所以对于 move 构造函数，是的， move 自 vector将永远是空的。这不是直接指定的，但不符合复杂性要求，并且没有其他方法可以实现它。
vector<T, A>&
vector<T, A>::operator=(vector&& v)

这要复杂得多。主要有3种情况:

一:
allocator_traits<A>::propagate_on_container_move_assignment::value == true

( propagate_on_container_move_assignment 评估为 true_type )

在这种情况下， move 赋值运算符将破坏 *this 中的所有元素。 , 使用来自 *this 的分配器释放容量， move 分配分配器，然后从 v 转移内存缓冲区的所有权至 *this .除了 *this 中元素的破坏，这是一个 O(1) 复杂度的操作。通常(例如，在大多数但不是所有 std::algorithms 中)， move 分配的 lhs 具有 empty() == true在 move 任务之前。

注意:在 C++11 中 propagate_on_container_move_assignment为 std::allocator是 false_type ，但这已更改为 true_type对于 C++1y(我们希望 y == 4)。

在第一种情况下，移出 vector将永远是空的。

二:
allocator_traits<A>::propagate_on_container_move_assignment::value == false
    && get_allocator() == v.get_allocator()

( propagate_on_container_move_assignment 评估为 false_type ，并且两个分配器比较相等)

在这种情况下， move 赋值运算符的行为与情况一类似，但有以下异常(exception):
  • 分配器没有 move 分配。
  • 这个案例和案例三之间的决定发生在运行时，案例三需要更多的T ，因此情况二也是如此，即使情况二实际上并没有在 T 上执行那些额外的要求.

    • 在情况二中，搬家 vector将永远是空的。

    三:
    allocator_traits<A>::propagate_on_container_move_assignment::value == false
    && get_allocator() != v.get_allocator()

    ( propagate_on_container_move_assignment 评估为 false_type ，并且两个分配器比较不相等)

    在这种情况下，实现不能 move 分配器，也不能从 v 转移任何资源。至 *this (资源是内存缓冲区)。在这种情况下，实现 move 赋值运算符的唯一方法是有效地:
    typedef move_iterator<iterator> Ip;
assign(Ip(v.begin()), Ip(v.end()));

    即 move 每个个体T来自 v至 *this . assign两者都可以重复使用 capacity和 size在 *this如果可供使用的话。例如，如果 *this有相同的 size如 v实现可以 move 分配每个T来自 v至 *this .这需要 T成为 MoveAssignable .请注意 MoveAssignable不需要 T有一个 move 赋值运算符。复制赋值运算符也足够了。 MoveAssignable只是意味着 T必须可以从右值分配 T .

    如果size的 *this不够，再新T必须在 *this 中构建.这需要 T成为 MoveInsertable .对于我能想到的任何理智的分配器，MoveInsertable归结为与 MoveConstructible 相同的事情，这意味着可以从右值 T 构造(并不意味着存在 T 的 move 构造函数)。

    在第三种情况下，搬家 vector一般不会为空。它可能充满了 move 元素。如果元素没有 move 构造函数，则这可能等同于复制赋值。然而，没有任何东西要求这样做。实现者可以自由地做一些额外的工作并执行 v.clear()如果他愿意，就离开 v空的。我不知道有任何实现这样做，也不知道实现这样做的任何动机。但我没有看到任何禁止它的东西。

    David Rodríguez 报告说 GCC 4.8.1 调用了 v.clear()在这种情况下，离开 v空的。 libc++没有，离开 v不是空的。两种实现都是一致的。

    关于c++ - move 的 vector 总是空的吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/17730689/

    ampvectorcodebrmovec++c++11language-lawyermove-semantics

    有关c++ - move 的 vector 总是空的吗？的更多相关文章

    1. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

      我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

    2. ruby-on-rails - Rails - 乐观锁定总是触发 StaleObjectError 异常 - 2

      我正在学习Rails，并阅读了关于乐观锁的内容。我已将类型为integer的lock_version列添加到我的articles表中。但现在每当我第一次尝试更新记录时，我都会收到StaleObjectError异常。这是我的迁移:classAddLockVersionToArticle当我尝试通过Rails控制台更新文章时:article=Article.first=>#我这样做:article.title="newtitle"article.save我明白了:(0.3ms)begintransaction(0.3ms)UPDATE"articles"SET"title"='dwdwd

    3. ruby - 使用 `+=` 和 `send` 方法 - 2

      如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

    4. ruby - 如何计算 Liquid 中的变量 +1 - 2

      我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我

    5. arrays - Ruby 数组 += vs 推送 - 2

      我有一个数组数组，想将元素附加到子数组。+=做我想做的，但我想了解为什么push不做。我期望的行为(并与+=一起工作):b=Array.new(3,[])b[0]+=["apple"]b[1]+=["orange"]b[2]+=["frog"]b=>[["苹果"],["橙子"],["Frog"]]通过推送，我将推送的元素附加到每个子数组(为什么？):a=Array.new(3,[])a[0].push("apple")a[1].push("orange")a[2].push("frog")a=>[[“苹果”、“橙子”、“Frog”]、[“苹果”、“橙子”、“Frog”]、[“苹果”、“

    6. += 的 Ruby 方法 - 2

      有没有办法让Ruby能够做这样的事情？classPlane@moved=0@x=0defx+=(v)#thisiserror@x+=v@moved+=1enddefto_s"moved#{@moved}times,currentxis#{@x}"endendplane=Plane.newplane.x+=5plane.x+=10putsplane.to_s#moved2times,currentxis15 最佳答案 您不能在Ruby中覆盖复合赋值运算符。任务在内部处理。您应该覆盖+，而不是+=。plane.a+=b与plane.a=

    7. ruby - Sinatra + Heroku + Datamapper 使用 dm-sqlite-adapter 部署问题 - 2

      出于某种原因，heroku尝试要求dm-sqlite-adapter，即使它应该在这里使用Postgres。请注意，这发生在我打开任何URL时-而不是在gitpush本身期间。我构建了一个默认的Facebook应用程序。gem文件:source:gemcuttergem"foreman"gem"sinatra"gem"mogli"gem"json"gem"httparty"gem"thin"gem"data_mapper"gem"heroku"group:productiondogem"pg"gem"dm-postgres-adapter"endgroup:development,:t

    8. ruby - Ruby 中字符串运算符 + 和 << 的区别 - 2

      我是Ruby和这个网站的新手。下面两个函数是不同的，一个在函数外修改变量，一个不修改。defm1(x)x我想确保我理解正确-当调用m1时，对str的引用被复制并传递给将其视为x的函数。运算符当调用m2时，对str的引用被复制并传递给将其视为x的函数。运算符+创建一个新字符串，赋值x=x+"4"只是将x重定向到新字符串，而原始str变量保持不变。对吧？谢谢 最佳答案 String#+::str+other_str→new_strConcatenation—ReturnsanewStringcontainingother_strconc

    9. ruby - rails 3.2.2(或 3.2.1)+ Postgresql 9.1.3 + Ubuntu 11.10 连接错误 - 2

      我正在使用PostgreSQL9.1.3(x86_64-pc-linux-gnu上的PostgreSQL9.1.3，由gcc-4.6.real(Ubuntu/Linaro4.6.1-9ubuntu3)4.6.1，64位编译)和在ubuntu11.10上运行3.2.2或3.2.1。现在，我可以使用以下命令连接PostgreSQLsupostgres输入密码我可以看到postgres=#我将以下详细信息放在我的config/database.yml中并执行“railsdb”，它工作正常。开发:adapter:postgresqlencoding:utf8reconnect:falsedat

    10. ruby - 在 Ruby + Chef 中检查现有目录失败 - 2

      这是我在ChefRecipe中的一blockRuby:#ifdatadirdoesn'texist,moveoverthedefaultoneif!File.exist?("/vol/postgres/data")execute"mv/var/lib/postgresql/9.1/main/vol/postgres/data"end结果是:Executingmv/var/lib/postgresql/9.1/main/vol/postgres/datamv:inter-devicemovefailed:`/var/lib/postgresql/9.1/main'to`/vol/post

    随机推荐