Ответ 1

Я обработал аналогичный пример, который работает не так:

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 4.0.30319.237 от 17 мая 2011 года. Я не могу точно сказать, какое обновление отремонтировано. 5 августа 2011 года я получил обновление для системы безопасности, которое обновило clrjit.dll до версии 235 с датой 12 апреля, что было бы самым ранним.

Ответ 2

Чтобы ответить на ваш последний вопрос, вы можете добавить атрибут MethodImpl с параметром MethodImplOptions.NoInlining к вашему методу IsGuid в качестве обходного пути для устранения проблемы.

Я просто сделал простой тест на переход между конфигурацией Debug и Release для x86 на .NET 4.0, и это, похоже, разрешает проблему. Я еще не запускал runtests.bat.

Вы также должны отправить вопрос в Connect, если он еще не отправлен и связать его с вашим вопросом.

Ответ 3

Это не круто. Я думаю, вы должны подать ошибку. (Connect.microsoft.com)

Кроме того, похоже, что это работает (я тестировал только ваш случай с отказом):

    public static bool IsGuid(object item)
    {
        return item.GetType() == typeof(Guid);
    }

Ответ 4

Кроме нескольких нот, отражатель указывает, что единственные различия в методе 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;
}

Как и принудительное включение его в локальный varible (но он должен использоваться в методе, чтобы предотвратить запуск оптимизации):

public static bool IsGuid(object item)
{
    bool a = item is Guid;
    a.ToString();
    return a;
}

Ответ 5

Здесь мои результаты на 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).

Ответ 6

Интересно, что это работает правильно:

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