爆一个VS2015 Update1更新带来的编译BUG【已有解决方案】

　　一个编译的BUG，在原生的VS2015中没有问题，但更新至VS2015 Update1之后就有了，大概是Update1用了新的编译器，害得我好苦。经测试，VS2013 Update5中也存在这个问题，大概是用了相同的编译器。

　　下面我们来重现这个BUG，用最简洁的代码来重现这个BUG。

测试代码

一个接口

一个很简单的接口，定义一个“是否锁定”的功能

1     public interface ILockable
2     {
3         bool IsLocked { get; set; }
4     }

 一个实体

同样一个很简单的实体定义，实现了上面定义的 ILockable 接口

1     public class TestModel : ILockable
2     {
3         public int Id { get; set; }
4 
5         public string Name { get; set; }
6 
7         public bool IsLocked { get; set; }
8     }

 EF上下文类

EF上下文类，同样极其简单

1     public class TestDbContext : DbContext
2     {
3         public TestDbContext()
4             : base("default")
5         { }
6 
7         public DbSet<TestModel> TestModels { get; set; }
8     }

 接口的扩展方法

为了方便查询所有未锁定的数据，给实现了 ILockable 接口的实体定义了一个查询的IQueryable<T>扩展方法，代码同样很简单

1     public static class Extensions
2     {
3         public static IQueryable<TEntity> Unlocked<TEntity>(this IQueryable<TEntity> source)
4             where TEntity : ILockable
5         {
6             return source.Where(m => !m.IsLocked);
7         }
8     }

执行查询代码

下面，使用上面的代码来做一个很简单的查询

 1     internal class Program
 2     {
 3         private static void Main(string[] args)
 4         {
 5             try
 6             {
 7                 var db = new TestDbContext();
 8                 var models = db.TestModels.Unlocked().ToList();
 9                 Console.WriteLine(models.Count);
10             }
11             catch (Exception ex)
12             {
13                 Console.WriteLine(ex);
14             }
15             Console.ReadLine();
16         }
17     }

至此，所有代码展现完毕，就是这么简单。

异常展示

代码的意思也很明白，也没有什么明显的问题，但在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