如何让Java泛型方法仅接受接口类型以实现编译时校验？

示例代码 #

package com.test;

import org.reflections.Reflections;
import java.util.Set;

public class Main {
    public interface TestA {}
    public interface TestB {}

    public static class Aclass implements TestA {}
    public static class Bclass implements TestA, TestB {}

    public static <T> Set<Class<? extends T>> getClassesThatImplement(Class<T> interfaceClass) {
        Reflections reflect = new Reflections("com.test");
        return reflect.getSubTypesOf(interfaceClass);
    }

    public static void main(String[] args) {
        Set<Class<? extends TestA>> aClasses = getClassesThatImplement( TestA.class );
        // Prints [class com.test.Main$Aclass, class com.test.Main$Bclass]
        System.out.println(aClasses);

        Set<Class<? extends TestB>> bClasses = getClassesThatImplement( TestB.class );
        // Prints [class com.test.Main$Bclass]
        System.out.println(bClasses);
    }
}

问题描述 #

如何限制getClassesThatImplement方法仅接受接口类作为参数，使传入普通类时触发编译时错误而非运行时错误？因无约束泛型类型<T>的通用根接口，请问Java是否有实现方式，还是只能依赖运行时检查？

解答 #

纯Java语法层面，没办法在编译时强制限定这个方法的参数必须是接口类。因为Java的泛型边界只能用来约束<T>继承自某个类或实现某个接口，比如T extends Runnable，但没法指定“<T>必须是一个接口类型”——Java类型系统没把「接口」作为可在泛型中约束的范畴，加上泛型擦除的特性，编译期无法通过类型参数直接判断传入的Class对象对应的是类还是接口。

如果想要尽可能提前发现错误，有两种方案：

1. 运行时检查（最简单直接）
   在方法开头加一段判断，一旦传入非接口类就直接抛出异常，让错误在调用时立刻暴露：

   public static <T> Set<Class<? extends T>> getClassesThatImplement(Class<T> interfaceClass) {
       if (!interfaceClass.isInterface()) {
           throw new IllegalArgumentException("参数必须是接口类: " + interfaceClass.getName());
       }
       Reflections reflect = new Reflections("com.test");
       return reflect.getSubTypesOf(interfaceClass);
   }
   

2. 编译期自定义检查（需额外工具）
   可以通过**注解处理器（APT）**实现编译期检查：自己定义一个比如@InterfaceOnly的注解，然后编写编译期处理器，在编译时扫描调用getClassesThatImplement的地方，检查传入的Class常量是否对应接口类型，若不是则抛出编译错误。但这需要额外开发注解和处理器，还要配置编译环境，不属于纯Java语法自带的能力。

总的来说，如果不想额外折腾工具，运行时检查是最务实的选择。

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