草庐IT

c++ - 这篇关于shared_ptr的use_count()的Standardese是什么意思？

coder 2023-05-03 原文

在试图解决 this question 中显示的问题时我发现自己陷入了 [util.smartptr.shared]/4 中的以下句子:

[...] Changes in use_count() do not reflect modifications that can introduce data races.

我不明白我应该怎么读，我会得出什么结论。 以下是一些解释:

  • 调用 use_count() 不会引入数据竞争(但这应该由该函数的 const-ness 以及相应的库范围保证来保证)
  • use_count() 返回的值不受(“不反射(reflect)”？)需要原子性或同步的操作结果的影响(但这些相关操作是什么？)
  • use_count() 以原子方式执行，但不会阻止 CPU 或编译器重新排序(即没有顺序一致性，但为什么不提及特定模型？)

对我来说，上面的内容似乎都不是从那句话中得出的，我在试图解释它时不知所措。

最佳答案

当前措辞来自图书馆 issue 896 ，它还解决了 shared_ptr 是否应该是线程安全的问题，因为可以从不同的线程同时进行。该讨论的结论是 shared_ptr 应该是线程安全的；保证这一点的机制是假装 shared_ptr 成员函数只访问 shared_ptr 对象本身，而不是它的堆上控制 block :

For purposes of determining the presence of a data race, member functions access and modify only the shared_ptr and weak_ptr objects themselves and not objects they refer to.

这里“他们所指的对象”是指控制 block 。

然而，这引发了一个问题；如果我们假设拥有相同对象的不同 shared_ptr 不访问控制 block ，那么 use_count() 肯定不能改变吗？通过使 use_count() 成为一个可以凭空产生结果的魔术函数来解决这个问题:

Changes in use_count() do not reflect modifications that can introduce data races.

也就是说，use_count() 可以从一个调用更改为下一个调用，但这并不意味着发生了数据争用(或潜在的数据争用)。从这句话的前面的措辞来看，这可能更清楚:

[Note: This is true in spite of that fact that such functions often modify use_count() --end note]

关于c++ - 这篇关于shared_ptr的use_count()的Standardese是什么意思？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/28113769/

Standardeseshared_ptrcodeuse_countblockquotec++c++11shared-ptrlanguage-lawyerc++14

有关c++ - 这篇关于shared_ptr的use_count()的Standardese是什么意思？的更多相关文章

  1. ruby-on-rails - rails : keeping DRY with ActiveRecord models that share similar complex attributes - 2

    这似乎应该有一个直截了当的答案，但在Google上花了很多时间，所以我找不到它。这可能是缺少正确关键字的情况。在我的RoR应用程序中，我有几个模型共享一种特定类型的字符串属性，该属性具有特殊验证和其他功能。我能想到的最接近的类似示例是表示URL的字符串。这会导致模型中出现大量重复(甚至单元测试中会出现更多重复)，但我不确定如何让它更DRY。我能想到几个可能的方向...按照“validates_url_format_of”插件，但这只会让验证干给这个特殊的字符串它自己的模型，但这看起来很像重溶液为这个特殊的字符串创建一个ruby​​类，但是我如何得到ActiveRecord关联这个类模型

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

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

  3. ruby-on-rails - Rails 应用程序中的 Rails : How are you using application_controller. rb 是新手吗？ - 2

    刚入门rails，开始慢慢理解。有人可以解释或给我一些关于在application_controller中编码的好处或时间和原因的想法吗？有哪些用例。您如何为Rails应用程序使用应用程序Controller？我不想在那里放太多代码，因为据我了解，每个请求都会调用此Controller。这是真的？ 最佳答案 ApplicationController实际上是您应用程序中的每个其他Controller都将从中继承的类(尽管这不是强制性的)。我同意不要用太多代码弄乱它并保持干净整洁的态度，尽管在某些情况下ApplicationContr

  4. ruby-on-rails - 如何重构 "shared"方法？ - 2

    我正在使用RubyonRails3.2.2，我想从我的模型/类中“提取”一些方法。也就是说，在不止一个类/模型中，我有一些方法(注意:方法与用户授权相关，并被命名为“CRUD方式”)，这些方法实际上是相同的；所以我认为DRY方法是将这些方法放在“共享”模块或类似的东西中。实现该目标的常见且正确的方法是什么？例如，我应该将“共享”代码放在哪里(在哪些目录和文件中)？如何在我的类/模型中包含提到的方法？你有什么建议？注意:我正在寻找“RubyonRails制作东西的方式”。 最佳答案 一种流行的方法是使用ActiveSupport关注点

  5. 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.你能做的最好的事情是:

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

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

  7. ruby - Chef : Read variable from file and use it in one converge - 2

    我有以下代码，它下载一个文件，然后将文件的内容读入一个变量。使用该变量，它执行一个命令。这个配方不会收敛，因为/root/foo在编译阶段不存在。我可以通过多个聚合和一个来解决这个问题ifFile.exist但我想用一个收敛来完成它。关于如何做到这一点有什么想法吗？execute'download_joiner'docommand"awss3cps3://bucket/foo/root/foo"not_if{::File.exist?('/root/foo')}endpassword=::File.read('/root/foo').chompexecute'join_domain'd

  8. 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”]、[“苹果”、“

  9. ruby-on-rails - 关于 Ruby 的一般问题 - 2

    我在我的rails应用程序中安装了来自github.com的acts_as_versioned插件，但有一段代码我不完全理解，我希望有人能帮我解决这个问题class_eval我知道block内的方法(或任何它是什么)被定义为类内的实例方法，但我在插件的任何地方都找不到定义为常量的CLASS_METHODS，而且我也不确定是什么here，并且有问题的代码从lib/acts_as_versioned.rb的第199行开始。如果有人愿意告诉我这里的内幕，我将不胜感激。谢谢-C 最佳答案 这是一个异端。http://en.wikipedia

  10. += 的 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=

随机推荐