.NET CLR布尔比较操作底层优化机制与CPU指令差异探究

注意 #

本文示例使用PowerShell，但同样适用于所有.NET语言。

我希望了解.NET CLR中不同布尔逻辑求值方式的底层实现机制。

前提说明 #

• 实际应用场景中（即使是极端长时间运行的循环），这些写法的速度差异微乎其微，因此布尔比较的考量仅需聚焦于编码规范/格式选择。
• 本问题并非询问“哪种布尔比较运算符更快”。

核心问题 #

总体而言（我并非要求列出各现代CPU架构的机器语言指令集），.NET CLR会如何优化下列各类布尔比较？最终CPU是否会使用不同指令来处理这些看似相同的比较？

场景1：判断== TRUE

• 对比写法：-eq $true 与 -ne $false

场景2：判断== FALSE

• 对比写法：(-not <statement>) 与 -eq $false 与 -ne $true

附加约束与加分项 #

• 假设所有比较均限定为布尔结果，且为简化说明忽略$null。
• 若能提供相关历史背景将额外加分。

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