爆一个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)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.GetCastTargetType(TypeUsage fromType, Type toClrType, Type fromClrType, Boolean preserveCastForDateTime)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.CreateCastExpression(DbExpression source, Type toClrType, Type fromClrType)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.ConvertTranslator.TranslateUnary(ExpressionConverter parent, UnaryExpression unary, DbExpression operand)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.UnaryTranslator.TypedTranslate(ExpressionConverter parent, UnaryExpression linq)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TypedTranslator`1.Translate(ExpressionConverter parent, Expression linq)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.Translate
Expression(Expression linq)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.MemberAccessTranslator.TypedTranslate(ExpressionConverter parent, MemberExpression linq)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TypedTranslator`1.Translate(ExpressionConverter parent, Expression linq)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TranslateExpression(Expression linq)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.NotTranslator.TypedTranslate(ExpressionConverter parent, UnaryExpression linq)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TypedTranslator`1.Translate(ExpressionConverter parent, Expression linq)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TranslateExpression(Expression linq)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TranslateLambda(LambdaExpression lambda, DbExpression input)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TranslateLambda(Lamb
daExpression lambda, DbExpression input, DbExpressionBinding& binding)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.MethodCallTranslator.OneLambdaTranslator.Translate(ExpressionConverter parent, MethodCallExpression call, DbExpression& source, DbExpressionBinding& sourceBinding, DbExpression& lambda)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.MethodCallTranslator.OneLambdaTranslator.Translate(ExpressionConverter parent, MethodCallExpression call)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.MethodCallTranslator.SequenceMethodTranslator.Translate(ExpressionConverter parent, MethodCallExpression call, SequenceMethod sequenceMethod)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.MethodCallTranslator.TypedTranslate(ExpressionConverter parent, MethodCallExpression linq)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.TypedTranslator`1.Translate(ExpressionConverter parent, Expression linq)
   在 System.Data.Entity
.Core.Objects.ELinq.ExpressionConverter.TranslateExpression(Expression linq)
   在 System.Data.Entity.Core.Objects.ELinq.ExpressionConverter.Convert()
   在 System.Data.Entity.Core.Objects.ELinq.ELinqQueryState.GetExecutionPlan(Nullable`1 forMergeOption)
   在 System.Data.Entity.Core.Objects.ObjectQuery`1.<>c__DisplayClass7.<GetResults>b__6()
   在 System.Data.Entity.Core.Objects.ObjectContext.ExecuteInTransaction[T](Func`1 func, IDbExecutionStrategy executionStrategy, Boolean startLocalTransaction, Boolean releaseConnectionOnSuccess)
   在 System.Data.Entity.Core.Objects.ObjectQuery`1.<>c__DisplayClass7.<GetResults>b__5()
   在 System.Data.Entity.SqlServer.DefaultSqlExecutionStrategy.Execute[TResult](Func`1 operation)
   在 System.Data.Entity.Core.Objects.ObjectQuery`1.GetResults(Nullable`1 forMergeOption)
   在 System.Data.Entity.Core.Objects.ObjectQuery`1.<System.Collections.Generic.IEnumerable<T>.GetEnumerator>b__0()
   在 System.Data.Entity.Internal.LazyEnumerator`1.MoveNext()
   在 Sy
stem.Collections.Generic.List`1..ctor(IEnumerable`1 collection)
   在 System.Linq.Enumerable.ToList[TSource](IEnumerable`1 source)
   在 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