删除接口中的冗余类型

Question

我有以下接口

public interface IRevision<TRevisionType>
{ ... }

public interface IRevisionLog
{ ... }

public interface IRevisionControl<in TRevision, TLogType,T>
  where TRevision : IRevision<T> 
  where TLogType : IRevisionLog
{ ... }

这段代码编译得很好，但我想知道，最后一个 T 真的需要吗？ 当我实现 IRevision 时，我将传递类型 T，所以真的不需要重复类型。

我的演示实现是：

public class HgRevision : IRevision<string>
{ ...}

public class HgLog : IRevisionLog
{ ... }

public class Hg : IRevisionControl<HgRevision, HgLog, string>

我传递了两次字符串。我想知道我是否可以这样做：

public interface IRevisionControl<in TRevision, TLogType>
  where TRevision : IRevision
  where TLogType : IRevisionLog
{ ... }

所以我的汞是：

public class Hg : IRevisionControl<HgRevision, HgLog>

当然，最后这个 sn-p 不会编译。

Answer 1

这段代码编译得很好，但我想知道，这最后一个 T 真的需要吗？

是的，假设您确实需要TRevision 上的约束。如果你不这样做，那很好......但如果你这样做，你需要能够指定 which IRevision<T> 必须进行转换。

一种选择是为IRevision<> 创建一个基本接口：

public interface IRevision
{
    // Include any members which don't depend on TRevisionType
}

public interface IRevision<TRevisionType> : IRevision
{
    // The rest
}

然后你可以使用：

public interface IRevisionControl<in TRevision, TLogType>
  where TRevision : IRevision 
  where TLogType : IRevisionLog

...当然，您将无法使用IRevision<> 中声明的任何成员 - 只能使用非泛型基接口中的成员。

Answer 2

您确定在IRevisionControl 的声明中需要TRevision 吗？我的意思是，在类声明中是有意义的，因为类方法中的某些代码只能与特定的TRevision 一起使用，但在接口中，也许这就足够了：

public interface IRevisionControl<TRevisionType, TLogType>
  where TLogType : IRevisionLog
{
     void Foo(IRevision<TRevisionType> revision);
}

?