Scala RedBlackTree语法

Question

我正在查看RedBlackTree文件的来源，我偶然发现Tree的定义，我在此处复制了相关部分：

sealed abstract class Tree[A, +B](
@(inline @getter) final val key: A,
@(inline @getter) final val value: B,
@(inline @getter) final val left: Tree[A, B],
@(inline @getter) final val right: Tree[A, B])

我有两个问题：

1. @(inline @getter)与@inline @getter的比较结果如何？
2. 为什么val符合final的条件？ （在这种情况下，final不是多余的吗？）

Answer 1

@(inline @getter)语法是元注释的一个示例，它告诉编译器应该在生成的getter方法上放置@inline注释（而不是构造函数参数，这将是默认这里）：meta annotations

final将生成的字段和getter标记为final，因此子类不能覆盖它们。

此处使用此特定组合来欺骗Scala编译器直接访问Tree实例的字段，而不是调用getter并依赖JVM优化器来执行正确的内联。不幸的是，Scala没有提供官方支持的直接使用字段的方法。

当针对Scala 2.10优化redblack树时，这提供了最佳性能。有关详细信息，请参阅不可变的TreeMap / TreeSet pull request。