scala - Scala 中 Seq() 中的不同参数

Question

在我正在阅读的代码中，一个具有 LocalDate 类型变量作为元素的序列已被传递给一个函数，该函数又以下列方式解释：

Seq(acquisitionDate: LocalDate, head: LocalDate, tail @ _*)

据我了解，acquireDate 是最后一个元素，head 是第一个元素，tail 是介于两者之间的所有元素。对吗？

Answer 1

根据上下文，它可能是一种模式匹配，它会影响那里发生的事情（当然，以次要的方式）。acquireDate 是第一个参数，head 是第二个，tail 是其余的（编译器会将其扩展为第三个、第四个等参数）。此外还有类型归属，它可以将变量向上转换为某些特定类型，但通常用作文档。如果没有类型归属，它可能看起来像：

Seq(acquisitionDate, head, tail @ _*)