假设我们有 2 个常量 A & B 和一个变量 i，都是 64 位整数。我们要计算一个简单的常见算术运算，例如:
i * A / B (1)
为了简化问题，我们假设变量 i 总是在 [INT64_MIN*B/A, INT64_MAX*B/A] 范围内，所以最后算术运算 (1) 的结果不会溢出(即:fits 在 [INT64_MIN, INT64_MAX] 范围内)。
另外，i 被认为更可能在 friendly 范围 Range1 = [INT64_MIN/A, INT64_MAX/A](即:接近 0)，但是 i 可能(不太可能)超出此范围。在第一种情况下，i * A 的简单整数计算不会溢出(这就是我们称范围 friendly 的原因)；在后一种情况下，i * A 的简单整数计算会溢出，导致 (1) 的计算结果错误。
计算操作 (1) 的“最安全”和“最有效”的方式是什么(其中“最安全”的意思是:保持精确性或至少具有不错的精度，而“最有效”的意思是:平均计算时间最短)，前提是 i 更有可能在 friendly 范围 Range1。
目前，代码中目前实现的解决方案如下:
(int64_t)((double)A / B * i)
哪个解决方案非常安全(没有溢出)，但不准确(由于双有效位 53 位限制导致精度损失)并且非常快，因为双除法 (double)A/B 是在编译时预先计算的，只允许在运行时计算双倍乘法。
最佳答案
如果您无法在所涉及的范围上获得更好的界限，那么您最好遵循 iammilind's advice使用 __int128 .
原因是，否则您将必须实现字到双字乘法和逐字除法的完整逻辑。 Intel 和 AMD 处理器手册包含有用的信息和现成的代码，但它涉及到相当多的内容，并且使用 C/C++ 而不是汇编程序会使事情变得更加复杂。
所有优秀的编译器都将有用的原语公开为内在函数。 Microsoft's list似乎不包含类似 muldiv 的原语，但 __mul128 内在函数将 128 位乘积的两半作为两个 64 位整数提供。基于此，您可以执行两位数除以一位数的长除法，其中一位“数字”将是一个 64 位整数(通常称为“肢体”，因为大于一位数但仍然只是整体的一部分)。仍然相当复杂，但比使用纯 C/C++ 好得多。然而，就便携性而言，它并不比使用 __int128 好。直接地。至少这样编译器实现者已经为您完成了所有艰苦的工作。
如果您的应用程序域可以为您提供有用的界限，例如 (u % d) * v不会溢出就可以使用身份了
(u * v) / d = (u / d) * v + ((u % d) * v) / d
在哪里 /表示整数除法，只要 u 是非负数且 d 是正数(否则您可能会违反运算符 % 的语义所允许的余地)。
在任何情况下，您都可能必须分离出操作数的符号并使用无符号运算，以便找到可以利用的更有用的机制 - 或规避编译器的破坏，例如您提到的饱和乘法。有符号整数操作的溢出会调用未定义的行为，编译器可以自由地做任何他们想做的事情。相比之下，无符号类型的溢出是明确定义的。
此外，对于无符号类型，您可以使用 s = a (+) b 之类的规则。 (其中 (+) 可能是溢出的无符号加法)您将拥有 s == a + b或 s < a && s < b ，它可以让您通过廉价的操作在事后检测溢出。
但是，您不太可能在这条道路上走得更远，因为所需的努力很快就会接近(甚至超过)我之前提到的实现双肢手术的努力。只有对应用程序域进行彻底分析才能提供规划/部署此类快捷方式所需的信息。在一般情况下，在你给定的范围内，你几乎不走运。
关于c++ - 计算可能溢出的整数运算的最安全和最有效的方法，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/36826664/
我试图获取一个长度在1到10之间的字符串，并输出将字符串分解为大小为1、2或3的连续子字符串的所有可能方式。例如:输入:123456将整数分割成单个字符，然后继续查找组合。该代码将返回以下所有数组。[1,2,3,4,5,6][12,3,4,5,6][1,23,4,5,6][1,2,34,5,6][1,2,3,45,6][1,2,3,4,56][12,34,5,6][12,3,45,6][12,3,4,56][1,23,45,6][1,2,34,56][1,23,4,56][12,34,56][123,4,5,6][1,234,5,6][1,2,345,6][1,2,3,456][123
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
我正在编写一个小脚本来定位aws存储桶中的特定文件，并创建一个临时验证的url以发送给同事。(理想情况下，这将创建类似于在控制台上右键单击存储桶中的文件并复制链接地址的结果)。我研究过回形针，它似乎不符合这个标准，但我可能只是不知道它的全部功能。我尝试了以下方法:defauthenticated_url(file_name,bucket)AWS::S3::S3Object.url_for(file_name,bucket,:secure=>true,:expires=>20*60)end产生这种类型的结果:...-1.amazonaws.com/file_path/file.zip.A
这里是Ruby新手。完成一些练习后碰壁了。练习:计算一系列成绩的字母等级创建一个方法get_grade来接受测试分数数组。数组中的每个分数应介于0和100之间，其中100是最大分数。计算平均分并将字母等级作为字符串返回，即“A”、“B”、“C”、“D”、“E”或“F”。我一直返回错误:avg.rb:1:syntaxerror,unexpectedtLBRACK,expecting')'defget_grade([100,90,80])^avg.rb:1:syntaxerror,unexpected')',expecting$end这是我目前所拥有的。我想坚持使用下面的方法或.join，
在Ruby中是否有Gem或安全删除文件的方法？我想避免系统上可能不存在的外部程序。“安全删除”指的是覆盖文件内容。 最佳答案 如果您使用的是*nix，一个很好的方法是使用exec/open3/open4调用shred:`shred-fxuz#{filename}`http://www.gnu.org/s/coreutils/manual/html_node/shred-invocation.html检查这个类似的帖子:Writingafileshredderinpythonorruby?
如何将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.你能做的最好的事情是:
项目介绍随着我国经济迅速发展,人们对手机的需求越来越大,各种手机软件也都在被广泛应用,但是对于手机进行数据信息管理,对于手机的各种软件也是备受用户的喜爱小学生兴趣延时班预约小程序的设计与开发被用户普遍使用,为方便用户能够可以随时进行小学生兴趣延时班预约小程序的设计与开发的数据信息管理,特开发了小程序的设计与开发的管理系统。小学生兴趣延时班预约小程序的设计与开发的开发利用现有的成熟技术参考,以源代码为模板,分析功能调整与小学生兴趣延时班预约小程序的设计与开发的实际需求相结合,讨论了小学生兴趣延时班预约小程序的设计与开发的使用。开发环境开发说明：前端使用微信微信小程序开发工具：后端使用ssm：VU
是否可以在PyYAML或Ruby的Psych引擎中禁用创建anchor和引用(并有效地显式列出冗余数据)？也许我在网上搜索时遗漏了一些东西，但在Psych中似乎没有太多可用的选项，而且我也无法确定PyYAML是否允许这样做.基本原理是我必须序列化一些数据并将其以可读的形式传递给一个不是真正的技术同事进行手动验证。有些数据是多余的，但我需要以最明确的方式列出它们以提高可读性(anchor和引用是提高效率的好概念，但不是人类可读性)。Ruby和Python是我选择的工具，但如果有其他一些相当简单的方法来“展开”YAML文档，它可能就可以了。 最佳答案
我正在使用ruby2.1.0我有一个json文件。例如:test.json{"item":[{"apple":1},{"banana":2}]}用YAML.load加载这个文件安全吗？YAML.load(File.read('test.json'))我正在尝试加载一个json或yaml格式的文件。 最佳答案 YAML可以加载JSONYAML.load('{"something":"test","other":4}')=>{"something"=>"test","other"=>4}JSON将无法加载YAML。JSON.load("
我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我