在父/接口中使用子类型

本文关键字：类型 接口 在父 | 更新日期: 2023-09-27 18:17:46

有没有办法在接口中使用子类型？我正在努力制作序列化接口：

interface ISerialize
{
    byte[] Serialize();
    ? Deserialize(byte[] serialized); // what would go here?
}
当它序列化时，该类应返回

一个表示对象的字节数组，当它反序列化时，它应基于序列化数据返回自身的新类。 有没有办法在界面中使用子类型？ 我宁愿不使用 ISerialize 作为返回类型，这样就不需要强制转换为子类。 我也认为泛型不应该是必需的，因为实现的类只会返回它自己的类型。

注意：我不是在寻找替代的序列化方法(尽管欢迎您发表评论并提出建议(，总的来说，我对这个问题很好奇。

编辑：我知道反序列化应该是无效的，但我想不出这个问题适用的另一种情况。

我为解决序列化问题所做的是使用以下代码：

interface ISerialize
{
    byte[] Serialize();
    void Deserialize(byte[] serialized);
}
public static class ISerializeExtensions
{
    public static T Deserialize<T>(this T sender, byte[] serialized) where T : ISerialize
    {
        T ret = default(T);
        ret.Deserialize(serialized);
        return ret;
    }
}

这克服了需要创建新对象进行反序列化的问题。不过，我仍然对原始问题感兴趣。

在父/接口中使用子类型

这就是为什么没有泛型就无法做到这一点的原因。 假设我有一个如下所示的集合：

List<ISerialize> serialzeObjects = new List<ISerialize>();

如果有一种方法可以做你想做的事，你会在这里放什么：

foreach( var obj in serializeObjects )
{
    ? deserialized = obj.Deserialize( /* ... */ );
}

编译器无法验证Deserialize的返回类型，如果它可以是实现ISerialize的任何内容。 编译器能做的最好的事情就是说它返回的对象实现了ISerialize。 这就是你以这种方式声明接口时得到的：

public interface ISerialize
{
    byte[] Serialize();
    ISerialize Deserialize( byte[] data );
}

您必须强制转换为实现类型，因为通常无法在编译时知道返回类型到底是什么。

另一种方法是使用泛型：

public interface ISerialize<T>
{
    byte[] Serialize();
    T Deserialize( byte[] data );
}

现在，您可以拥有特定的返回类型。 但你确实在这里失去了一些东西。 ISerialize<T> 和ISerialize<U>不能存储在同一位置，因为接口的类型参数是不变的。 但是我们可以对此做点什么：

public interface ISerialize<out T>
{
    byte[] Serialize();
    T Deserialize( byte[] data );
}

现在我们已经在 T 中使ISerialize<T>接口协变。 这意味着我们可以做这样的事情：

ISerialize<object> serializable = new Foo();

前提是Foo看起来像这样：

public class Foo : ISerialize<Foo>
{
    /* ... */
}

因此，现在，从某种意义上说，ISerialize<T>接口尊重其类型参数的继承层次结构。

编辑：如果你想添加一个类只能实现ISerialize的约束，这是完全可能的：

public interface ISerialize<out T> where T : ISerialize<T>
{
    byte[] Serialize();
    T Deserialize( byte[] data );
}

现在，这将阻止您执行以下操作：

public class Dog : ISerialize<Cat>
{
}

但是，正如评论中指出的那样，如果Cat : ISerialize<Cat>，那么此约束对您没有帮助。

相关文章：