jjzjj

c++ - "I just can not understand DR 712"的延续

coder 2024-02-09 原文

这基本上是关于 DR 712 的 my prior question 的延续。让我首先解释一下为什么我坚持要看一些可以被认为是旧的东西，作为 C++11 标准，但我的问题是部分 [basic .def.odr] 在 C++11 中已经很难理解了，我想在深入研究当前草案中的同一部分之前完全介绍这一点，在我看来，这更复杂。

Austing Hasting s 对我之前的问题的回答很好，但我在 C++11 的 [basic.def.odr]/2 中仍有一点不清楚。考虑这个非常简单的小例子:

const int i = 1;
int main()
{
    int j = i;
}

C++11 中的 [basic.def.odr]/2 i 在 int 中不 odr-used j = i; 因为 i 是满足出现在常量表达式中的对象，左值到右值的转换会立即应用于 i .这对我来说意义不大，因为在声明 int j = i; 中清楚地使用了 i，正如在略微修改的代码中所示 here ，我强制变量 i 不从编译代码中优化。

当然，我上面的推理肯定有问题，因为我不相信 C++11 在这么简单的例子中会出错。再一次，我现在错过了什么？？？

最佳答案

我试图将我对标准语“使用”和“使用一个定义规则”的理解转化为更直观的东西。 “已使用”和“ODR-已使用”以外的术语不打算作为以下标准定义的术语。

被 ODR 使用的东西基本上意味着“我们需要它有一个身份”。这通常意味着有人正在引用或指向它。

如果您只需要某物的值，这并不总是让它被 ODR 使用。编译时常量的值不需要标识。

在 C++ 中，身份基本上意味着“它实际上必须在某处存储”。

该标准没有说“如果我们需要它具有身份，则使用 ODR”，因为不同的编译器将有不同的规则来确定它们是否需要身份。例如，如果一个操作是内联的并且省略了引用，这是否意味着它不再需要标识？

因此该标准描述了 ODR-used 的含义，并将其与正在使用的值区分开来。

int j = i;

这不需要 i 的标识。它只需要它的值(value)。 const int i = 1; 有一个不能(在定义的行为下)改变的值。

int const* pj = &i;

这确实需要一个身份。指向 i 的两个不同指针必须在标准下同意 i 的位置。

void foo( const int& x ) {
  int j = x;
}
foo(i);

这还需要 i 的标识。我们引用 i。尽管我们唯一做的就是引用它的值，但该引用的(简短的、理论上的)存在意味着它有一个身份。

const int a = 3; const int b = 4;
int i = (a<2)?a:b;

存在的缺陷是这需要 a 和 b 具有身份(它们使用 ODR)，因为 ? 的交互> 使用规则。缺陷是说“我们应该解决这个问题”。

Link to DR 712

并且在该解析之后，该表达式只需要 a 和 b 的值，而不需要它们的标识，因此它们不需要存储。

我们关心某些东西是否有存储空间，因为需要存储空间的东西必须有一个独特的定义点。基本上，它们不能纯粹存在于头文件中。

请注意，对于 C++17 中的内联变量，我们可能不太关心这一点；在 as-if 规则下，如果没有人真正注意身份，则创建的内联存储位置可以从存在中删除。由于采用 const& 的函数可能会“意外地”对旨在成为纯值标记的事物强制执行身份要求，这是对规则的一种很好的放宽。

关于c++ - "I just can not understand DR 712"的延续，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/42534495/

ampunderstandcode的sectionc++c++11language-lawyerone-definition-rule

有关c++ - "I just can not understand DR 712"的延续的更多相关文章

  1. ruby-on-rails - rails : "missing partial" when calling 'render' in RSpec test - 2

    我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身，new.html.erb，有代码:当我运行rspec时，它失败了:1)messages/new.html.erbshou

  2. ruby-on-rails - 由于 "wkhtmltopdf"，PDFKIT 显然无法正常工作 - 2

    我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-

  3. ruby - 检查 "command"的输出应该包含 NilClass 的意外崩溃 - 2

    为了将Cucumber用于命令行脚本，我按照提供的说明安装了arubagem。它在我的Gemfile中，我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作，我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了，但失败的原因是错误的:@announceScenario:Testingcucumber/ar

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

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

  5. ruby-on-rails - 迷你测试错误 : "NameError: uninitialized constant" - 2

    我遵循MichaelHartl的“RubyonRails教程:学习Web开发”，并创建了检查用户名和电子邮件长度有效性的测试(名称最多50个字符，电子邮件最多255个字符)。test/helpers/application_helper_test.rb的内容是:require'test_helper'classApplicationHelperTest在运行bundleexecraketest时，所有测试都通过了，但我看到以下消息在最后被标记为错误:ERROR["test_full_title_helper",ApplicationHelperTest,1.820016791]test

  6. ruby-on-rails - 相关表上的范围为 "WHERE ... LIKE" - 2

    我正在尝试从Postgresql表(table1)中获取数据，该表由另一个相关表(property)的字段(table2)过滤。在纯SQL中，我会这样编写查询:SELECT*FROMtable1JOINtable2USING(table2_id)WHEREtable2.propertyLIKE'query%'这工作正常:scope:my_scope,->(query){includes(:table2).where("table2.property":query)}但我真正需要的是使用LIKE运算符进行过滤，而不是严格相等。然而，这是行不通的:scope:my_scope,->(que

  7. 使用 ACL 调用 upload_file 时出现 Ruby S3 "Access Denied"错误 - 2

    我正在尝试编写一个将文件上传到AWS并公开该文件的Ruby脚本。我做了以下事情:s3=Aws::S3::Resource.new(credentials:Aws::Credentials.new(KEY,SECRET),region:'us-west-2')obj=s3.bucket('stg-db').object('key')obj.upload_file(filename)这似乎工作正常，除了该文件不是公开可用的，而且我无法获得它的公共(public)URL。但是当我登录到S3时，我可以正常查看我的文件。为了使其公开可用，我将最后一行更改为obj.upload_file(file

  8. ruby - 安装 Ruby 时遇到问题(无法下载资源 "readline--patch") - 2

    当我尝试安装Ruby时遇到此错误。我试过查看this和this但无济于事➜~brewinstallrubyWarning:YouareusingOSX10.12.Wedonotprovidesupportforthispre-releaseversion.Youmayencounterbuildfailuresorotherbreakages.Pleasecreatepull-requestsinsteadoffilingissues.==>Installingdependenciesforruby:readline,libyaml,makedepend==>Installingrub

  9. ruby - RVM "ERROR: Unable to checkout branch ."单用户 - 2

    我在新的Debian6VirtualBoxVM上安装RVM时遇到问题。我已经安装了所有需要的包并使用下载了安装脚本(curl-shttps://rvm.beginrescueend.com/install/rvm)>rvm，但以单个用户身份运行时bashrvm我收到以下错误消息:ERROR:Unabletocheckoutbranch.安装在这里停止，并且(据我所知)没有安装RVM的任何文件。如果我以root身份运行脚本(对于多用户安装)，我会收到另一条消息:Successfullycheckedoutbranch''安装程序继续并指示成功，但未添加.rvm目录，甚至在修改我的.bas

  10. ruby - 如何关闭 ruby​​ gem "Spreadsheet?"中的文件 - 2

    下面的代码在我第一次运行它时就可以正常工作:require'rubygems'require'spreadsheet'book=Spreadsheet.open'/Users/me/myruby/Mywks.xls'sheet=book.worksheet0row=sheet.row(1)putsrow[1]book.write'/Users/me/myruby/Mywks.xls'当我再次运行它时，我会收到更多消息，例如:/Library/Ruby/Gems/1.8/gems/spreadsheet-0.6.5.9/lib/spreadsheet/excel/reader.rb:11

随机推荐