爆一個VS2015 Update1更新帶來的編譯BUG【已有解決方案】

　　一個編譯的BUG，在原生的VS2015中沒有問題，但更新至VS2015 Update1之后就有了，大概是Update1用了新的編譯器，害得我好苦。經測試，VS2013 Update5中也存在這個問題，大概是用了相同的編譯器。

　　下面我們來重現這個BUG，用最簡潔的代碼來重現這個BUG。

測試代碼

一個接口

一個很簡單的接口，定義一個“是否鎖定”的功能

    public interface ILockable
    {
        bool IsLocked { get; set; }
    }

 一個實體

同樣一個很簡單的實體定義，實現了上面定義的 ILockable 接口

    public class TestModel : ILockable
    {
        public int Id { get; set; }

        public string Name { get; set; }

        public bool IsLocked { get; set; }
    }

 EF上下文類

EF上下文類，同樣極其簡單

    public class TestDbContext : DbContext
    {
        public TestDbContext()
            : base("default")
        { }

        public DbSet<TestModel> TestModels { get; set; }
    }

 接口的擴展方法

為了方便查詢所有未鎖定的數據，給實現了 ILockable 接口的實體定義了一個查詢的IQueryable<T>擴展方法，代碼同樣很簡單

    public static class Extensions
    {
        public static IQueryable<TEntity> Unlocked<TEntity>(this IQueryable<TEntity> source)
            where TEntity : ILockable
        {
            return source.Where(m => !m.IsLocked);
        }
    }

執行查詢代碼

下面，使用上面的代碼來做一個很簡單的查詢

    internal class Program
    {
        private static void Main(string[] args)
        {
            try
            {
                var db = new TestDbContext();
                var models = db.TestModels.Unlocked().ToList();
                Console.WriteLine(models.Count);
            }
            catch (Exception ex)
            {
                Console.WriteLine(ex);
            }
            Console.ReadLine();
        }
    }

至此，所有代碼展現完畢，就是這么簡單。

異常展示

代碼的意思也很明白，也沒有什么明顯的問題，但在VS2015 Update1中，會報這么個異常：

"無法將類型“RoslynBugShow.TestModel”強制轉換為類型“RoslynBugShow.ILockable”。LINQ to Entities 僅支持強制轉換 EDM 基元或枚舉類型。"}
    Data: {System.Collections.ListDictionaryInternal}
    HResult: -2146233067
    HelpLink: null
    InnerException: null
    Message: "無法將類型“RoslynBugShow.TestModel”強制轉換為類型“RoslynBugShow.ILockable”。LINQ to Entities 僅支持強制轉換 EDM 基元或枚舉類型。"
    Source: "EntityFramework"
    StackTrace: "   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.ValidateAndAdjustCastTypes(TypeUsage toType, TypeUsage fromType, Type toClrType, Type fromClrType)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.GetCastTargetType(TypeUsage fromType, Type toClrType, Type fromClrType, Boolean preserveCastForDateTime)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.CreateCastExpression(DbExpression source, Type toClrType, Type fromClrType)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.ConvertTranslator.TranslateUnary(ExpressionConverter parent, UnaryExpression unary, DbExpression operand)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.UnaryTranslator.TypedTranslate(ExpressionConverter parent, UnaryExpression linq)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TypedTranslator`1.Translate(ExpressionConverter parent, Expression linq)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.Translate
Expression(Expression linq)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.MemberAccessTranslator.TypedTranslate(ExpressionConverter parent, MemberExpression linq)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TypedTranslator`1.Translate(ExpressionConverter parent, Expression linq)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TranslateExpression(Expression linq)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.NotTranslator.TypedTranslate(ExpressionConverter parent, UnaryExpression linq)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TypedTranslator`1.Translate(ExpressionConverter parent, Expression linq)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TranslateExpression(Expression linq)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TranslateLambda(LambdaExpression lambda, DbExpression input)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TranslateLambda(Lamb
daExpression lambda, DbExpression input, DbExpressionBinding& binding)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.MethodCallTranslator.OneLambdaTranslator.Translate(ExpressionConverter parent, MethodCallExpression call, DbExpression& source, DbExpressionBinding& sourceBinding, DbExpression& lambda)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.MethodCallTranslator.OneLambdaTranslator.Translate(ExpressionConverter parent, MethodCallExpression call)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.MethodCallTranslator.SequenceMethodTranslator.Translate(ExpressionConverter parent, MethodCallExpression call, SequenceMethod sequenceMethod)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.MethodCallTranslator.TypedTranslate(ExpressionConverter parent, MethodCallExpression linq)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TypedTranslator`1.Translate(ExpressionConverter parent, Expression linq)\r\n   在 System.Data.Entity
.Core.Objects.ELinq.ExpressionConverter.TranslateExpression(Expression linq)\r\n   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.Convert()\r\n   在 System.Data.Entity.Core.Objects.ELinq.ELinqQueryState.GetExecutionPlan(Nullable`1 forMergeOption)\r\n   在 System.Data.Entity.Core.Objects.ObjectQuery`1.<>c__DisplayClass7.<GetResults>b__6()\r\n   在 System.Data.Entity.Core.Objects.ObjectContext.ExecuteInTransaction[T](Func`1 func, IDbExecutionStrategy executionStrategy, Boolean startLocalTransaction, Boolean releaseConnectionOnSuccess)\r\n   在 System.Data.Entity.Core.Objects.ObjectQuery`1.<>c__DisplayClass7.<GetResults>b__5()\r\n   在 System.Data.Entity.SqlServer.DefaultSqlExecutionStrategy.Execute[TResult](Func`1 operation)\r\n   在 System.Data.Entity.Core.Objects.ObjectQuery`1.GetResults(Nullable`1 forMergeOption)\r\n   在 System.Data.Entity.Core.Objects.ObjectQuery`1.<System.Collections.Generic.IEnumerable<T>.GetEnumerator>b__0()\r\n   在 System.Data.Entity.Internal.LazyEnumerator`1.MoveNext()\r\n   在 Sy
stem.Collections.Generic.List`1..ctor(IEnumerable`1 collection)\r\n   在 System.Linq.Enumerable.ToList[TSource](IEnumerable`1 source)\r\n   在 RoslynBugShow.Program.Main(String[] args) 位置 d:\\documents\\visual studio 2015\\Projects\\RoslynBugShow\\RoslynBugShow\\Program.cs:行號 14"
    TargetSite: {System.Data.Entity.Core.Metadata.Edm.TypeUsage ValidateAndAdjustCastTypes(System.Data.Entity.Core.Metadata.Edm.TypeUsage, System.Data.Entity.Core.Metadata.Edm.TypeUsage, System.Type, System.Type)

BUG分析

看到這，估計能看懂的各位也蒙圈了，代碼看起來真的沒問題，怎么會出問題了呢，多出的這個強制轉換是怎么回事。

反正，我是在這當中糾結到吐血，一度以為是實體設計的問題（在實際項目中，實體設計當然要比上面這個要復雜得多得多，排查問題的難度要大得多），后來，無意中查看到了反編譯的代碼，才揪出了罪魁禍首，下面來對比VS2015 Update1與VS2015兩個編譯器對上面的 Unlocked 擴展方法的編譯：

原生 VS2015 編譯

VS2015 Update1編譯

由上面的反編譯代碼可看到，VS2015 Update1的編譯結果多了個強制轉換，但這種強制轉換在Linq To Entities中是無法支持的，因而報了

無法將類型“RoslynBugShow.TestModel”強制轉換為類型“RoslynBugShow.ILockable”。LINQ to Entities 僅支持強制轉換 EDM 基元或枚舉類型。

這個異常。

問題上升到編譯器的高度了，已經不是我們這些平民小碼農能解決的了，只能期待微軟在VS2015的下一個更新中能解決掉。

解決方案

果然還是園子中牛人多，29樓的@Choo 提供的一個解決方案完美解決了這個問題

擴展方法的泛型類型添加一個 class 限制，VS2015 Update1 與VS2015編譯的結果完全一致，問題圓滿解決！

 

演示代碼下載：RoslynBugShow.rar