类型从隐式类中删除

Question

我有一个隐式类来为案例类添加某个函数，例如：

case class TestClass(name:String)
implicit class ChangeProduct[S <: Seq[T], T <: Product](seq: Option[Seq[T]]) {
def convert(expr: T => T): Option[Seq[T]] = seq.map(_.map(expr))
}
val c = Option(List(TestClass("a"), TestClass("b")))
val r = c.convert(p => p.copy(name = p.name.toUpperCase()))
println(r)

我很高兴看到输出是

Some(List(TestClass(A), TestClass(B)))

但是现在我尝试通过将隐式类的参数更改为seq:Option[S]来使隐式类更通用：

implicit class ChangeProduct[S <: Seq[T], T <: Product](seq: Option[S]) {
def convert(expr: T => T): Option[S] = seq.map(_.map(expr))
}
val c = Option(List(TestClass("a"), TestClass("b")))
val r = c.convert(p => p.copy(name = p.name.toUpperCase()))
println(r)

不幸的是，我收到错误消息：

Error:(37, 51) type mismatch;
found   : Seq[T]
required: S
def convert(expr: T => T): Option[S] = seq.map(_.map(expr))

而对于表达p.copy(name = p.name.toUpperCase())，它说

Type mismatch.
Required: Nothing => Nothing
Found : Nothing => Any

我认为这可能是类型擦除问题，但我不知道如何解决它。

Answer 1

问题不在于类型擦除，而是我们需要使用类型构造函数S[_]而不仅仅是S。考虑Functor约束

S[_]: Functor

这样

import cats._
import cats.implicits._
case class TestClass(name:String)
implicit class ChangeProduct[S[_]: Functor, T](s: Option[S[T]]) {
def convert(expr: T => T): Option[S[T]] = s.map(_.map(expr))
}
val c = Option(List(TestClass("a"), TestClass("b")))
c.convert(p => p.copy(name = p.name.toUpperCase()))

哪些输出

res0: Option[List[TestClass]] = Some(List(TestClass(A), TestClass(B)))

Answer 2

有两个问题：

1. 出现第一条错误消息的原因是mapS不必返回S。它通常会这样做，但不能保证，当然也不会在类型中编码。

2. Nothing的原因是，不幸的是，在这种情况下，Scala 的类型推断无法处理T和S一起推断。

您可以通过使用IterableOps作为绑定来修复这两个问题(在 2.13 中(：

implicit class ChangeProduct[S[A] <: IterableOps[A, S, S[A]], T <: Product](seq: Option[S[T]]) {
def convert(expr: T => T): Option[S[T]] = seq.map(_.map(expr))
}

(Product绑定在这里似乎没有用(。

Answer 3

好吧，我想通了。如果我确实想将S限制为Seq的子类型，我应该给它一个明确的参数而不是下划线。也因为我有T <: Product，U必须是协变的：

implicit class ChangeProduct[S[+U] <: Seq[U], T <: Product](seq: Option[S[T]]) {
def convert(expr: T => T): Option[Seq[T]] = seq.map(_.map(expr))
}
val c = Option(List(TestClass("a"), TestClass("b")))
val r = c.convert(p => p.copy(name = p.name.toUpperCase()))
println(r)

感谢@Mario加利奇和@Alexey罗曼诺夫