下面是一个简单的测试夹具。它在 Debug 构建中成功，在 Release 构建中失败（VS2010、.NET4 解决方案、x64）：
[TestFixture]
public sealed class Test
{
[Test]
public void TestChecker()
{
var checker = new Checker();
Assert.That(checker.IsDateTime(DateTime.Now), Is.True);
}
}
public class Checker
{
public bool IsDateTime(object o)
{
return o is DateTime;
}
}
似乎代码优化造成了一些破坏；如果我在 Release 版本中禁用它，它也可以工作。这让我很费解。下面，我使用 ILDASM 反汇编了构建的 2 个版本：
调试 IL：
.method public hidebysig instance bool IsDateTime(object o) cil managed
{
// Code size 15 (0xf)
.maxstack 2
.locals init (bool V_0)
IL_0000: nop
IL_0001: ldarg.1
IL_0002: isinst [mscorlib]System.DateTime
IL_0007: ldnull
IL_0008: cgt.un
IL_000a: stloc.0
IL_000b: br.s IL_000d
IL_000d: ldloc.0
IL_000e: ret
} // end of method Validator::IsValid
发布 IL：
.method public hidebysig instance bool IsDateTime(object o) cil managed
{
// Code size 10 (0xa)
.maxstack 8
IL_0000: ldarg.1
IL_0001: isinst [mscorlib]System.DateTime
IL_0006: ldnull
IL_0007: cgt.un
IL_0009: ret
} // end of method Validator::IsValid
似乎商店和负载被优化了。针对早期版本的 .NET 框架解决了问题，但这可能只是侥幸。我发现这种行为有点令人不安，任何人都可以解释为什么编译器会认为进行产生不同可观察行为的优化是安全的吗？
提前致谢。