如果一个注解中的两个或者更多成员通过@AliasFor声明去覆盖元注解中的不同成员，但是实际上因为覆盖的传递性导致最终覆盖的是元注解中的同一个成员，那么它们就是传递隐式别名。
传递式隐式别名如图所示。
这种类型涉及了多个注解，@One#name别名了 @Two#nameAlias属性，然后在 @One#nameAlias 属性又别名了 @Three#nameAliasThree 属性。然后由于 @Two#nameAlias又别名了 @Three#nameAliasThree 属性，这就导致 @One#name 与 @One#nameAlias 间接才生了关系。这种依靠传递性才生别名关系，称为 传递式隐式别名。
隐式别名类似于数学的等式。大家也可以将其用上面等式推导。
属性覆盖属性覆盖指的是注解的一个成员覆盖另一个成员，最后两者成员属性值一致。
属性覆盖可以分为三类:
隐式覆盖（Implicit Overrides）
显示覆盖（Explicit Overrides）
传递式显式覆盖（Transitive Explicit Overrides）
隐式覆盖当一个注解 @One 被元注解 @Two 标注，两个注解存在同样的属性方法 name。@Two#name 将会被 @One#name 属性覆盖。
两个看似不来自不同注解的成员 name 指向了同一个成员 name。
显示覆盖显示覆盖就比较简单了，使用 @AliasFor 注解之后，就成为显示覆盖。
如果注解 @One#name 显示覆盖了 @Two#nameAlias,而 @Two#nameAlias 显示覆盖了 @Three#nameAlias，最后因为传递性，@One#name 实际覆盖了@Three#nameAlias。
总结Spring 4.2 新增 @AliasFor注解，带来一些特性。但是要注意的是仅仅存在 @AliasFor 不会执行任何语义别名。
底层原理可以参考 AnnotationUtils与 AnnotatedElementUtils。
帮助文档Attribute Aliases and Overrides
注解编程模型~~~~
另外欢迎加入 Java 极客技术知识星球，获取最新 Java 技术。