Fork me on GitHub

爆一个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

 

posted @ 2016-03-30 10:32  郭明锋  阅读(...)  评论(...编辑  收藏