在父/界面中使用子类型

Question

有没有一种方法可以在界面中使用子类型？ 我正在制作一个序列化接口：

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

这样就解决了需要创建一个新对象进行反序列化的问题。 我仍然对原始问题感兴趣。

Answer 1

这就是为什么没有泛型就无法做到这一点。 假设我有一个看起来像这样的收藏集：

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

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

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

如果编译器可以实现ISerialize ，则编译器无法验证Deserialize的返回类型。 编译器可以做的最好的事情就是说它返回的对象实现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 );
}

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

ISerialize<object> serializable = new Foo();

假设Foo看起来像这样：

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

因此，从某种意义上说，现在， ISerialize<T>接口将其类型参数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> ，那么此约束将无济于事。