linq拼圖...等效的語法...不等效的結果！

Question

在代碼中只存在一種實現IResourceConverter的類型。這就是以下兩條linq聲明所要查找的內容。前者找不到它。後者的確如此。但是它們都是等效的語法（或者至少應該是！）。

LINQ的聲明1：

List<Type> toInstantiate = AppDomain.CurrentDomain.GetAssemblies() 
    .SelectMany(assembly => assembly.GetTypes()) 
    .Where(type => typeof(IResourceConverter).IsAssignableFrom(type) 
     && type != typeof(IResourceConverter)) 
    .ToList(); 

這將返回0的結果。

LINQ的聲明2：

我已經離開了LINQ除了where子句中，這是我爆發了，並用foreach循環

List<Type> toInstantiate = new List<Type>();    
List<Type> allTypes = AppDomain.CurrentDomain.GetAssemblies() 
    .SelectMany(assembly => assembly.GetTypes()) 
    .ToList(); 

foreach (Type t in allTypes) 
{ 
    if (typeof(IResourceConverter).IsAssignableFrom(t) 
     && t != typeof(IResourceConverter)) 
    toInstantiate.Add(t); 
} 

在這種情況下做了相當的toInstantiate有1個結果不變......正是我所期望的。

這種奇怪的行爲的任何解釋？

Answer 1

運行以下程序，並使用diff工具比較a.txt和b.txt文件。

using System; 
using System.Collections.Generic; 
using System.Linq; 
using System.Text; 
using System.Collections; 
using System.IO; 
using System.Reflection; 

namespace ConsoleApplication1 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      var x = Foo().OrderBy(t => t.FullName).Select(t => t.FullName); 
      var y = Bar().OrderBy(t => t.FullName).Select(t => t.FullName); 

      File.WriteAllLines("a.txt", x.ToArray()); 
      File.WriteAllLines("b.txt", y.ToArray()); 
      Console.ReadKey(); 
     } 

     private static List<Assembly> Foo() 
     { 
      List<Type> toInstantiate = AppDomain.CurrentDomain 
       .GetAssemblies().SelectMany(assembly => assembly.GetTypes()) 
       .ToList(); 

      return toInstantiate.Select(t => t.Assembly).Distinct().ToList(); 
     } 

     private static List<Assembly> Bar() 
     { 
      List<Type> toInstantiate = new List<Type>(); 
      List<Type> allTypes = AppDomain.CurrentDomain 
       .GetAssemblies().SelectMany(assembly => assembly.GetTypes()) 
       .ToList(); 

      foreach (Type t in allTypes) 
      { 
       toInstantiate.Add(t); 
      } 

      return toInstantiate.Select(t => t.Assembly).Distinct().ToList(); 
     } 
    } 
} 

我注意到兩部分代碼可以看到的程序集有很大差異。也就是說，第二個函數Bar可以看到基於linq的程序集不能。

更有趣的是，如果我反轉執行順序，現在Foo可以看到另一個不能執行的程序集，也就是完全相反。

最後，如果我運行第一查詢的兩倍，輸出的是相同的，因此：

 
    Foo, Foo, Bar 
    Foo, Bar, Foo 
    Bar, Bar, Foo 
    Bar, Foo, Bar 

所有產生相同的結果。

所以我唯一的假設是某些程序集正在加載一個查詢，其他查詢不會導致加載。

Answer 2

我不是一個真正的LINQ專家，但我可以冒險猜測;這看起來類似於我在Hibernate（Java ORM工具）中遇到的一個問題：

在Hibernate中，Collection屬性可以設置爲初始化懶惰。當屬性未初始化時，Hibernate使用字節碼工具生成代理，方法是繼承Parent並添加自己的行爲來執行延遲加載操作。如果我有類：

class Test { 
Collection<Parent> getEntities() //lazy 
} 

class Parent extends Child { 
} 

class Child { 
} 

我可以調用getEntities（）來返回父對象的集合。由於我的getEntities被標記爲懶惰，所以我找回的對象是Parent自動生成的子類。即使集合中的其中一個項目表示爲Child，但「myEntity instanceof Child」之類的檢查也不起作用，因爲實際對象只是Child的代理，而不是真正的Child對象。

我知道LINQ是一種查詢機制，可用於數據訪問或對象。在你的情況下，也許你的where子句中的「type」對象是某種類型的實際Type對象的查詢代理，類似於上面描述的情況，所以isAssignable（）確定代理對象沒有實現IResourceConverter？

Answer 3

確保低於實際的表達式的值爲true（即把它拿出來的LINQ語句，並直接針對該類型本身對其進行評估）：

bool doesImplIface = typeof(IResourceConverter).IsAssignableFrom(type) && type != typeof(IResourceConverter); 

的唯一原因Where子句會過濾結果是因爲表達式不是真正的評估。運行上面的代碼行應清楚地表明您嘗試執行的表達式是否按照您認爲它的方式進行評估。如果沒有，調整它直到你得到適當的行爲，並把新的表達式放在LINQ語句中。

Answer 4

這也似乎產生正確的結果，但我不知道爲什麼。

List<Type> allTypes = AppDomain.CurrentDomain 
    .GetAssemblies().SelectMany(assembly => assembly.GetTypes()) 
    .ToList(); 

List<Type> toInstantiate = allTypes 
    .Where(type => typeof(IList).IsAssignableFrom(type) && type != typeof(IList)) 
    .ToList(); 

foreach，這個查詢和原始查詢之間唯一的區別是原始查詢是懶惰評估。爲什麼這會有所作爲，因爲類型是靜態的，我不確定。