由注释限制的有界类型参数

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

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

无论如何，我是否可以通过注释进行绑定，以便 T 的值只能是具有特定注释的类？

从 Java 8 开始，您可以编写

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

与任何 Java 注释一样，要强制执行语义，您需要使用注释处理器。这检查框架 http://CheckerFramework.org/是一种为您强制执行语义的注释处理工具：如果您尝试实例化Box使用缺少类型参数的类型@MyAnno注解。