Java泛型精确类型匹配：如何实现同类型参数编译时校验？

首先，你说得没错——当你用Object作为参数类型时，任何对象都能被传入，包括"hello"和5，因为它们都继承自Object。要实现编译期就阻止非相同类型对象传入的需求，我们可以用泛型来做基础限制，再结合一些技巧来强化约束。

基础泛型方案：限制到共同类型 #

先写一个泛型方法，让两个参数共享同一个类型参数T：

public class SameTypeProcessor {
    // 泛型方法，要求两个参数类型统一为T
    public <T> void process(T first, T second) {
        // 你的业务逻辑
        System.out.println("处理同类型对象：" + first + " 和 " + second);
    }

    public static void main(String[] args) {
        SameTypeProcessor processor = new SameTypeProcessor();
        
        // 合法：两个都是String
        processor.process("hello", "world");
        
        // 合法：两个都是Integer
        processor.process(5, 10);
        
        // 这里编译会通过？！因为String和Integer都实现了Serializable和Comparable接口
        // 编译器会自动推断T为Serializable & Comparable<?>
        processor.process("hello", 5);
    }
}

这个方案能限制大部分不同类型的传入（比如String和自定义Dog类），但像String和Integer这种有共同接口的类型，编译器还是会找到共同超类型，允许调用。这是Java类型系统的特性，纯Java语法没法完全阻止这种情况的编译。

强化方案：运行时精确类型检查 #

如果想要确保两个对象的精确类型完全一致（即使是父类和子类也不行），可以在方法里加上运行时检查：

public class ExactTypeProcessor {
    public <T> void process(T first, T second) {
        // 检查两个对象的实际类型是否完全相同
        if (first.getClass() != second.getClass()) {
            throw new IllegalArgumentException("两个对象必须是完全相同的类型！");
        }
        // 你的业务逻辑
        System.out.println("处理同类型对象：" + first + " 和 " + second);
    }

    public static void main(String[] args) {
        ExactTypeProcessor processor = new ExactTypeProcessor();
        
        processor.process("hello", "world"); // 正常运行
        processor.process(5, 10); // 正常运行
        
        // 运行时抛出异常，而不是编译错误
        processor.process("hello", 5);
    }
}

这个方案能在运行时拦截精确类型不匹配的情况，虽然不是编译期错误，但能保证逻辑的正确性。

编译期精确检查：借助第三方工具 #

如果必须要在编译期就阻止精确类型不匹配的调用，可以使用静态代码分析工具，比如Checker Framework的Exactness Checker。它能通过自定义注解和编译期检查，强制两个参数的类型完全相同。不过这需要额外配置编译环境，不属于纯Java语法的范畴。

总结一下：纯Java语法下，我们没法完全在编译期阻止所有不同类型的传入（比如有共同接口的类型），但泛型方法能覆盖大部分场景，配合运行时检查可以保证业务正确性；如果需要严格的编译期检查，就得借助第三方工具啦。

内容的提问来源于stack exchange，提问作者Dušan Rychnovský