java - 泛型 Java 8 上的调用方法

Question

我有一个函数，它接受一个具有某种generic类型的参数

public < T extends SomeA > String foo(T t) {...}

现在... SomeA包含了一系列可以调用的方法，比如baz1(), baz2(), baz3() 等...

现在，问题来了

1. 将传递给 foo(T t) 的变量 T 将是 SomeB 或 的实例>SomeC，其中 SomeB extends SomeA 和 SomeC extends someA。

2. SomeB 和 SomeC 都包含一个返回 SomeD 的方法 glop(...) ，但是，glop(...) 不在SomeA 中。

3. 我希望能够传递 foo(T t) 以便它接受 SomeB 或 SomeC，但是，我需要调用 glop(...)(例如如下)

例如

public < T extends SomeA > String foo(T t) {
    return t.glop().methodInsideOfSomeD().toString();
}

我宁愿不为 SomeB 和 SomeC 分别实现 foo(即 fooSomeB fooSomeC)。我希望能够将此方法传递给提供 SomeB 或 SomeC 的函数(或者更好的任何包含方法 glop(...))。

问题:我无法更改 SomeB 或 SomeC 的实现或声明，因为它们驻留在我做的库中不控制。因此，我不能让它们都实现一些提供 glop(...) 的接口(interface)。

我只是运气不好吗？

Answer 1

请注意，使用您描述的签名定义泛型方法几乎没有意义。如果类型参数 T 仅用作一个或多个参数的类型，那么您不妨通过手动删除它来简化事情:

public String foo(SomeA t) { /* ... */ }

---

无论如何，您至少有这些符合您要求的备选方案:

1. 将一个 foo() 替换为两个重载的，一个的类型参数由 SomeB 限定，另一个的类型参数由 限定>一些C。这假设您没有为此目的担心 SomeA 的其他子类型，这似乎是合理的，因为 SomeA 没有 glop().

2. 在foo()的实现中，使用instanceof运算符(或Class.isInstance())来识别实例SomeB 和 SomeC，并适本地处理它们。

3. 在 foo() 中使用反射来确定参数的类是否提供具有预期签名的可访问的 glop()，如果是，则以反射方式调用它.

这些都不需要您以任何方式修改 SomeA、SomeB 或 SomeC。我知道你说过你不想做 (1)，但它非常简单明了。你应该考虑一下。

I want to be able to pass this method around to functions providing [...] or even better anything that contains the method glop(...)).

那将是 (3)，可能参数类型更改为 Object，但我怀疑您是否真的想要它。反射很困惑，通常应该避免。