x86架构下能否实现指令数与==相当的全1返回型相等判断运算符？

完全懂这种纯理论折腾的乐趣——毕竟有时候抠这些看似没用的底层细节，反而能把指令集和语言设计的逻辑摸得更透。

x86架构的核心限制 #

先说说你关注的x86平台：C语言里的==运算符，编译后通常是先用CMP指令比较两个操作数，然后用SETcc系列指令（比如相等时用SETE）把标志寄存器里的比较结果转换成单字节的1或0存在寄存器中。

你纠结的点在于，能不能搞一个新运算符，让相等时返回~0（也就是全1的二进制值，对应有符号数的-1），不等时返回0，同时指令数和原生==完全一致。但正如你后来发现的：x86根本没有原生的SETcc变种指令能直接把“相等”这个条件映射成全1的结果——所有SETcc指令都是只输出0或1的单字节值。

哪怕你想绕个弯，比如用SETNO（检测无溢出）再递减得到全1，或者先拿SETE得到1再取反，都得多加一条指令，完全做不到和原生==一样的指令数开销。而且你也明确说了，不是要改变C默认的布尔值（0/1）表示，而是想加一个返回数值型结果的新运算符——但从x86的指令集设计来看，这条路走不通。

其他架构的可能性 #

至于其他CPU架构，确实有一些小众的指令集原生支持这种需求：它们的比较指令之后，可以通过单条指令直接把符合条件的结果设置成全字长的全1（也就是~0），不需要额外的转换步骤。比如部分嵌入式架构的指令集里，就有专门的条件传送或设置指令，能直接输出全1/0的结果，指令数和原生相等判断完全一致。不过这类架构不像x86这么普及，日常开发中很少碰到。

总结 #

回到你的核心问题：在x86架构下，无法用和原生==完全相同的指令数实现返回~0/0的相等运算符，因为缺少直接对应“把条件标志转成全1”的单条指令，任何转换都得加额外开销。而在少数其他架构上，确实存在原生支持这种行为的指令，能满足你的理论需求。

内容的提问来源于stack exchange，提问作者madmurphy