Scala泛型函数参数解析问题：回调函数调用时类型不匹配

你遇到的编译错误源于Scala的静态类型检查机制：虽然通过TypeTag在运行时层面判断出了T的具体类型，但编译阶段编译器仍将T视为未知泛型类型，无法证明String或Array[Char]与T兼容，因此直接传递a或a.toCharArray会触发类型不匹配报错。

既然已经通过typeOf[T]的检查确认了T的具体类型，可安全使用asInstanceOf[T]做类型转换，让编译器认可参数的类型兼容性。修改后的代码如下：

import scala.reflect.runtime.universe._

class PatternMatching {
    val a = "test"
    def test[T: TypeTag](callback: T => Unit): Unit = {
        if (typeOf[T] <:< typeOf[String]) {
            callback(a.asInstanceOf[T])
        } else if (typeOf[T] <:< typeOf[Array[Char]]) {
            callback(a.toCharArray.asInstanceOf[T])
        } else {
            throw new IllegalArgumentException("error")
        }
    }
}

• asInstanceOf[T]在此处是安全的，因为我们已经通过typeOf[T]的条件判断，提前确保当前T的类型就是String或Array[Char]，不会出现运行时类型转换异常。
• 若想保留模式匹配写法，只需在调用callback时添加类型转换即可：

import scala.reflect.runtime.universe._

class PatternMatching {
    val a = "test"
    def test[T: TypeTag](callback: T => Unit): Unit = {
        callback match {
            case _ if typeOf[T] <:< typeOf[String] => callback(a.asInstanceOf[T])
            case _ if typeOf[T] <:< typeOf[Array[Char]] => callback(a.toCharArray.asInstanceOf[T])
            case _ => throw new IllegalArgumentException("error")
        }
    }
}

内容的提问来源于stack exchange，提问作者lino