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

来源:http://www.cnblogs.com/guomingfeng/archive/2016/03/30/roslyn-bug-001.html
-Advertisement-
Play Games

一個編譯的BUG，在原生的VS2015中沒有問題，但更新至VS2015 Update1之後就有了，大概是Update1用了新的編譯器，害得我好苦。經測試，VS2013 Update5中也存在這個問題，大概是用了相同的編譯器。 下麵我們來重現這個BUG，用最簡潔的代碼來重現這個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

 


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 初步瞭解Entity Framework
    來源：http://www.cnblogs.com/Wayou/archive/2012/09/20/EF_CodeFirst.html Entity Framework的全稱是ADO.NET Entity Framework，是微軟開發的基於ADO.NET的ORM(Object/Relationa ...
  • C#中的委托和游戲中的運用
    C#中的委托與游戲中的運用 1.什麼是委托 在C/C++中，有函數指針的概念，即指向函數的指針。當我們調用該指針時，就相當於調用了該指針所指向的函數，這就是函數指針的一個作用，而他另一個作用就是將自己作為其他函數的參數。 但是指針是直接訪問記憶體單元的，程式員對指針的不恰當使用常常會引發錯誤。因此作為 ...
  • [UWP]一種利用Behavior 將StateTrigger的集中管理的方案
    不做開篇廢話，我們發現： AdaptiveTrigger 不夠好 我們知道，UWP可以在一個頁面適應不同尺寸比例的屏幕。一般來說這個功能是通過官方推薦的AdaptiveTrigger 進行的。 比如這樣： 我們可以看到這樣的的Trigger制定了最小值，隱含了條件“當滿足長寬都大於於這個條件時，這個 ...
  • Asp.net相關知識和經驗的碎片化記錄
    1、web前臺頁面文件上傳的文件大小限制問題 1.1 通過Web.Config配置上傳文件的大小限制（涉及站點安全問題，謹慎配置！！！）。 1.2 通過後臺C#代碼進行上傳文件大小的限制。 上述兩種方法的使用可滿足不同的需求，並不是可以相互替代的解決方法。新手總結，還望讀者自行甄別使用。 2、.ne ...
  • C#參數傳遞、引用類型、值類型等的理解
    本博客不屬於技術貼，主要是記錄一些自己對不懂得地方的理解和學習的記錄，請帶著批判的眼光閱讀~ 值類型存儲在棧上，引用類型存儲在堆上。棧是由高到低存儲的，遵循先進後出的原則，是記憶體提前分配好的區域，記憶體的釋放不由人控制，用完後就會釋放記憶體。堆是動態分配的記憶體區域，是無序的，受人為控制釋放，但是達到一定 ...
  • 一起談談MD5加密演算法
    MD5是一個安全的散列演算法，輸入兩個不同的明文不會得到相同的輸出值，根據輸出值，不能得到原始的明文，即其過程不可逆；所以要解密MD5沒有現成的演算法，只能用窮舉法，把可能出現的明文，用MD5演算法散列之後，把得到的散列值和原始的數據形成一個一對一的映射表，通過比在表中比破解密碼的MD5演算法散列值，通過匹 ...
  • C# 去除字元串首尾字元或字元串
    在做一個屬性入庫的功能，將Excel屬性數據導入到圖層要素當中，這裡Excel和SDE資料庫數據存在一個關聯欄位，通過關聯欄位值進行匹配屬性入庫。 在實際業務中，由於普查數據往往某些欄位值比較複雜，在寫入到圖層中時用戶可能做一些簡化，例如一個要素編號為0532BH001，可能錄入到圖層中只錄入BH0... ...
  • 我的面板我做主 -- 淘寶UWP中自定義Panel的實現
    在Windows10 UWP開發平臺上內置的XMAL佈局面板包括RelativePanel、StackPanel、Grid、VariableSizedWrapGrid 和 Canvas。在開發淘寶UWP應用時，遇到以下業務場景。 業務場景 場景一:淘寶商品提供的一些消費者保障服務 場景二:淘寶商品的 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發（一）：使用.NET MAUI開發第一個安卓APP
    移動開發（一）：使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說，近來想嘗試開發一款安卓APP，考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP，畢竟是使用Visual Studio開發工具，使用起來也比較的順手，結合微軟官方的教程進行了安卓 ...
  • wpf ToggleButton選中效果和一個登錄界面
    前言 QuestPDF 是一個開源 .NET 庫，用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫，它徹底改變了我們生成 PDF 文檔的方 ...
  • 彈幕樹洞項目功能新增篇
    項目地址 項目後端地址： https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址： ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址： http://tree ...
  • 第27篇 sqlserver2022詳細安裝步驟
    話不多說，直接開乾 一.下載 1.官方鏈接下載： https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe，運行開始下載SQL server； 二. ...
  • .NET 開源高性能 MQTT 類庫
    前言 隨著物聯網（IoT）技術的迅猛發展，MQTT（消息隊列遙測傳輸）協議憑藉其輕量級和高效性，已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫，為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog文檔翻譯系列（六） - 可用的接收器、增強器、格式化輸出
    Serilog支持多種接收器用於日誌存儲，增強器用於添加屬性，LogContext管理動態屬性，支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項，適用於不同需求。 ...
  • 警惕 Visual Studio 屬性求值副作用導致邏輯不符合預期
    目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據，爬取信息時需要模擬瀏覽器行為，否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下： 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • [使用目前最新版]HybridCLR6.9.0+YooAsset2.2.4實現純C# Unity熱更新方案 (一)
    1.前言 什麼是熱更新 游戲或者軟體更新時，無需重新下載客戶端進行安裝，而是在應用程式啟動的情況下，在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR，Xlua，ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles，Addressable， ...
  • 在 ASP.NET Core Web API 中使用操作篩選器統一處理通用操作
    本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺，其實像阿裡雲，騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後，它會送 ...
  • 第28篇 如何.net中實現高效可靠數據同步api
    通過以下方式可以高效，並保證數據同步的可靠性 1.API設計 使用RESTful設計，確保API端點明確，並使用適當的HTTP方法（如POST用於創建，PUT用於更新）。 設計清晰的請求和響應模型，以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證，確保接收到的數據符合預期格 ...
所有分類