@Contract 注释

IntelliJ IDEA中 @Contract 注释通过定义方法参数和返回值之间的依赖关系，为您的代码带来更多的安全性。该信息为源代码提供了更智能的控制流分析，并有助于避免可能出现的错误。

@Contract 注释是一个强大而灵活的工具，可以让你的 API 的安全。此外，它不仅可以用于注释自己的代码，还可以用于其他现有的库。

一旦为项目库配置了注释，IntelliJ IDEA 就会将注释的信息存储在简单的 XML 文件中，以便通过版本控制与团队共享。

若要启用项目中的注释，请通过项目结构对话框将 <IntelliJ IDEA Home>/lib/annotations.jar 添加到类路径中。

@Contract 注释的使用可以通过以下示例来说明：

	@Contract("_, null -> null") ：如果方法的第二个参数是 null，方法返回 null。
	@Contract("_, null -> null; _, !null -> !null")：如果方法的第二个参数是 null，则方法返回 null，否则为 null。
	@Contract("true -> fail") ：一个典型的 assertFalse () 方法，如果将 true 传递给它，则抛出一个异常。

@Contract 注释的语法

该 @Contract 注释值的语法如下：

contract ::= (clause ‘;’)\* clause
clause ::= args ‘->’ effect
args ::= ((arg ‘,’)\* arg )?
arg ::= value-constraint
value-constraint ::= ‘\_’ | ‘null’ | ‘!null’ | ‘false’ | ‘true’
effect ::= value-constraint | ‘fail’

这里的约束是：

	_ ：任何价值
	null：空值
	!null：一个静态证明为不是空值
	true：布尔值：真
	false：布尔值：假
	fail ：如果参数满足参数约束，该方法将抛出异常

@Contract 注释的属性

该 @Contract 注释有两个属性： value 和 pure。

value 属性包含描述调用参数和返回值之间的因果关系的 contract 子句。

pure 属性适用于不更改其对象状态的方法，但只返回一个新值。该属性可以用作“忽略方法调用的结果”检查的提示，以指示在调用时应该使用方法的返回值。它是假（false）（默认情况下），也可以为真（true）。

参考例子

请考虑以下代码：

private static void printSorted(){
            List <Integer> sorted = Quicksort.sort(null);
            if (sorted != null){
                System.out.println("Sorted array" + sorted);
            }
}

public static <T extends Comparable<T>> List<T> sort(List<T> list){
        if(list != null){
            List<T> copy = new ArrayList<T>(list);
            sort(copy);
            return copy;
        }
        else {
            return null;
        }
}

IntelliJ IDEA 不知道 null 输入产生一个空输出。

我们用 @Contract 注释来修饰 sort () 方法，指定 null 输入产生 null 输出。

IntelliJ IDEA @Contract 注释的属性