4.4、类型注解和可插拔的类型系统

这篇Java教程基于JDK1.8。教程中的示例和实践不会使用未来发行版中的优化建议。

类型注解和可插拔的类型系统

在Java SE 8 以前，注解是不能运用到声明语句中的。在Java SE 8 之后，注解可以运用到任何类型声明上。这意味着注解可以使用在任何你使用类型的地方。使用类型的场景有 ： 类实例化表达式(new)、类型转换、接口实现子句和异常抛出子句。

创建类型检查是为了改进Java程序分析，从而确保更强的类型检查。Java SE 8未提供类型检查框架，但它允许你编写(或下载)一个类型检查框架，该框架作为一个或多个可插入模块实现，并与Java编译器一起使用。

比如，你要确保程序中一个特殊的变量不能被赋值为null，为了避免触发NullPointerException，你可以自己写一个类型检查的插件，然后修改你的代码为该变量加上注解，表明它永远不会为空，该变量声明可能如下：

@NonNull String str;

当你编译代码时，包括非空模块，如果发现了潜在的问题，编译器会打出警告，允许你修改代码以避免错误。当你修正代码消除了警告信息，这个错误在运行期就不会出现了。

当每个类型检查是为了不同类型的错误时你可以使用多个类型检查。用这种方式，你可以在Java类型系统之上，构建你需要的特殊类型检查。

通过合理地使用类型注解和可插入类型检查器，你可以编写更健壮、更不易出错的代码。

大部分情况下，你不需要编写自己的类型检查器。有第三方已经为你完成了该项工作。例如，你希望利用华盛顿大学创建的Checker框架，该框架包括一个非空模块、一个正则表达式模块和一个互斥锁模块，更多信息，请参考检查框架。