不能從基類繼承

Question

我的代碼如下

class BaseClass<T> where T : class
{
    class DerivedClass<U, V>
        where U : class
        where V : U
    {
        BaseClass<V> _base;
    }

}

錯誤：類型'V'必須是引用類型。

這里不是'V'類型的類嗎？

Answer 1

您可以通過將class約束添加到V類型參數來解決此問題：

class BaseClass<T> where T : class
{
    class DerivedClass<U, V>
        where U : class
        where V : class, U
    {
        BaseClass<V> _base;
    }
}

有關解釋，請參閱Eric Lippert的文章 （如以上Willem van Rumpt所評論）。

Answer 2

這里不是'V'類型的類嗎？

不它不是。 V可以是System.ValueType或任何枚舉，或任何ValueType 。

您的約束條件只是說V應該從U派生，因為U是類。 並不是說V應該是一類。

例如，以下內容完全有效，這與where T : class的約束相矛盾。

DerivedClass<object, DateTimeKind> derived;

因此，您還需要添加where V : class 。

埃里克·利珀特（Eric Lippert）在網志上也發表了同樣的問題 。