与 C# 泛型、T、抽象有点混淆？

Question

我是 Unity 的 C# 游戏制作者。我有收藏管理系统。

CollectableManager

public List<CollectableParent<Collectable>> collactableParentsList;

CollectableParent

public class CollectableParent<T> : CollectableRelatedMonoBehaviour where T : Collectable

SpawnPointDefinedCollectableParent

public class SpawnPointParentDefinedCollectableParent<T> : CollectableParent<T> where T : Collectable

收藏

public abstract class Collectable : CollectableRelatedMonoBehaviour, IHasPlayableSound

Collectable_Money

public class Collectable_Money : Collectable

CollectableParent_Money

public class CollectableParent_Money : SpawnPointParentDefinedCollectableParent<Collectable_Money>

问题

当 T 定义为“Collectable_Money”时，CollectableManager 中的“collactableParentsList”不接受SpawnPointParentDefinedCollectableParent<Collectable_Money> 作为项目，它是从“Collectable”派生的。如果我这样做SpawnPointParentDefinedCollectableParent<Collectable>，它将被接受为列表中的项目。

Answer 1

这里的问题是，即使Collectable_Money 是Collectable 的子类，不会使SpawnPointParentDefinedCollectableParent<Collectable_Money> 成为CollectableParent<Collectable> 的子类。

可以通过使用通用接口来解决这个问题。如果我们将CollectableParent<T> 更改为接口，并通过out 修饰符将其定义为T 中的协变。 （您还没有提供CollectableRelatedMonoBehaviour 的定义，但它也需要转换为接口）：

public interface ICollectableParent<out T> : ICollectableRelatedMonoBehaviour where T : Collectable

如果您随后将列表定义为：

public static List<ICollectableParent<Collectable>> collectableParentsList;

然后你就可以成功的添加SpawnPointParentDefinedCollectableParent<Collectable_Money>类型的项目了。

这里的关键部分是ICollectableParent<T> 接口在T 中是协变的。这使得传递一个实现 ICollectableParent<Collectable_Money> 的实例成为可能，而 ICollectableParent<Collectable> 是预期的。

在T 中将接口定义为协变确实引入了一些限制，特别是（正如用于指示协变的out 修饰符所暗示的那样），T 类型只能用作接口的返回值方法。例如：

public interface ICollectableParent<out T> : ICollectableRelatedMonoBehaviour where T : Collectable
{
    // This is allowed - T is used as a return type
    T GetChild();
    // This is *not* allowed - T is used as a parameter
    void SetChild(T child);
}

您可以在此处阅读有关协方差及其逆（逆变）的更多信息：Difference between Covariance & Contra-variance