C#中布尔变量先判断后赋值与先赋值后判断的性能及IL差异疑问

问题背景 #

你需要将first_bool的值同步给second_bool，同时在值为true时执行后续代码，现在对比两种写法在IL代码和性能上的差异：

代码示例 #

写法1：先判断再赋值 #

if (first_bool)
{
  second_bool = first_bool;
  // MORE CODE - 需要在bool为true时执行的代码
}

写法2：先赋值再判断 #

second_bool = first_bool;
if (second_bool)
{
  // MORE CODE - 需要在bool为true时执行的代码
}

IL代码差异 #

通过反编译工具（如dnSpy、ILDASM）查看核心IL指令：

• 写法1：先加载first_bool的值，用brfalse.s指令判断，若为false直接跳过赋值和后续逻辑；仅当值为true时，才执行second_bool = first_bool的赋值操作。
• 写法2：先执行second_bool = first_bool完成赋值，再加载second_bool的值，用brfalse.s指令判断，若为false则跳过后续逻辑。

两者的核心差异是：写法1仅在first_bool为true时才执行赋值，而写法2无论first_bool值是什么都会先完成赋值；写法2比写法1多一次对second_bool的加载操作。

性能对比 #

从理论指令数看，写法2多一条加载指令，但实际运行时几乎没有差异：

• JIT优化：现代.NET的RyuJIT编译器会做大量优化，比如如果second_bool是局部变量，JIT会将其值保留在寄存器中，避免重复加载；甚至会识别到second_bool是first_bool的副本，直接用first_bool的值做判断，消除多余的加载操作。
• 实际性能：这种简单逻辑的性能差异极难通过常规测试检测出来，只有在极端高频循环（上亿次迭代）的场景下才可能出现可观测的差异，但这种场景在业务代码中几乎不存在。

总结 #

• IL层面存在指令顺序和加载操作的细微差异，但实际运行时JIT优化会抹平大部分差异，两者性能基本一致。
• 从可读性和维护性角度，写法2更优：它明确先完成变量同步，再执行判断逻辑，避免了“仅在true时才赋值”的隐含逻辑，更贴合你“必须同步second_bool值”的需求。

内容的提问来源于stack exchange，提问作者Charya S.