scala - 这个 scala 的快速排序代码中的 `@sp` 语法是什么？

Question

我正在尝试从以下 repo 中了解此快速排序代码

  object QuickSort {
    @inline final def limit: Int = 16

    final def sort[@sp A:Order:ClassTag](data:Array[A]): Unit = qsort(data, 0, data.length - 1)

    final def qsort[@sp A](data:Array[A], left: Int, right: Int)(implicit o:Order[A], ct:ClassTag[A]): Unit = {

      if (right - left < limit) return InsertionSort.sort(data, left, right + 1)

      val pivot = left + (right - left) / 2
      val next = partition(data, left, right, pivot)
      qsort(data, left, next - 1)
      qsort(data, next + 1, right)
    }

    final def partition[@sp A](data:Array[A], left:Int, right:Int, pivot:Int)(implicit o:Order[A], ct:ClassTag[A]): Int = {

      val value = data(pivot)

      //swap(pivot, right)
      var tmp = data(pivot); data(pivot) = data(right); data(right) = tmp

      var store = left
      var i = left
      while (i < right) {
        if (o.lt(data(i), value)) {
          //swap(i, store)
          tmp = data(i); data(i) = data(store); data(store) = tmp
          store += 1
        }
        i += 1
      }
      //swap(store, right)
      tmp = data(store); data(store) = data(right); data(right) = tmp
      store
    }
  }

[@sp A] 的目的是什么？我知道 [A] 语法适用于泛型，但添加 @sp 有什么作用？有人可以对此有所了解吗？

谢谢

Answer 1

@sp 是在 spire package object 中定义的 @specialized 的别名。 .

我们在 spire 中大量使用，因此必须编写 @specialized 或在导入中重命名太乏味了。

请注意，如果您有单独的包语句，来自 spire 包对象的定义将仅在子包中可见。

所以这行得通

package spire
package math

class Foo[@sp T]

而这不会

package spire.math

class Foo[@sp T]

在 scala 标准库中使用了相同的方法。如果你看一个像 scala.collection.immutable.Set 这样的类，注意package语句分三部分完成

package scala
package collection
package immutable