更新：我已向Microsoft Connect提交bug report，请投票支持！
更新2： Microsoft已将错误报告标记为已修复
微软于18/08/2010发表于17:25
此错误将在a中修复 未来版本的运行时。我 害怕现在判断是否为时尚早 将在服务包或下一个 主要发布。
自从升级到VS2010后，我的'is'关键字出现了一些非常奇怪的行为。
下面的程序（test.cs）在调试模式（对于x86）编译时输出True，在编译时使用优化（对于x86）时输出False。编译x64或AnyCPU中的所有组合会得到预期的结果True。
.NET 3.5下的所有编译组合都给出了预期的结果，即True。
我正在使用下面的批处理文件（runtest.bat）使用编译器.NET框架的各种组合来编译和测试代码。
using System;
public class Program
{
public static bool IsGuid(object item)
{
return item is Guid;
}
public static void Main()
{
Console.Write(IsGuid(Guid.NewGuid()));
}
}
@echo off
rem Usage:
rem runtest -- runs with csc.exe x86 .NET 4.0
rem runtest 64 -- runs with csc.exe x64 .NET 4.0
rem runtest v3.5 -- runs with csc.exe x86 .NET 3.5
rem runtest v3.5 64 -- runs with csc.exe x64 .NET 3.5
set version=v4.0.30319
set platform=Framework
for %%a in (%*) do (
if "%%a" == "64" (set platform=Framework64)
if "%%a" == "v3.5" (set version=v3.5)
)
echo Compiler: %platform%\%version%\csc.exe
set csc="C:\Windows\Microsoft.NET\%platform%\%version%\csc.exe"
set make=%csc% /nologo /nowarn:1607 test.cs
rem CS1607: Referenced assembly targets a different processor
rem This happens if you compile for x64 using csc32, or x86 using csc64
%make% /platform:x86
test.exe
echo =^> x86
%make% /platform:x86 /optimize
test.exe
echo =^> x86 (Optimized)
%make% /platform:x86 /debug
test.exe
echo =^> x86 (Debug)
%make% /platform:x86 /debug /optimize
test.exe
echo =^> x86 (Debug + Optimized)
%make% /platform:x64
test.exe
echo =^> x64
%make% /platform:x64 /optimize
test.exe
echo =^> x64 (Optimized)
%make% /platform:x64 /debug
test.exe
echo =^> x64 (Debug)
%make% /platform:x64 /debug /optimize
test.exe
echo =^> x64 (Debug + Optimized)
%make% /platform:AnyCPU
test.exe
echo =^> AnyCPU
%make% /platform:AnyCPU /optimize
test.exe
echo =^> AnyCPU (Optimized)
%make% /platform:AnyCPU /debug
test.exe
echo =^> AnyCPU (Debug)
%make% /platform:AnyCPU /debug /optimize
test.exe
echo =^> AnyCPU (Debug + Optimized)
运行runtest.bat时，我在Win7 x64安装上得到以下结果。
> runtest 32 v4.0
Compiler: Framework\v4.0.30319\csc.exe
False => x86
False => x86 (Optimized)
True => x86 (Debug)
False => x86 (Debug + Optimized)
True => x64
True => x64 (Optimized)
True => x64 (Debug)
True => x64 (Debug + Optimized)
True => AnyCPU
True => AnyCPU (Optimized)
True => AnyCPU (Debug)
True => AnyCPU (Debug + Optimized)
> runtest 64 v4.0
Compiler: Framework64\v4.0.30319\csc.exe
False => x86
False => x86 (Optimized)
True => x86 (Debug)
False => x86 (Debug + Optimized)
True => x64
True => x64 (Optimized)
True => x64 (Debug)
True => x64 (Debug + Optimized)
True => AnyCPU
True => AnyCPU (Optimized)
True => AnyCPU (Debug)
True => AnyCPU (Debug + Optimized)
> runtest 32 v3.5
Compiler: Framework\v3.5\csc.exe
True => x86
True => x86 (Optimized)
True => x86 (Debug)
True => x86 (Debug + Optimized)
True => x64
True => x64 (Optimized)
True => x64 (Debug)
True => x64 (Debug + Optimized)
True => AnyCPU
True => AnyCPU (Optimized)
True => AnyCPU (Debug)
True => AnyCPU (Debug + Optimized)
> runtest 64 v3.5
Compiler: Framework64\v3.5\csc.exe
True => x86
True => x86 (Optimized)
True => x86 (Debug)
True => x86 (Debug + Optimized)
True => x64
True => x64 (Optimized)
True => x64 (Debug)
True => x64 (Debug + Optimized)
True => AnyCPU
True => AnyCPU (Optimized)
True => AnyCPU (Debug)
True => AnyCPU (Debug + Optimized)
答案 0 :(得分：9)
我编写了一个类似的例子，但却失败了：
using System;
using System.Runtime.CompilerServices;
public class Program {
static void Main() {
Console.Write(Verify(Test.Create()));
Console.ReadLine();
}
//[MethodImpl(MethodImplOptions.NoInlining)]
static bool Verify(IDisposable item) {
return item is Test;
}
struct Test : IDisposable {
public void Dispose() { }
public static Test Create() { return new Test(); }
}
}
这是一个JIT优化器错误。不能完全把手指放在上面，它会大大优化代码。但它让我觉得它在优化拳击转换时会遇到麻烦。坦率地说，这是一个非常严重的错误。
此错误已修复，我无法再重复它。我当前的clrjit.dll版本是2011年5月17日的4.0.30319.237。我无法确切地知道更新修复了什么。我在2011年8月5日获得了一个安全更新，它将clrjit.dll更新为版本235，日期为4月12日，这将是最早的。
答案 1 :(得分：6)
要回答上一个问题，您可以将MethodImpl属性与MethodImplOptions.NoInlining选项IsGuid添加到{{1}}方法，作为解决问题的解决方法。
我刚刚在.NET 4.0上对x86的Debug和Release配置进行了简单的测试，这似乎解决了这个问题。我还没有运行你的runtests.bat。
如果尚未提交问题，您还应该在Connect中提交问题并将其与您的问题相关联。
答案 2 :(得分：4)
这不酷。我认为你应该提交一个bug。 （connect.microsoft.com）
此外，这似乎有效（我只测试了你的失败案例）：
public static bool IsGuid(object item)
{
return item.GetType() == typeof(Guid);
}
答案 3 :(得分：3)
除了几个nops之外，反射器表明IsGuid方法中唯一的区别是：
DEBUG：
.method public hidebysig static bool IsGuid(object item) cil managed
{
.maxstack 2
.locals init (
[0] bool CS$1$0000)
L_0000: nop
L_0001: ldarg.0
L_0002: isinst [mscorlib]System.Guid
L_0007: ldnull
L_0008: cgt.un
L_000a: stloc.0
L_000b: br.s L_000d
L_000d: ldloc.0
L_000e: ret
}
RELEASE：
.method public hidebysig static bool IsGuid(object item) cil managed
{
.maxstack 8
L_0000: ldarg.0
L_0001: isinst [mscorlib]System.Guid
L_0006: ldnull
L_0007: cgt.un
L_0009: ret
}
我不能流利地解释这些差异，但这是社区维基的答案，所以也许其他人可以启发我们？
更改方法以使其通用可以解决这个问题（可能的错误？）
public static bool IsGuid<T>(T item)
{
return item is Guid;
}
将其强制转换为局部变量（但必须在方法中使用它以防止优化被踢入）：
public static bool IsGuid(object item)
{
bool a = item is Guid;
a.ToString();
return a;
}
答案 4 :(得分：2)
这是我在XP SP3（x86）上的结果：
>runtest
Compiler: Framework\v4.0.30319\csc.exe
False => x86
False => x86 (Optimized)
True => x86 (Debug)
False => x86 (Debug + Optimized)
False => AnyCPU
False => AnyCPU (Optimized)
True => AnyCPU (Debug)
False => AnyCPU (Debug + Optimized)
>runtest v3.5
Compiler: Framework\v3.5\csc.exe
True => x86
True => x86 (Optimized)
True => x86 (Debug)
True => x86 (Debug + Optimized)
True => AnyCPU
True => AnyCPU (Optimized)
True => AnyCPU (Debug)
True => AnyCPU (Debug + Optimized)
关于这个结果的一个有趣的观点是.NET 4目标在AnyCPU上运行（运行为x86）但在AnyCPU上运行（运行为x64）。
答案 5 :(得分：0)
有趣的是，这可以正常工作：
using System;
public class Program
{
public static bool IsGuid(object item)
{
return item is Guid;
}
public static void Main()
{
Guid s = Guid.NewGuid();
Console.Write(IsGuid(s));
}
}
以下是il的区别：
.method public hidebysig static void Main() cil managed
{
.entrypoint
// Code size 23 (0x17)
.maxstack 1
.locals init (valuetype [mscorlib]System.Guid V_0)
IL_0000: call valuetype [mscorlib]System.Guid [mscorlib]System.Guid::NewGuid()
IL_0005: stloc.0
IL_0006: ldloc.0
IL_0007: box [mscorlib]System.Guid
IL_000c: call bool Program::IsGuid(object)
IL_0011: call void [mscorlib]System.Console::Write(bool)
IL_0016: ret
} // end of method Program::Main