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

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

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 {...}

---

为什么会这样？

当你处理这类事情时，泛型会变得很奇怪。我没有在C#中研究过这一点，但如果它与Java类似（我怀疑是这样），那么只有在泛型参数匹配的情况下才能设置给定泛型类型的变量。例如，其他项必须是Foo类型的项（

Item

），而不是

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!!
    }
}

A类{…}
B类：A{…}
C类{
公共静态void main（字符串[]args）{
List BL=新列表（）；
列表AL=BL；
AL.Add（new A（））；//现在B实例列表中有一个A实例！！
}
}

我不确定是否有办法像C#中Java的

List那样，协方差（将派生类型分配给基类型）不能应用于泛型类。因此，您需要在新的
IItem
接口上使用应用一个专门标记为协变的接口

然而，这本身是不够的。如果
武器
有一个泛型类型参数，该参数可以是任何东西，只要它继承自
项目数据
，则无法告诉
项目
它将允许为其分配
武器
的实例。这将使编译器陷入困境，因为它不能保证关系是有效的。但是，如果将新的
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> {}

void Main（）
{
武器=新武器（）；
其他=武器；
}
公共接口项{}
公共接口IItemData{}
公共类Foo:WeaponData{}
公共类数据：ScriptableObject{}
公共类ItemData:Data，IItemData{}
公共类武器数据：ItemData{}
公共抽象类项：可视，IItem，其中T:IItemData{}
公共类武器：项目，其中T:WeaponData{}
公共类ScriptableObject{}
公共类可视{}

这要求
Item
更新为约束为
IItemData
，而不是约束为具体类型。
我知道这与此有关，我只是从来没有遇到过问题。谢谢+1@HectorLlanos很高兴听到这个消息！
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> {}