自 jdk5 推出以来,注解已成为java生态系统不可缺少的一部分。虽然开发者为java框架(例如spring的@autowired)开发了无数的自定义注解,但编译器认可的一些注解非常重要。
在本文中,我们将看到5个java编译器支持的注解,并了解其期望用途。顺便,我们将探索其创建背后的基本原理,围绕其用途的一些特质,以及正确应用的一些例子。虽然其中有些注解比其他注解更为常见,但非初学java开发人员都应该消化了解每个注解。
首先,我们将深入研究java中最常用的注解之一:@override。
覆盖方法的实现或为抽象方法提供实现的能力是任何面向对象(oo)语言的核心。由于java是oo语言,具有许多常见的面向对象的抽象机制,所以在非终极超类定义的非最终方法或接口中的任何方法(接口方法不能是最终的)都可以被子类覆盖。虽然开始时覆盖方法看起来很简单,但是如果执行不正确,则可能会引入许多微小的bug。例如,用覆盖类类型的单个参数覆盖object#equals方法就是一种常见的错误:
public class foo { public boolean equals(foo foo) { // check if the supplied object is equal to this object } }
由于所有类都隐式地从object类继承,foo类的目的是覆盖object#equals方法,因此foo可被测试是否与java中的任何其他对象相等。虽然我们的意图是正确的,但我们的实现则并非如此。实际上,我们的实现根本不覆盖object#equals方法。相反,我们提供了方法的重载:我们不是替换object类提供的equals方法的实现,而是提供第二个方法来专门接受foo对象,而不是object对象。我们的错误可以用简单实现来举例说明,该实现对所有的相等检查都返回true,但当提供的对象被视为object(java将执行的操作,例如在java collections framework即jcf中)时,就永远不会调用它:
public class foo { public boolean equals(foo foo) { return true; } } object foo = new foo(); object identicalfoo = new foo(); system.out.println(foo.equals(identicalfoo)); // false
这是一个非常微妙但常见的错误,可以被编译器捕获。我们的意图是覆盖object#equals方法,但因为我们指定了一个类型为foo而不是object类型的参数,所以我们实际上提供了重载的object#equals方法,而不是覆盖它。为了捕获这种错误,我们引入@override注解,它指示编译器检查覆盖实际有没有执行。如果没有执行有效的覆盖,则会抛出错误。因此,我们可以更新foo类,如下所示:
public class foo { @override public boolean equals(foo foo) { return true; } }
如果我们尝试编译这个类,我们现在收到以下错误:
$ javac foo.java foo.java:3: error: method does not override or implement a method from a supertype @override ^1 error
实质上,我们已经将我们已经覆盖方法的这一隐含的假设转变为由编译器进行的显性验证。如果我们的意图被错误地实现,那么java编译器会发出一个错误——不允许我们不正确实现的代码被成功编译。通常,如果以下任一条件不满足,则java编译器将针对使用@override注解的方法发出错误(引用自override注解文档):
该方法确实会覆盖或实现在超类中声明的方法。
该方法的签名与在object中声明的任何公共方法(即equals或hashcode方法)的签名覆盖等价(override-equivalent)。
因此,我们也可以使用此注解来确保子类方法实际上也覆盖超类中的非最终具体方法或抽象方法:
public abstract class foo { public int dosomething() { return 1; } public abstract int dosomethingelse(); }public class bar extends foo { @override public int dosomething() { return 10; } @override public int dosomethingelse() { return 20; } } foo bar = new bar(); system.out.println(bar.dosomething()); // 10system.out.println(bar.dosomethingelse()); // 20
@override注解不仅不限于超类中的具体或抽象方法,而且还可用于确保接口的方法也被覆盖(从jdk 6开始):
public interface foo { public int dosomething(); }public class bar implements foo { @override public int dosomething() { return 10; } } foo bar = new bar(); system.out.println(bar.dosomething()); // 10
通常,覆盖非final类方法、抽象超类方法或接口方法的任何方法都可以使用@override进行注解。有关有效覆盖的更多信息,请参阅《overriding and hiding》文档 以及《java language specification (jls)》的第9.6.4.4章节。
随着jdk 8中lambda表达式的引入,函数式接口在java中变得越来越流行。这些特殊类型的接口可以用lambda表达式、方法引用或构造函数引用代替。根据@functionalinterface文档,函数式接口的定义如下:
一个函数式接口只有一个抽象方法。由于默认方法有一个实现,所以它们不是抽象的。
例如,以下接口被视为函数式接口:
public interface foo { public int dosomething(); }public interface bar { public int dosomething(); public default int dosomethingelse() { return 1; } }
因此,下面的每一个都可以用lambda表达式代替,如下所示:
public class functionalconsumer { public void consumefoo(foo foo) { system.out.println(foo.dosomething()); } public void consumebar(bar bar) { system.out.println(bar.dosomething()); } } functionalconsumer consumer = new functionalconsumer(); consumer.consumefoo(() -> 10); // 10consumer.consumebar(() -> 20); // 20
重点要注意的是,抽象类,即使它们只包含一个抽象方法,也不是函数式接口。更多信息,请参阅首席java语言架构师brian goetz编写的《allow lambdas to implement abstract classes》。与@override注解类似,java编译器提供了@functionalinterface注解以确保接口确实是函数式接口。例如,我们可以将此注解添加到上面创建的接口中:
@functionalinterfacepublic interface foo { public int dosomething(); }@functionalinterfacepublic interface bar { public int dosomething(); public default int dosomethingelse() { return 1; } }
如果我们错误地将接口定义为非函数接口并用@functionalinterface注解了错误的接口,则java编译器会发出错误。例如,我们可以定义以下带注解的非函数式接口:
@functionalinterfacepublic interface foo { public int dosomething(); public int dosomethingelse(); }
如果我们试图编译这个接口,则会收到以下错误:
$ javac foo.java foo.java:1: error: unexpected @functionalinterface annotation @functionalinterface ^ foo is not a functional interface multiple non-overriding abstract methods found in interface foo1 error
使用这个注解,我们可以确保我们不会错误地创建原本打算用作函数式接口的非函数式接口。需要注意的是,即使在@functionalinterface注解不存在的情况下,接口也可以用作函数式接口(可以替代为lambdas,方法引用和构造函数引用),正如我们前面的示例中所见的那样。这类似于@override注解,即一个方法是可以被覆盖的,即使它不包含@override注解。在这两种情况下,注解都是允许编译器执行期望意图的可选技术。
有关@functionalinterface注解的更多信息,请参阅@functionalinterface文档和《jls》的第4.6.4.9章节。
警告是所有编译器的重要组成部分,为开发人员提供的反馈——可能危险的行为或在未来的编译器版本中可能会出现的错误。例如,在java中使用泛型类型而没有其关联的正式泛型参数(称为原始类型)会导致警告,就像使用不推荐使用的代码一样(请参阅下面的@deprecated部分)。虽然这些警告很重要,但它们可能并不总是适用甚至并不总是正确的。例如,可能会有对不安全的类型转换发生警告的情况,但是基于使用它的上下文,我们可以保证它是安全的。
为了忽略某些上下文中的特定警告,jdk 5中引入了@suppresswarnings注解。此注解接受一个或多个字符串参数——描述要忽略的警告名称。虽然这些警告的名称通常在编译器实现之间有所不同,但有3种警告在java语言中是标准化的(因此在所有java编译器实现中都很常见):
unchecked:表示类型转换未经检查的警告(编译器无法保证类型转换是安全的),导致发生的可能原因有访问原始类型的成员(参见《jls》4.8章节)、窄参考转换或不安全的向下转换(参见《jls》5.1.6章节)、未经检查的类型转换(参见《jls》5.1.9章节)、使用带有可变参数的泛型参数(参见《jls》8.4.1章节和下面的@safevarargs部分)、使用无效的协变返回类型(参见《jls》8.4.8.3章节)、不确定的参数评估(参见《jls》15.12.4.2章节),未经检查的方法引用类型的转换(参见《jls》15.13.2章节)、或未经检查的lambda类型的对话(参见《jls》15.27.3章节)。
deprecation:表示使用了已弃用的方法、类、类型等的警告(参见《jls》9.6.4.6章节和下面的@deprecated部分)。
removal:表示使用了最终废弃的方法、类、类型等的警告(参见《jls》9.6.4.6章节和下面的@deprecated部分)。
为了忽略特定的警告,可以将@suppressedwarning注解与抑制警告(以字符串数组的形式提供)的一个或多个名字添加到发生警告的上下文中:
public class foo { public void dosomething(@suppresswarnings("rawtypes") list mylist) { // do something with mylist } }
@suppresswarnings注解可用于以下任何一种情况:
类型
域
方法
参数
构造函数
局部变量
模块
一般来说,@suppresswarnings注解应该应用于最直接的警告范围。例如,如果方法中的局部变量应忽略警告,则应将@suppresswarnings注解应用于局部变量,而不是包含局部变量的方法或类:
public class foo { public void dosomething() { @suppresswarnings("rawtypes") list mylist = new arraylist(); // do something with mylist } }
可变参数在java中是一种很有用的技术手段,但在与泛型参数一起使用时,它们也可能会导致一些严重的问题。由于泛型在java中是非特定的,所以具有泛型类型的变量的实际(实现)类型不能在运行时被断定。由于无法做出此判断,因此变量可能会存储非其实际类型的引用到类型,如以下代码片段所示(摘自《java generics faqs》):
list ln = new arraylist(); ln.add(1); list ls = ln; // unchecked warning string s = ls.get(0); // classcastexception
在将ln分配给ls后,堆中存在变量ls,该变量具有list
public class foo { publicvoid dosomething(t... args) { // ... } }
在这种情况下,java编译器会在调用站点内部创建一个数组来存储可变数量的参数,但是t的类型并未实现,因此在运行时会丢失。实质上,到dosomething的参数实际上是object[]类型。如果依赖t的运行时类型,那么这会导致严重的问题,如下面的代码片段所示:
public class foo { publicvoid dosomething(t... args) { object[] objects = args; string string = (string) objects[0]; } } foo foo = new foo(); foo. dosomething(1, 2);
如果执行此代码片段,那么将导致classcastexception,因为在调用站点传递的第一个number参数不能转换为string(类似于独立堆污染示例中抛出的classcastexception)。通常,可能会出现以下情况:编译器没有足够的信息来正确确定通用可变参数的确切类型,这会导致堆污染,这种污染可以通过允许内部可变参数数组从方法中转义来传播,如下面摘自《effective java》第3版 pp.147的例子:
public statict[] toarray(t... args) { return args; }
在某些情况下,我们知道方法实际上是类型安全的,不会造成堆污染。如果可以在保证的情况下做出这个决定,那么我们可以使用@safevarargs注解来注解该方法,从而抑制与可能的堆污染相关的警告。但是,这引出了一个问题:什么时候通用可变参数方法会被认为是类型安全的?josh bloch在《effective java》第3版第147页的基础上提供了一个完善的尊龙凯时英国站的解决方案——基于方法与内部创建的用于存储其可变参数的数组的交互:
如果方法没有存储任何东西到数组(这会覆盖参数)且不允许对数组的引用进行转义(这会使得不受信任的代码可以访问数组),那么它是安全的。换句话说,如果可变参数数组仅用于从调用者向方法传递可变数量的参数——毕竟,这是可变参数的目的——那么该方法是安全的。
因此,如果我们创建了以下方法(来自pp.149同上),那么我们可以用@safevarags注解来合理地注解我们的方法:
@safevarargsstaticlist flatten(list... lists) { list result = new arraylist<>(); for (list list : lists) { result.addall(list); } return result; }
有关@safevarargs注解的更多信息,请参阅@safevarargs文档,《jls》9.6.4.7章节以及《effective java》第3版中的item32。
在开发代码时,有时候代码会变得过时和不应该再被使用。在这些情况下,通常会有个替补的更适合手头的任务,且虽然现存的对过时代码的调用可能会保留,但是所有新的调用都应该使用替换方法。这个过时的代码被称为不推荐使用的代码。在某些紧急情况下,不建议使用的代码可能会被删除,应该在未来的框架或库版本从其代码库中删除弃用的代码之前立即转换为替换代码。
为了支持不推荐使用的代码的文档,java包含@deprecated注解,它会将一些构造函数、域、局部变量、方法、软件包、模块、参数或类型标记为已弃用。如果弃用的元素(构造函数,域,局部变量等)被使用了,则编译器发出警告。例如,我们可以创建一个弃用的类并按如下所示使用它:
@deprecatedpublic class foo {} foo foo = new foo();
如果我们编译此代码(在命名为main.java的文件中),我们会收到以下警告:
$ javac main.javanote: main.java uses or overrides a deprecated api.note: recompile with -xlint:deprecation for details.
通常,每当使用@deprecated注解的元素时,都会引发警告,除了用于以下五种情况:
声明本身就被声明为是弃用的(即递归调用)。
声明被注解禁止弃用警告(即@suppresswarnings(“deprecation”)注解,如上所述,应用于使用弃用元素的上下文。
使用和声明都在同一个最外面的类中(即,如果类调用其本身的弃用方法)。
用在import声明中,该声明导入通常不赞成使用的类型或构件(即,在将已弃用的类导入另一个类时)。
exports或opens指令内。
正如前面所说的,在某些情况下,当不推荐使用的元素将被删除,则调用代码应立即删除不推荐使用的元素(称为terminally deprecated code)。在这种情况下,可以使用forremoval参数提供的@deprecated注解,如下所示:
@deprecated(forremoval = true)public class foo {}
使用此最终弃用代码会导致一系列更严格的警告:
$ javac main.java main.java:7: warning: [removal] foo in com.foo has been deprecated and marked for removal foo foo = new foo(); ^ main.java:7: warning: [removal] foo in com.foo has been deprecated and marked for removal foo foo = new foo(); ^2 warnings
除了标准@deprcated注解所描述的相同异常之外,总是会发出最终弃用的警告。我们还可以通过为注解提供since变量来添加文档到@deprecated注解中:
@deprecated(since = "1.0.5", forremoval = true)public class foo {}
可以使用@deprecated javadoc元素(注意小写字母d)进一步文档化已弃用的元素,如以下代码片段所示:
/** * some test class. * * @deprecated replaced by {@link com.foo.newerfoo}. * * @author justin albano */@deprecated(since = "1.0.5", forremoval = true)public class foo {}
javadoc工具将生成以下文档:
有关@deprecated注解的更多信息,请参阅@deprecated文档和《jls》9.6.4.6章节。
自jdk 5引入注解以来,注解一直是java不可缺少的一部分。虽然有些注解比其他注解更受欢迎,但本文中介绍的这5种注解是新手级别以上的开发人员都应该理解和掌握的:@override,@functionalinterface,@suppresswarnings,@safevarargs,和@deprecated。虽然每种方法都有其独特的用途,但所有这些注解使得java应用程序更具可读性,并允许编译器对我们的代码执行一些其他隐含的假设。随着java语言的不断发展,这些经过实践验证的注解可能服务多年,帮助确保更多的应用程序按开发人员的意图行事。