- mongodb - 在 MongoDB mapreduce 中,如何展平值对象?
- javascript - 对象传播与 Object.assign
- html - 输入类型 ="submit"Vs 按钮标签它们可以互换吗?
- sql - 使用 MongoDB 而不是 MS SQL Server 的优缺点
所以,我们都知道 -1 > 2u == true
的 C/C++ 有符号/无符号比较规则,并且我有一种情况,我想有效地实现“正确”比较。
我的问题是,考虑到人们熟悉的尽可能多的架构,哪种方法更有效。显然 Intel 和 ARM 的权重更高。
给定:
int x;
unsigned int y;
if (x < y) {}
推广是不是更好:
x < y => (int64)x < (int64)y
或者执行2次比较更好,即:
x < y => (x < 0 || x < y)
前者意味着零扩展、符号扩展和一个比较+分支,后者不需要符号扩展操作,但需要2个连续的cmp+分支。
传统观点认为分支比符号扩展更昂贵,这两者都会流水线,但在第一种情况下,扩展和单一比较之间存在停顿,而在第二种情况下,我可以想象某些架构可能会流水线化 2 个比较,但随后是2个条件分支?
存在另一种情况,无符号值是比有符号类型更小的类型,这意味着它可以通过对有符号类型的长度进行一次零扩展,然后进行一次比较......在这种情况下,是使用extend+cmp版本更可取,还是2-comparison方法仍然更可取?
英特尔? ARM ?其他的?我不确定这里是否有正确的答案,但我想听听人们的看法。如今,低级性能很难预测,尤其是在 Intel 上,在 ARM 上也越来越多。
编辑:
我应该补充一下,有一个明显的解决方案,其中类型的大小等于架构的 int 宽度;在这种情况下,显然首选 2 比较解决方案,因为促销本身不能有效地执行。显然,我的 int
示例满足 32 位架构的这个条件,您可以将思想实验转换为 short
以进行应用于 32 位平台的练习。
编辑 2:
对不起,我忘记了 -1 > 2u
中的 u
! >_<
编辑 3:
我想修改这种情况,假设比较的结果是一个实际的分支,并且结果不是作为 bool 值返回的。这就是我更喜欢结构外观的方式;尽管这确实提出了一个有趣的观点,即当结果是 bool 值与分支时,还有另一组排列。
int g;
void fun(int x, unsigned in y) { if((long long)x < (long long)y) g = 10; }
void gun(int x, unsigned in y) { if(x < 0 || x < y) g = 10; }
这会产生通常在遇到 if
时隐含的预期分支;)
最佳答案
好吧,您已经正确地描述了这种情况:C/C++ 无法通过单个比较进行完整的有符号整数/无符号整数比较。
如果升级到 int64 比进行两次比较更快,我会感到惊讶。以我的经验,编译器非常善于意识到这样的子表达式是纯粹的(没有副作用),因此不需要第二个分支。 (您也可以使用按位或显式选择退出短路: (x < 0) | (x < y)
。)相比之下,我的经验是编译器往往不会对大于 native 字长的整数进行太多特殊情况优化,因此 (int64)x < (int64)y
很可能实际进行完整的 int 比较。
底线,没有咒语可以保证在任何处理器上产生最好的机器代码,但是对于最常见的处理器上最常见的编译器,我猜两个比较的形式不会比提升到 int64 形式。
编辑:Godbolt 上的一些讨论证实了在 ARM32 上,GCC 在 int64 方法中投入了太多的机器。 VC 在 x86 上做同样的事情。但是,对于 x64,int64 方法实际上缩短了一条指令(因为提升和 64 位比较是微不足道的)。不过,流水线可能会使实际性能变得更糟。 https://godbolt.org/g/wyG4yC
关于c++ - “正确”无符号整数比较,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/44068900/
给定一个字符串,例如 s="##$$$#",我如何找到索引之前的“#”符号数等于“”数的索引$"符号在索引之后? 示例:如果 s="##$$$#",则输出将为 2。 解释:在索引 2 之前我们有 2
在本教程中,您将借助示例了解 JavaScript 符号。 JavaScript 符号 JavaScript ES6 引入了一种新的原始数据类型,称为 Symbol(符号)。符号是不可变的(不能更改)
在“函数编程的工艺”一书中,符号 '>.>' 将函数连接在一起,与 '.' 的方向相反。但是当我使用 ghci 实现它时,它显示了超出范围的错误 '>.>'。为什么?它是不再使用的旧符号吗? 最佳答案
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它,visit the help center 。 已关
我需要从向量中删除 \"。这是我的数据: data <- c("\"https://click.linksynergy.com/link?id=RUxZriH*PWc&offerid=323058.1
我在 Nginx 配置中使用正则表达式来捕获文件 URL,但如果文件 URL 包含 # 符号,正则表达式模式将不会捕获它。 这里是nginx的配置部分。 location ~ ^/p/(?[\w\-=
如何使 & 符号在此图表的第一组条形/列下正确显示: http://jsfiddle.net/VxbrK/2/ 应该是“Apples & Oranges”而不是“Apples & Oranges”。
**在verilog中是什么意思? 我为测试台提供了以下逻辑 localparam NUM_INPUT_BITS = 1; localparam NUM_OUTPUT_BITS
我有一个使用正则表达式来验证电子邮件地址的方法。 public String searchFormail(String searchWord) { Pattern pattern = Patt
我想将一个字符串拆分为数字部分和文本/符号部分我当前的代码不包含负数或小数,并且表现得很奇怪,在输出的末尾添加了一个空列表元素 import re mystring = 'AD%5(6ag 0.33-
我有一些代码需要从数组中选择一个随机字符串,但它一直返回单个字母或数字。如何解决这个问题? var name = ["Yayek", "Vozarut", "Gezex",
我刚开始使用 Python,我在考虑应该使用哪种表示法。我读过 PEP 8关于 Python 符号的指南,我同意那里的大多数内容,除了函数名称(我更喜欢混合大小写风格)。 在 C++ 中,我使用匈牙利
在用 C# 编写代码时,我错误地在 if 语句中的变量前添加了一个符号(而不是感叹号)。 bool b = false; if (@b) { } 我很惊讶它编译成功,没有任何错误。 我想知道:上面的代
本文实例为大家分享了特殊字符替换电话号码中某一部分的方法,ios利用-号替换电话号码中间四位,供大家参考,具体内容如下 1、效果图 2、代码 rootviewcontroll
当我使用“x”和“z”作为符号时,这段代码没有问题: from sympy import * x, z = symbols('x z') y = -6*x**2 + 2*x*z**0.5 + 50*x
我需要从文本中删除标点符号: data <- "Type the command AT&W enter. in order to save the new protocol on modem;"
我有几个数字是 numeric 类。下面的例子。 df = c(12974,12412,124124,124124,34543,4576547,32235) 现在我想在每个数字前添加 '$' 符号而不
我有一个 highcharts 图例,其中符号以不同的大小显示,因为它们在实际图表中的大小不同。不幸的是,当数据点的大小增加时,它们也会在图例中增加。无论数据点大小如何,我都希望图例符号保持相同的大小
我需要使用包含平均值+-SD的标题。到目前为止,我只能得到以下信息: "Mean +- SD or N (%)" [1] "Mean +- SD or N (%)" 如何直接使用“+-”符号?您知道一
使用 XSLT 和 XPath 1.0,我有一个要转义的字符串以用于 URL,例如: one word & another 因此,描述元素的 text() 应该进行 URL 转义。 我该怎么做
我是一名优秀的程序员,十分优秀!