Java中实现带编译时类型检查的Objects.equals替代方案问询

针对你遇到的重构后类型不匹配但编译无提示的问题，以下是几种可行的编译时解决方案：

方案1：显式指定泛型类型调用 #

保留你最初写的泛型方法，调用时显式指定泛型类型，强制两个参数必须匹配该类型：

private static <T> boolean equals(T object1, T object2) {
    return Objects.equals(object1, object2);
}

// 调用示例：显式指定类型为Integer
equals<Integer>(someId, foo.getId());

当foo.getId()返回类型改为Long时，编译器会直接报错，因为第二个参数类型与指定的Integer不匹配。这种方式实现简单，仅需调用时多一步类型指定。

方案2：类型令牌辅助类 #

通过类型令牌（Class）约束参数类型，确保两个参数必须为同一类型：

public class TypeSafeEquals {
    private TypeSafeEquals() {} // 禁止实例化

    public static <T> EqualsChecker<T> forType(Class<T> type) {
        return new EqualsChecker<>(type);
    }

    public static class EqualsChecker<T> {
        private EqualsChecker(Class<T> type) {}

        public boolean equals(T obj1, T obj2) {
            return Objects.equals(obj1, obj2);
        }
    }
}

// 调用示例：指定类型为Integer
TypeSafeEquals.forType(Integer.class).equals(someId, foo.getId());

这种方式完全避免了跨类型调用的可能，编译时就能拦截类型不匹配的情况，适合对类型安全要求极高的场景。

方案3：利用Comparable约束（适用于可比较类型） #

对于实现了Comparable<T>的类型（如Integer、Long、String等），可以通过泛型约束强制参数类型一致：

private static <T extends Comparable<T>> boolean equals(T obj1, T obj2) {
    return Objects.equals(obj1, obj2);
}

// 调用示例：自动推断类型
equals(someId, foo.getId());

由于Integer实现的是Comparable<Integer>，Long实现的是Comparable<Long>，当传入不同类型时，编译器无法找到符合约束的泛型类型，直接报错。这种方式无需显式指定类型，但仅适用于实现了Comparable<T>的类型。

方案4：为常用类型编写重载方法 #

为项目中常用的类型（如Integer、Long、String等）编写具体的equals重载方法：

private static boolean equals(Integer a, Integer b) {
    return Objects.equals(a, b);
}

private static boolean equals(Long a, Long b) {
    return Objects.equals(a, b);
}

private static boolean equals(String a, String b) {
    return Objects.equals(a, b);
}

// 其他常用类型...

调用时直接使用对应类型的方法，当参数类型不匹配时，编译器会因找不到匹配的方法而报错。这种方式调用简洁，但需要手动维护所有用到的类型，扩展性较差。

内容的提问来源于stack exchange，提问作者markus_