java - 由注解界定的有界类型参数

Question

在 Java 中，可以使边界类型参数必须从特定类或接口(interface)扩展，例如

public class Box<T extends MyClass> {
    T t
    ...
}

我是否可以通过注解进行绑定(bind)，以便 T 的值只能是具有特定注解的类？

Answer 1

从Java 8开始，你可以写

public class Box<T extends @MyAnno MyClass> {
...
}

与任何 Java 注释一样，要强制执行语义，您需要使用注释处理器。 Checker Framework是一种为您强制执行语义的注释处理工具:如果您尝试使用缺少 @MyAnno< 的类型参数实例化 Box 类型，您可以将其配置为发出错误 注释。