为何Java泛型check方法未调用java.sql.Date重载版本？

这是个典型的Java重载方法解析的坑——方法重载是编译时静态绑定的，而不是运行时动态匹配的，这就是为什么你的java.sql.Date专属重载方法始终没被调用的原因。

咱们一步步拆解问题根源：

1. 编译时的类型信息限制：在你的MapComparison方法里，exp和act的编译时类型是泛型参数V，而因为你的Row是HashMap<String, Object>的子类，从Row中取值时，V的编译时实际类型是Object。编译器在处理Diff.check(key, act, exp)这行代码时，只能看到act和exp是Object类型，所以它会选择最匹配的方法——也就是那个参数为<K,V>的泛型方法，而不是参数为java.sql.Date的重载方法，因为后者的参数类型和Object不匹配。
2. 泛型擦除的影响：Java的泛型是编译时特性，运行时泛型类型信息会被擦除。所以即使运行时act和exp实际是java.sql.Date对象，JVM也不会重新去匹配重载方法——因为方法调用的目标已经在编译阶段就确定好了。

你可能会疑惑：明明打印出来的类型是java.sql.Date，为什么还是不调用重载？因为打印的是运行时类型，而方法重载的匹配看的是编译时类型，这两者属于完全不同的处理阶段。

给你几个可行的解决思路： #

方案一：在调用点做类型判断与强制转换

修改MapComparison里的调用逻辑，手动判断参数类型，引导编译器匹配到重载方法：

V exp = map1.get(key);
V act = map2.get(key);
Diff<K, V> d;
// 检查两个值都是java.sql.Date类型
if (exp instanceof java.sql.Date && act instanceof java.sql.Date) {
    // 强制转换后调用重载方法，再强转回来适配泛型
    d = (Diff<K, V>) Diff.check(key, (java.sql.Date) act, (java.sql.Date) exp);
} else {
    d = Diff.check(key, act, exp);
}

这种方式直接解决了编译时类型匹配的问题，让编译器能正确找到java.sql.Date专属的重载方法。

方案二：在泛型方法内部做特殊类型处理

放弃重载，直接在原泛型check方法里加入java.sql.Date的特殊判断，逻辑更集中：

public static <K, V> Diff<K, V> check(K key, V act, V exp) {
    Diff<K, V> d = null;
    // null checks
    if (exp == null && act == null) {
        // both null, so no difference
    } else if (exp == null) {
        d = new Diff<>(key, null, act);
    } else if (act == null) {
        d = new Diff<>(key, exp, null);
    } else {
        // 特殊处理java.sql.Date类型
        boolean isEqual;
        if (exp instanceof java.sql.Date && act instanceof java.sql.Date) {
            // 比较字符串形式，忽略时分秒
            isEqual = ((java.sql.Date) exp).toString().equals(((java.sql.Date) act).toString());
        } else {
            // 普通equals比较
            isEqual = exp.equals(act);
        }
        if (!isEqual) {
            d = new Diff<>(key, exp, act);
        }
    }
    return d;
}

这种方式不用维护多个重载方法，适合只有少数特殊类型需要处理的场景。

方案三：使用策略模式（扩展性更好）

如果以后还要支持更多特殊类型的比较，可以定义比较器接口，针对不同类型实现不同的比较逻辑：

interface ValueComparator<V> {
    boolean isEqual(V exp, V act);
}

// 普通类型的默认比较器
class DefaultComparator<V> implements ValueComparator<V> {
    @Override
    public boolean isEqual(V exp, V act) {
        return exp.equals(act);
    }
}

// java.sql.Date专属比较器
class SqlDateComparator implements ValueComparator<java.sql.Date> {
    @Override
    public boolean isEqual(java.sql.Date exp, java.sql.Date act) {
        return exp.toString().equals(act.toString());
    }
}

然后修改check方法，或者在调用时传入对应的比较器，这种方式扩展性最强，适合需要处理多种特殊类型的复杂场景。

总结一下：Java的重载是编译时确定的，运行时不会根据实际类型重新选择方法，所以你需要在编译阶段让编译器能匹配到正确的重载方法，或者在方法内部做类型判断来处理特殊情况。

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