我正在尝试编写一个辅助函数来以类型安全的方式比较两种类型:typesafeEquals("abc",newInteger(42));//shouldnotcompile我的第一次直接尝试失败了:booleantypesafeEquals(Tx,Ty){//doesnotwork!returnx.equals(y);}嗯，问题是T可以推断为一个Object。现在，我想知道是否不可能在Java类型系统中实现typesafeEquals。我知道有像FindBugsfind这样的工具可以警告不兼容类型的比较。无论如何，看到没有外部工具的解决方案或解释为什么它不可能会很有趣。更新:我认为答案是不