指定泛型类，其中 T 应该是其他类型的子类

Question

这是我正在尝试做的事情，甚至不确定是否可能。

我正在创建 BaseViewModel 并且我希望它接受从 Entity 继承的类型

考虑这段代码：

public abstract class BaseViewModel<T> : NotificationObject, INavigationAware
{

public T MyEntity;

public SomeMethod()
{
MyEntity.SomeEntityProperty = SomeValue;
}

}

所以，我想说我的 T 继承自 Entity，因此我知道它将具有 SomeEntityProperty。

这可能吗？

Answer 1

萨尔瓦托的回答是完全正确的，我只是想更好地描述这个概念。

你需要的是“通用类型约束”；指定用作 T 的类型必须符合某些行为（例如从比 Object 更派生的对象或接口派生），从而增加了允许您对该对象执行的操作，而无需进一步强制转换（这通常是要避免的在泛型中）。

正如 Salvatore 的回答所示，GTC 是使用“where”关键字定义的：

public abstract class BaseViewModel<T> :
    NotificationObject,
    INavigationAware

    where T : Entity;
{
   ...

该 GTC 基本上规定任何 T 都必须从实体派生（无论远程）。这允许您将 T 视为实体（新 T 的实例化除外；这需要额外的 GTC），无论实际泛型参数类型或多或少是从实体派生的。您可以调用实体上出现的任何方法，并获取/设置任何字段或属性。

您还可以指定：

• 类型必须是类 (where T:class)，或者必须是 ValueType (where T:struct)。这允许或阻止 T 实例与 null 的比较和分配，这也允许或阻止使用 null 合并运算符 ??。
• 该类型必须具有无参数构造函数（其中 T:new()）。这允许使用 new 关键字实例化 Ts，方法是确保在编译时用作 Ts 的所有类型都具有不带参数的构造函数。

Answer 2

public abstract class BaseViewModel<T> :
    NotificationObject,
    INavigationAware

    where T : Entity
{

    public T MyEntity;

    public SomeMethod()
    {
        MyEntity.SomeEntityProperty = SomeValue;
    }

}

Answer 3

尝试使用 where 约束：

public abstract class BaseViewModel<T> : NotificationObject, INavigationAware
    where T : Entity
{
    public T MyEntity;

    public SomeMethod()
    {
        MyEntity.SomeEntityProperty = SomeValue;
    }
}

Answer 4

只需使用 where 关键字：

public abstract class BaseViewModel<T> : NotificationObject, INavigationAware
    where T:Entity
{
...