當類型已知時，類型'T'不能用作泛型類型或方法錯誤中的類型參數

Question

請考慮以下代碼示例，其中Concrete派生自Base ：

class Base{}
class Concrete : Base {}

static void Foo<T>() where T : Base
{
    if (typeof(Concrete).IsAssignableFrom(typeof(T)))
    {
        var x = new Bar<T>(); // compile error on this line
    }
}

class Bar<T> where T : Concrete
{
}

在我遇到編譯錯誤的行上，我已經檢查了泛型參數是否可以賦值給Concrete類型。 所以理論上我認為應該有一種方法來創建Bar類的實例。

有什么辦法可以刪除編譯錯誤嗎？ 我想不出一種方式來論證。

---

編譯錯誤的全文：

錯誤14類型“T”不能用作泛型類型或方法“Bar”中的類型參數“T”。 沒有從'T'到'Concrete'的隱式引用轉換。

Answer 1

編譯器無法知道T當前對Base的約束實際上是Concrete，即使你之前測試它也是如此。

所以：

Type type = typeof(Bar<>);
Type generic = type.MakeGenericType(typeof(T));
var x = Activator.CreateInstance(generic); 

不要讓它有機會這樣做。