删除接口中的冗余类型

我有以下接口

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>

当然，最后一个片段无法编译。

这段代码编译得很好，但我想知道，这最后一个 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<>- 仅非通用基本接口中的那些。