一.本章要点
- 可以为类、方法、字段、局部变量、参数、表达式、类型参数以及各种类型定义添加注解
- 对于表达式和类型，注解跟在被注解的条目之后
- 注解的形式有@Annotation、@Annotation(value)或@Annotation(name1=value1,...)
- @volatile、@transient、@strictfp、@native分别生成等效的Java修饰符
- 用@tailrec注解让你校验某个递归函数使用了尾递归化
- assert函数利用了@elidable注解，可以从Scala程序中移除所有断言
- 用@desprecated注解来标记已过时的特性
二.什么是注解
注解是插入到代码中以便有工具可以对它们处理的标签。工具可以在代码级别运作，也可以处理被编译器加入注解信息的类文件。可以对Scala使用Java注解或Scala注解。
注：Java注解并不影响编译器如何将源码翻译成字节码（它们仅仅是往字节码中添加数据，以便外部工具可以利用它们），在Scala中，注解可以影响编译过程（如@BeanProperty会出发getter和setter方法生成）。
三.什么可以被注解
类，方法，字段，局部变量，参数添加注解。
注：可以同时添加多个注解，先后顺序没影响;
主构造器添加注解时，注解应该放在构造器之前并加圆括号（注解无参数）;
表达式加注解，需要在表达式后加冒号，然后注解;
参数类型，实际类型注解。。。
四.注解参数
Java注解可以有带名参数;参数名为value可以直接略去;大多数注解参数都有缺省值（如Junit的@Test默认timeout参数有默认为0）。
Java注解的参数类型只能是：
-
-
- 数值型的字面量;
- 字符串;
- 类字面量;
- Java枚举;
- 其他注解;
- 上述类型的数组（但不能是数组的数组）
-
Scala的注解的参数类型可以是任何类型。。。
五.注解实现
注解必须扩展Annotation特质，例：
class unchecked extends annotation.Annotation
注解类可以选择扩展StaticAnnotation或ClassfileAnnotation特质。StaticAnnotation在编译单元中可见（放置在Scala特有的元数据到类文件中）。而ClassfileAnnotation的本意是在类文件中生成Java注解元数据（Scala2.9不支持该特性）。
六.正对Java特性的注解
Scala提供了一组与Java互操作的注解。
1.Java修饰符
对于那些不是很常用的Java特性，Scala使用注解，而不是修饰符关键字。
如：
@volatile注解将字段标记为易失的（可以被多个线程同时跟新），对应volatile;
@transient将字段标记为瞬态的（不会被序列化，对临时保存的缓存数据或者能够从新计算的数据合理），在JVM转换为transient;
@strictfp使用IEEE使用double值来进行浮点运算（计算更慢，代码移植性高），对应strictfp;
@native标记C或C++方法，对应native
2.标记接口
Scala用注解@cloneable和@remote而不是Cloneable和java.rmi.Remote标记接口来标记被克隆和远程的对象。
注：@seriliable已经过时，扩展scala.Serializable特质;
对于可序列化的类，用@SerialVersionUID指定序列化版本
3.受检异常
和Scala不同，Java编译器会跟踪受检异常。如果从Java代码中调用Scala的方法，其签名应包含那些可能被抛出的受检异常（用@throws注解生成正确的签名）。
4.变长参数
@varargs注解可以从Java调用Scala的带有变长参数的方法。例：
def process(arg:String *) => //scala编译器会把变长参数翻译称序列（在Java中费劲） def process(args:Seq[String]) //加入@varargs会翻译称如下 process(String... args)
5.JavaBeans
@BeanProperty注解生成JavaBean风格的getter和setter方法;
@BooleanProperty生成带有is前缀的getter方法，用于Boolean
七.用于优化的注解
Scala类库中的有些注解可以控制编译器优化。
1.尾递归
递归调用有时能转换为循环，以节省栈空间。尾递归优化（由于计算过程的最后一步是递归调用同一个方法，因此它可以被变换为跳回到方法顶部的循环）。
例：
object Util{ def sum(xs:Seq[Int]):BigInt={ if(xs.isEmpty) 0 else xs.head+sum(xs.tail) } }
//栈溢出错误
sum(1 to 1000000) //优化(Scala会自动应用尾递归优化) def sum2(xs:Seq[Int],partial:BigInt):BigInt={ if (xs.isEmpty) partial else sum2(xs.tail,xs.head+partial) }
注：尽管Scala会尝试使用尾递归优化，但有时某些不太明显的原因会造成它无法这么做。如果有赖于编译器消除递归，可以加上@tailrec注解（如果不能呢个优化，则会报错）。
对于消除递归，一个更加通用的机制叫”蹦床“，会执行一个循环，不停地调用函数，每个函数都返回下一个将被调用的函数，尾递归是每个函数都返回自己。
2.跳跃表生成与内联
在Java/C++中，switch语句通常可以被翻译成跳跃表（比if/else更高效）。
Scala也会尝试对匹配语句生成跳跃表，可以用@switch注解检查Scala语句是不是被编译成了跳跃表，例：
(n:@switch) match{ case 0=>"Zero" ... }
内联：将方法调用替换为被调用的方法体，可以使用@inline和@noinline告诉编译器需不需要内联。
3.可省略方法
使用@elidable注解给可以在生产代码中移除的方法打上标记，elidable对象有如下数量值：使用scalac -Xelide-below INFO xx.scala编译（低于1000的方法会被忽略）
4.基本类型的特殊化
打包和解包基本类型的值是不高效的——在泛型代码中很常见。例：
def allDifferent[T](x:T,y:T,z:T)=x!=y&&x!=z&&y!=z //调用之前每个值会包装成一个java.lang.Integer allDifferent(1,2,3) //也可以重载限定类型
可以使用@specialized注解限定可选类型子集,例：
//自动生成各种类型的方法 def allDifferent[@specialized T](x:T,y:T,z:T).... //限定子集 def allDifferent[@specialized(Long,Double) T]().....
八.用于错误和警告的注解
如果给某个特性加上@deprecated注解，每当编译器遇到对这个特性使用时都会生成一个警告信息（有两个参数message和since）;
@deprecatedName可以被应用到参数上（单引号开头，检查名称是否过时，这是符号，效率比字符串高）;
@implicitNotFound注解用于某个隐式参数不存在时生成有意义的错误提示;
@unchecked注解用于匹配不完整信息时取消警告信息;
@uncheckedvariance注解会取消与型变相关的错误提示。。。
九.练习
