泛型和類型約束的規則

Question

只是出於好奇，爲什麼編譯器將一個不受約束的泛型類型與它的typeof（object）不同？

class Bar { } 

class Foo 
{ 
    void foo(object thing) 
    { 
     ((Bar)thing).ToString(); 
    } 
} 

class Foo<T> 
{ 
    void foo(T thing) 
    { 
     ((Bar)thing).ToString(); 
    } 
} 

在上面，將「T thing」強制轉換爲Bar會導致編譯器錯誤。然而，向Bar提供「object thing」是編譯器允許我做的事情，當然，我自己承擔風險。

我不明白的是爲什麼。在.net對象中，所有內容都是全部捕獲的，而運行時類型可能是盒裝值或任何類型的對象。所以我看不出有什麼合乎邏輯的理由讓編譯器區分這兩種情況。我能做的最好的事情就像「程序員希望編譯器使用泛型類型進行類型檢查，但不使用對象」。 :)這一切都有它嗎？

順便說一句，我知道我還可以得到我的演員在美孚的情況下完成的，通過寫

((Bar)(object)thing).ToString(); 

我只是想了解爲什麼編譯器做到這一點...

Answer 1

的這裏的意義是object。如果第一個例子是其他任何非object它將表現相同。基本上，你在說什麼，此刻在這裏：

(Bar)thing 

是：「轉換T爲Bar」;這在一般情況下並不合法。通過添加object你把它：

(Bar)(object)thing 

這是「轉換T到object ...」 - 這始終是合法的，因爲object是所有託管類型的根;並注意這可能會啓用一個框 - 「...然後將object作爲Bar」 - 再次;它在編譯時總是合法的，並且在運行時涉及類型檢查（「unbox-any」）。

例如：假設T是DateTime ...

DateTime thing = ... 
Bar bar = (Bar)(object)thing; 

是完全有效;確定它在運行時會失敗，但是：這是你需要牢記的場景。

Answer 2

它歸結爲創建泛型的語義和目的。如果你有一個通用類型T，編譯器不會讓你直接將它直接轉換爲任何其他對象。這是有道理的，因爲T的目的是強制程序員指定T實際是什麼類型。它不會是「對象」，它將成爲特定類型的對象。在編譯時，編譯器無法知道T中將會發生什麼，因此無法投射它。

從對象中投射的作品，因爲它是一個匿名對象 - 與KNOWN對象類型相反，它在使用中被定義。

這可以用「where」子句進行擴展。例如。，你可以指定T必須是IBar類型;

interface IBar { } 

class Bar : IBar { } 

class Foo<T> 
    where T : IBar 
{ 
    void foo(T thing) 
    { 
     ((IBar)thing).ToString(); 
    } 
} 

繼承也適用於where子句;

class Bar { } 

class Foo<T> 
    where T : Bar 
{ 
    void foo(T thing) 
    { 
     // now you don't need to cast at all as the compiler knows 
     // exactly what type T is (at a parent level at least) 
     thing.ToString(); 
    } 
}