c# - 看到 "cannot convert expression to type while using a generic method"时我做错了什么？

Question

我有一个 List<GKComponentSystem<GKComponent>>和一个通用的 Add<T>()具有 T 约束的方法作为GKComponent .

为什么我不能添加 GKComponentSystem<T> 的实例？到我的名单？请参阅下面的代码片段:

List<GKComponentSystem<GKComponent>> _systems = new List<GKComponentSystem<GKComponent>>();

public void AddSystem<T>(int position = -1) where T : GKComponent
{
    var system = new GKComponentSystem<T>();
    _systems.Add(system);
}

错误:

Argument #1 cannot convert GameplayKit.GKComponentSystem<T> expression to type GameplayKit.GKComponentSystem<GameplayKit.GKComponent>

在 _systems.Add(system) 行中.

我以为我了解 C#，但这是我很高兴拥有 StackOverflow 的情况之一 - 我到底哪里不明白？

system是 GKComponentSystem<T>和 T必须是 GKComponent , 所以 system是 GKComponentSystem<GKComponent>我应该可以将它添加到我的列表中。

这是 GKComponentSystem :

public class GKComponentSystem<T> : NSObject where T : GKComponent

它的 T也是一个GKComponent ...

这是关于逆变(我肯定需要学习更多的主题)吗？

Answer 1

这是一个更简单的例子:

 class Parent
 {
 }

 class Child : Parent
 {
 }


 class GenericClass<T> 
 {
 }


 Parent p;
 p = new Child();  // A child inherits from Parent, so this is allowed.

 GenericClass<Parent> gp;

 gp = new GenericClass<Child>();  // Not allowed! GenericClass<Child> does not inherit from GenericClass<Parent>

在您的示例中，T继承自 GKComponent , 不会转化为 GKComponentSystem<T> 的规则可以转换为GKComponentSystem<GKComponent> .

现在让我们将其应用于列表。

List<Parent> l = new List<Parent>();
l.Add(new Child());  // A child can be converted to a Parent, this is OK


List<GenericClass<Parent>> gl = new List<GenericClass<Parent>>();

gl.Add(new GenericClass<Child>()); // A GenericClass<Child> does not convert to GenericClass<Parent>, so this is not allowed.

如果你真的想让它工作，你可以定义一个通用接口(interface)。这些允许您使用 out 指定通用参数如下:

 interface IGenericClass<out T>
 {
 }

 class GenericClass<T> : IGenericClass<T>
 {
 }

 IGenericClass<Child> gcChild = new GenericClass<Child>();
 IGenericClass<Parent> gcParent = gcChild; // This is allowed!

 var l = new List<IGenericClass<Parent>>();
 l.Add(new GenericClass<Child>()); // Also allowed

因此，将其应用于您的示例:

 interface IGKComponentSystem<out T> 
 {
 }

 class GKComponentSystem<T> : IGKComponentSystem
 {
 }

 List<IGKComponentSystem<GKComponent>> _systems = new List<IGKComponentSystem<GKComponent>(); 

 // Should work from there...  
 public void AddSystem<T>(int position = -1) where T : GKComponent
 {
    var system = new GKComponentSystem<T>();
    _systems.Add(system);
 }