创建循环泛型参照

java circular-reference generics crtp

2022-09-02 03:42:52

我正在编写一个应用程序，用于在对等网络中执行一些分布式计算。在定义网络时，我有两类P2PNetwork和P2PClient。我希望这些是通用的，所以有以下定义：

P2PNetwork<T extends P2PClient<? extends P2PNetwork<T>>>

P2PClient<T extends P2PNetwork<? extends T>>

P2PClient定义了setNetwork（T网络）的方法。我希望用这个代码描述的是：

P2P网络由特定类型的客户端组成
P2PClient可能只属于其客户端与此客户端类型相同的网络（循环引用）

这对我来说似乎是正确的，但是如果我尝试创建一个非通用版本，例如

MyP2PClient<MyP2PNetwork<? extends MyP2PClient>> myClient;

和其他变体，我从编译器那里收到许多错误。所以我的问题如下：

通用循环引用是否可能（我从未见过任何明确禁止它的东西）？
上述通用定义是否是这种循环关系的正确定义？
如果它是有效的，它是否是描述这种关系的“正确”方式（即是否有另一个有效的定义，这在风格上是首选的）？
在给定正确的通用定义的情况下，如何正确定义客户端和服务器的非通用实例？

答案 1

循环通用引用确实是可能的。Java 泛型和集合包括几个示例。对于您的情况，这样的样本将如下所示：

public interface P2PNetwork<N extends P2PNetwork<N, C>,
                            C extends P2PClient<N, C>> {
  void addClient(C client);
}

public interface P2PClient<N extends P2PNetwork<N, C>,
                            C extends P2PClient<N, C>> {
  void setNetwork(N network);
}

class TorrentNetwork implements P2PNetwork<TorrentNetwork, TorrentClient> {
  @Override
  public void addClient(TorrentClient client) {
    ...
  }
}

class TorrentClient implements P2PClient<TorrentNetwork, TorrentClient> {
  @Override
  public void setNetwork(TorrentNetwork network) {
    ...
  }
}

...

TorrentNetwork network = new TorrentNetwork();
TorrentClient client = new TorrentClient();

network.addClient(client);

答案 2

如果您进一步定义了“某种类型”的含义，即P2PNetworks的各种“类型”之间的差异，这可能有助于我们回答您。

但是，与其用彼此来表达依赖关系/循环关系，不如通过引入第三类来表达：P2PType

public class P2PNetwork<T extends P2PType> {
    ...
}
public class P2PClient<T extends P2PType> {
    ...
    public void setNetwork(P2PNetwork<T> network) { ... }
}

我可能忽略了一些东西，但我认为这将允许编译器强制P2PClients是同一通用类型的P2PNetworks的一部分。

但是，如果“类型”不适合表示为面向对象本身的东西，即如果它不是具有方法，多态行为等的东西，则此方法可能会分崩离析。P2PType