为什么可以'；我不能在scala中专门化泛型函数吗？

我收到一个错误，说

类型N未使用或用于非专用位置。

，对于具有以下签名的方法：

protected def offsetFrom0[@specialized(Int,Long) N](offsetFrom1 : Codec[N])(implicit N : Integral[N]) : Codec[N]

---

有人能用外行的术语向我解释一下专门化的规则吗？

这个

@specialized

注释可以用于类和方法类型参数

def gethead[@specialized(Int,Float,Double) T: Numeric](items: T*): T = items(0)
gethead(4,57,32) // Result: 4

因此，在您的情况下，您可以按照以下方式做一些事情：

case class Offset[@specialized(Int, Long) N](offsetFrom1: N) {
    def offsetFrom0: N = ???
}

Offset(1).offsetFrom0
Offset(1L).offsetFrom0

---

@specialized

注释可用于类和方法类型参数

def gethead[@specialized(Int,Float,Double) T: Numeric](items: T*): T = items(0)
gethead(4,57,32) // Result: 4

因此，在您的情况下，您可以按照以下方式做一些事情：

case class Offset[@specialized(Int, Long) N](offsetFrom1: N) {
    def offsetFrom0: N = ???
}

Offset(1).offsetFrom0
Offset(1L).offsetFrom0