C# 将派生泛型类型转换为父类

Question

在我提问之前，这是我的结构：

public class Data : ScriptableObject {...}
public class ItemData : Data {...}
public class WeaponData : ItemData {...}

public abstract class Item<T> : Visual<T> where T : ItemData {...}
public class Weapon<T> : Item<T> where T : WeaponData {...}

创建 Weapon 对象并将其分配给 Item<ItemData> 时出现错误（无法从源类型转换为目标类型）。

Weapon<Foo> weapon = new Weapon<Foo>();
Item<ItemData> other = weapon;

这是为什么？

Answer 1

当你处理这类东西时，泛型会变得很奇怪。我没有在 C# 中对此进行调查，但如果它类似于 Java - 我怀疑它是 - 如果泛型参数匹配，则只能设置给定泛型类型的变量。 例如，other 必须是 Foo (Item<Foo>) 类型的项，而不是 ItemData 类型的项。原因是这样的：

class A {...}
class B : A {...}
class C {
    public static void main(string[] args) {
        List<B> BL = new List<B>();
        List<A> AL = BL;
        AL.Add(new A()); // Now the List of B instances has an A instance in it!!
    }
}

不过，我不确定是否有办法在 C# 中执行类似 Java 的 List<? extends A> 的操作。那将是 Java 类型的解决方案。

Answer 2

在 C# 中，协变（将派生类型分配给基类型）不能应用于泛型类。因此，您需要应用一个专门标记为协变的接口，在新的 IItem 接口上使用 out parameter modifier。

然而，这本身是不够的。当 Weapon 具有可能是 [ 的泛型类型参数时，您无法告诉 Item 它允许将 Weapon 的实例分配给它=27=]任何东西 只要它继承自 ItemData。这使编译器陷入困境，因为它无法向您保证这种关系是有效的。但是，如果您将新的 IItemData 接口应用到 ItemData，则转换是允许的。

void Main()
{
    Weapon<Foo> weapon = new Weapon<Foo>();
    IItem<ItemData> other = weapon;
}

public interface IItem<out T> {}
public interface IItemData {}

public class Foo : WeaponData {}

public class Data : ScriptableObject {}
public class ItemData : Data, IItemData {}
public class WeaponData : ItemData {}

public abstract class Item<T> : Visual<T>, IItem<T> where T : IItemData {}
public class Weapon<T> : Item<T> where T : WeaponData {}

public class ScriptableObject {}
public class Visual<T> {}

这需要将 Item<T> 更新为约束为 IItemData 而不是约束为具体类型。

C# 将派生泛型类型转换为父类

C# casting derived generic type to parent

c#

generics

downcast