爆一个VS2015 Update1更新带来的编译BUG【已有解决方案】
2016-03-30 10:32
495 查看
一个编译的BUG,在原生的VS2015中没有问题,但更新至VS2015 Update1之后就有了,大概是Update1用了新的编译器,害得我好苦。经测试,VS2013 Update5中也存在这个问题,大概是用了相同的编译器。
下面我们来重现这个BUG,用最简洁的代码来重现这个BUG。
至此,所有代码展现完毕,就是这么简单。
反正,我是在这当中纠结到吐血,一度以为是实体设计的问题(在实际项目中,实体设计当然要比上面这个要复杂得多得多,排查问题的难度要大得多),后来,无意中查看到了反编译的代码,才揪出了罪魁祸首,下面来对比VS2015 Update1与VS2015两个编译器对上面的 Unlocked 扩展方法的编译:
由上面的反编译代码可看到,VS2015 Update1的编译结果多了个强制转换,但这种强制转换在Linq To Entities中是无法支持的,因而报了
这个异常。
问题上升到编译器的高度了,已经不是我们这些平民小码农能解决的了,只能期待微软在VS2015的下一个更新中能解决掉。
扩展方法的泛型类型添加一个 class 限制,VS2015 Update1 与VS2015编译的结果完全一致,问题圆满解决!
演示代码下载:RoslynBugShow.rar
下面我们来重现这个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
相关文章推荐
- CentOS 7 系统下安装gnome图形界面程序
- Jetson TK1开发环境搭建(三)安装 OpenCV2.4.10
- jQuery旋转插件jqueryrotate,制作转盘
- numpy.eye() 生成对角矩阵
- C++ 类和对象浅解
- 用上下左右箭头键在textbox中的光标跳转
- 创建网站地图
- linux下硬盘uuid查看及修改设置
- 2009级 毕业设计 题目
- linux系统权限修复——学生误操作!
- 轻型数据库SQLite结合PHP的开发
- LINUX如何设置只允许SSH登陆?
- boa-0.94.13 移植到 ARM
- Linux目录递归改变文件名大小写
- 微软铁杆兄弟诺基亚开发基于Linux的手机
- 为什么32位系统内存最多为4G?
- configure: error: ZLIB extension requires zlib &gt;= 1.0.9
- grub 引导 Win 7
- BOA+PHP+SQLite之SQLite
- Java多线程学习