接口实现混乱

Question

假设你有这个：

// General purpose
public interface ISerializer
{
    IDataResult Serialize<T>(T instance);
}

// General purpose
public interface IDataResult
{
}

// Specific - and I implement IDataResult
public interface IMyCrazyDataResult : IDataResult
{
}

public class MyCrazySerializer : ISerializer
{
    // COMPILE ERROR:
    // error CS0738: 'MyCrazySerializer' does not implement interface member 'ISerializer.Serialize<T>(T)'. 
    // 'MyCrazySerializer.Serialize<T>(T)' cannot implement 'ISerializer.Serialize<T>(T)' because it does 
    // not have the matching return type of 'IDataResult'.
    public IMyCrazyDataResult Serialize<T>(T instance)
    {
        throw new NotImplementedException();
    }
}

到底为什么我会得到这个编译错误？我尊重接口——事实上，我确实返回了一个 IDataResult，尽管是间接的。是编译器无法解决这个问题，还是从根本上（在 OO 级别）有什么问题？

我认为拥有一个接口的全部意义在于我可以保证一些实现，但让我可以添加它。这就是我正在做的 - 但我得到一个编译错误。

在我的真实代码中，我希望返回类型更具体一点，因为我在派生接口中有几个附加方法。如果我将 MyCrazySerializer.Serialize 的返回类型设为 IDataResult 类型，那么智能感知只会向我显示基本的常用方法，我想在其中显示更具体的接口。

我还能如何做到这一点？这段代码有什么问题？？？

Answer 1

C# 不支持return type covariance，因此您需要完全按照界面上显示的方式实现Serialize<T> 方法。但是，您可以显式实现它，这意味着任何知道MyCrazySerializer 真实类型的客户端都可以访问更具体的方法：

public class MyCrazySerializer : ISerializer
{
    public IMyCrazyDataResult Serialize<T>(T instance)
    {
        throw new NotImplementedException();
    }

    IDataResult ISerializer.Serialize<T>(T instance)
    {
        return this.Serialize(instance);
    }
}

正如评论指出的那样，您可以简单地在显式实现中调用更具体的版本。

你可以用作：

IMyCrazyDataResult result = new MyCrazySerializer().Serialize<int>(1);
ISerializer serializer = (ISerializer)new MyCrazySerializer();
IDataResult = serializer.Serialize<int>(1);

Answer 2

您可以在 C# 中构建自己的返回类型协方差：

// General purpose
public interface ISerializer<out TResult> where TResult : IDataResult
{
    TResult Serialize<T>(T instance);
}

// General purpose
public interface IDataResult
{
}

// Specific - and I implement IDataResult
public interface IMyCrazyDataResult : IDataResult
{
}

public class MyCrazySerializer : ISerializer<IMyCrazyDataResult>
{
    public IMyCrazyDataResult Serialize<T>(T instance)
    {
        throw new NotImplementedException();
    }
}

Serialize 的返回类型明确声明为派生自 IDataResult，而不是精确的 TResult。

Answer 3

到底为什么我会得到这个编译错误？我尊重界面

不，你不是。您返回的不是IDataResult，而是IMyCrazyDataResult。是的，它继承自 IDataResult，但它不与它相同。

当涉及到接口时，您不会得到差异 - 类型必须完全匹配。

Answer 4

你没有履行接口契约，因为你指定了一些不同的东西作为方法的返回类型，签名必须完全匹配。这并不意味着您不能返回更指定的接口，以下是完全可以的：

// General purpose
public interface ISerializer
{
    IDataResult Serialize<T>(T instance);
}

// General purpose
public interface IDataResult
{
}

// Specific - and I implement IDataResult
public interface IMyCrazyDataResult : IDataResult
{
}

public class MyCrazySerializer : ISerializer
{
    public IDataResult Serialize<T>(T instance)
    {
        // return a IMyCrazyDataResult here
    }
}

Answer 5

与 C++ 不同，C# 没有 covariant return type。