对泛型函数强制执行相同类型（最佳实践）

Question

我有一个通用函数，它接收两个应该属于同一类型的参数。

到目前为止，函数看起来像这样：

void <T> copyTo1(Class<T> type, T destination, T source) {
    // Do stuff
}

这很好用，但我认为这不是实现我的目标的正确方法，因为函数中不会使用类型。所以我寻找了另一种解决方案并想出了这个：

void <T, S extends T> copyTo2(T destination, S source) {
    // Do stuff
}

这两个函数允许的调用类型如下所示：

copyTo1(Object.class, new Object(), new Object()); // Okay
copyTo1(Object.class, new Object(), new String()); // Okay
copyTo1(Object.class, new String(), new Object()); // Okay
copyTo1(String.class, new String(), new String()); // Okay
copyTo1(String.class, new String(), new Date()); // Not okay

copyTo2(new Object(), new Object()); // Okay
copyTo2(new Object(), new String()); // Okay
copyTo2(new String(), new Object()); // Not okay
copyTo2(new String(), new Date()); // Not okay

第二种选择更严格，这对我来说非常好。

现在的问题是：应该首选哪种方法？还是还有一个我没看到？

非常感谢。

---

仅作记录：我知道我可以像这样定义和使用函数...

void <T> copyTo(T destination, T source) {
    // Do stuff
}

...

this.<String> copyTo(new String(), new String());

但我希望用户立即看到他正在尝试的操作何时不允许。当他省略类型的定义时，情况并非如此。

Answer 1

问题是“应该是同一类型”到底是什么意思？ Java 中的所有引用都是Object 的实例，因此根据定义，它们总是“属于同一类型”。由于任何引用类型都是Object 的子类型，因此它应该是：

void copyTo2(Object destination, Object source)

Java 中的泛型类型参数旨在提供约束，以便您可以在不进行强制转换的情况下执行某些操作。但是，在这种情况下，您对类型参数没有限制，因此除了 Object 提供的东西之外，无论如何您都无法对类型 T 执行任何操作。