返回联合类型的常规用途方法

Question

我有一个联合类型Scala的联合类型Int和字符串，我想将其添加到通用方法中。你能帮我写这个方法，没有编译错误。

object OrTypeMain extends App {
class StringOrInt[T]
object StringOrInt {
implicit object IntWitness    extends StringOrInt[Int]
implicit object StringWitness extends StringOrInt[String]
}
object Bar {
def foo[T: StringOrInt](x: T): Unit = x match {
case _: String => println("str")
case _: Int => println("int")
}
// target method
def reverse[T: StringOrInt](x: T): StringOrInt = x match { // not compile
def reverse[T: StringOrInt](x: T): T = x match { // not compile too
case x: String => x + "new"
case y: Int => y + 5
}
}
Bar.reverse(123)
Bar.reverse("sad")
}

Answer 1

为什么reverse不编译解释如下：

如果将 A的泛型子类型声明为返回参数，为什么我不能返回 A 的具体子类型？

模式匹配中使用的抽象类型的类型不匹配

将运行时模式匹配替换为编译时类型类。StringOrInt已经是一个类型类。只需将您的操作转移到那里即可。

trait StringOrInt[T] {
def reverse(t: T): T
}    
object StringOrInt {
implicit object IntWitness extends StringOrInt[Int] {
override def reverse(t: Int): Int = t + 5
}
implicit object StringWitness extends StringOrInt[String] {
override def reverse(t: String): String = t + "new"
}  
}
def reverse[T: StringOrInt](x: T): T = implicitly[StringOrInt[T]].reverse(x)