这个scala的快速排序代码中的“@sp”语法是什么

Question

我正试图从以下回购中理解这个快速排序代码

  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包对象中定义的@specialized的别名。

我们在spire中经常使用specialization，因此必须编写@specialized或在导入中重命名变得过于乏味。

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

所以这是

package spire
package math
class Foo[@sp T]

而这不会是

package spire.math
class Foo[@sp T]

scala标准库中也使用了相同的方法。如果您查看像scala.collection.immutable.Set这样的类，请注意包语句由三部分完成

package scala
package collection
package immutable