草庐IT

c++ - 是否将下溢的无符号整数与 -1 进行了明确的比较？

coder 2023-05-31 原文

考虑以下†:

size_t r = 0;
r--;
const bool result = (r == -1);

结果初始化 result 的比较是否具有明确定义的行为？
它的结果 true 是否如我所料？

写这个问答是因为我特别不确定两个因素。
在我的回答中，它们都可以通过使用“关键[ly]”一词来识别。

† 这个例子的灵感来自于计数器无符号时循环条件的方法:
for (size_t r = m.size() - 1; r != -1; r--)

最佳答案 

size_t r = 0;
r--;
const bool result = (r == -1);

严格来说，result 的值是实现定义的。在实践中，几乎可以肯定是 true ;如果有一个实现是 false，我会感到惊讶。 .

r 的值在 r-- 之后是 SIZE_MAX 的值, <stddef.h> 中定义的宏/<cstddef> .

比较r == -1 ，通常的算术转换在两个操作数上执行。通常算术转换的第一步是将积分提升应用于两个操作数。

r是 size_t 类型，实现定义的无符号整数类型。 -1是 int 类型的表达式.

在大多数系统上，size_t至少与 int 一样宽.在这样的系统上，积分提升会导致 r 的值。要么转换为unsigned int或保留其现有类型(如果 size_t 具有与 int 相同的宽度，但转换等级较低，则前者可能发生)。现在左操作数(无符号)至少具有右操作数(有符号)的等级。右操作数转换为左操作数的类型。此转换产生与 r 相同的值，因此相等比较产生 true .

这是“正常”情况。

假设我们有一个实现，其中 size_t是 16 位(假设它是 typedef 的 unsigned short )和 int是 32 位。所以SIZE_MAX == 65535和 INT_MAX == 2147483647 .或者我们可以有一个 32 位的 size_t和一个 64 位 int .我怀疑是否存在任何此类实现，但标准中没有任何内容禁止它(见下文)。

现在比较左侧的类型为 size_t和值(value)65535 .自签名 int可以表示 size_t 类型的所有值，积分促销将值转换为 65535 类型为 int 。两侧==运算符的类型为 int ，所以通常的算术转换无关。该表达式等价于 65535 == -1 ，这显然是 false .

正如我所提到的，这种情况不太可能发生在 size_t 类型的表达式中。 - 但它很容易发生在较窄的无符号类型上。例如，如果 r被声明为 unsigned short , 或 unsigned char ，甚至是普通的 char在对该类型进行签名的系统上，result 的值可能是false . (我说可能是因为 short 甚至 unsigned char 可以具有与 int 相同的宽度，在这种情况下 result 将是 true 。)

在实践中，您可以通过显式进行转换而不是依赖实现定义的常用算术转换来避免潜在问题:

const bool result = (r == (size_t)-1);

或

const bool result = (r == SIZE_MAX);

C++11 标准引用:

  • 5.10 [expr.eq] 等式运算符
  • 5.9 [expr.rel] 关系运算符(指定执行通常的算术转换)
  • 5 [expr] 表达式，第 9 段:常用算术转换
  • 4.5 [conv.prom] 整体促销
  • 18.2 [support.types] size_t

18.2 第 6-7 段:

6 The type size_t is an implementation-defined unsigned integer type that is large enough to contain the size in bytes of any object.

7 [ Note: It is recommended that implementations choose types for ptrdiff_t and size_t whose integer conversion ranks (4.13) are no greater than that of signed long int unless a larger size is necessary to contain all the possible values. — end note ]

所以没有禁止制作size_t比 int 窄.我可以几乎合理地想象一个系统，其中 int是 64 位，但没有单个对象可以大于 232-1 个字节，所以 size_t是 32 位。

关于c++ - 是否将下溢的无符号整数与 -1 进行了明确的比较？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/27405418/

amp43codesizesize_tc++c++11language-lawyerunsigned-integersigned-integer

有关c++ - 是否将下溢的无符号整数与 -1 进行了明确的比较？的更多相关文章

  1. ruby-on-rails - 使用 Ruby on Rails 进行自动化测试 - 最佳实践 - 2

    很好奇，就使用ruby​​onrails自动化单元测试而言，你们正在做什么？您是否创建了一个脚本来在cron中运行rake作业并将结果邮寄给您？git中的预提交Hook？只是手动调用？我完全理解测试，但想知道在错误发生之前捕获错误的最佳实践是什么。让我们理所当然地认为测试本身是完美无缺的，并且可以正常工作。下一步是什么以确保他们在正确的时间将可能有害的结果传达给您？ 最佳答案 不确定您到底想听什么，但是有几个级别的自动代码库控制:在处理某项功能时，您可以使用类似autotest的内容获得关于哪些有效，哪些无效的即时反馈。要确保您的提

  2. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  3. ruby-on-rails - 按天对 Mongoid 对象进行分组 - 2

    在控制台中反复尝试之后，我想到了这种方法，可以按发生日期对类似activerecord的(Mongoid)对象进行分组。我不确定这是完成此任务的最佳方法，但它确实有效。有没有人有更好的建议，或者这是一个很好的方法？#eventsisanarrayofactiverecord-likeobjectsthatincludeatimeattributeevents.map{|event|#converteventsarrayintoanarrayofhasheswiththedayofthemonthandtheevent{:number=>event.time.day,:event=>ev

  4. ruby - 使用 C 扩展开发 ruby​​gem 时，如何使用 Rspec 在本地进行测试？ - 2

    我正在编写一个包含C扩展的gem。通常当我写一个gem时，我会遵循TDD的过程，我会写一个失败的规范，然后处理代码直到它通过，等等......在“ext/mygem/mygem.c”中我的C扩展和在gemspec的“扩展”中配置的有效extconf.rb，如何运行我的规范并仍然加载我的C扩展？当我更改C代码时，我需要采取哪些步骤来重新编译代码？这可能是个愚蠢的问题，但是从我的gem的开发源代码树中输入“bundleinstall”不会构建任何native扩展。当我手动运行rubyext/mygem/extconf.rb时，我确实得到了一个Makefile(在整个项目的根目录中)，然后当

  5. ruby - Ruby 的 Hash 在比较键时使用哪种相等性测试？ - 2

    我有一个围绕一些对象的包装类，我想将这些对象用作散列中的键。包装对象和解包装对象应映射到相同的键。一个简单的例子是这样的:classAattr_reader:xdefinitialize(inner)@inner=innerenddefx;@inner.x;enddef==(other)@inner.x==other.xendenda=A.new(o)#oisjustanyobjectthatallowso.xb=A.new(o)h={a=>5}ph[a]#5ph[b]#nil,shouldbe5ph[o]#nil,shouldbe5我试过==、===、eq?并散列所有无济于事。

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

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

  7. ruby - 检查数组是否在增加 - 2

    这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加？这是我的解决方案，但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife

  8. ruby - 如何进行排列以有效地定制输出 - 2

    这是一道面试题，我没有答对，但还是很好奇怎么解。你有N个人的大家庭，分别是1,2,3,...,N岁。你想给你的大家庭拍张照片。所有的家庭成员都排成一排。“我是家里的friend，建议家庭成员安排如下:”1岁的家庭成员坐在这一排的最左边。每两个坐在一起的家庭成员的年龄相差不得超过2岁。输入:整数N，1≤N≤55。输出:摄影师可以拍摄的照片数量。示例->输入:4，输出:4符合条件的数组:[1,2,3,4][1,2,4,3][1,3,2,4][1,3,4,2]另一个例子:输入:5输出:6符合条件的数组:[1,2,3,4,5][1,2,3,5,4][1,2,4,3,5][1,2,4,5,3][

  9. ruby - 检查字符串是否包含散列中的任何键并返回它包含的键的值 - 2

    我有一个包含多个键的散列和一个字符串，该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么，如果包含，则返回它包含的键的值？例如，对于上面的h和s的例子，输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案

  10. ruby - 即使失败也继续进行多主机测试 - 2

    我已经构建了一些serverspec代码来在多个主机上运行一组测试。问题是当任何测试失败时，测试会在当前主机停止。即使测试失败，我也希望它继续在所有主机上运行。Rakefile:namespace:specdotask:all=>hosts.map{|h|'spec:'+h.split('.')[0]}hosts.eachdo|host|begindesc"Runserverspecto#{host}"RSpec::Core::RakeTask.new(host)do|t|ENV['TARGET_HOST']=hostt.pattern="spec/cfengine3/*_spec.r

随机推荐