Scala可空类型相关问题：限定类型可空与判断类型是否可空

嘿，这两个关于Scala可空类型的问题挺典型的，我来一步步给你拆解清楚：

在Scala里，值类型（比如Int、Boolean）是不能持有null值的，只有引用类型（AnyRef的子类，比如String、自定义类）可以存储null。要约束T必须是可空类型，有两种常用的方式：

• 方式一：使用T <: AnyRef作为类型上界约束，强制T只能是引用类型：

class myClass[T <: AnyRef](x: T)

这样你可以正常创建new myClass[String](null)或new myClass[MyCustomClass](null)，但如果尝试new myClass[Int](0)会直接编译报错——因为Int不属于AnyRef子类，无法容纳null。

• 方式二：使用T >: Null作为类型下界约束，利用Null是所有引用类型子类的特性：

class myClass[T >: Null](x: T)

这种写法的效果和第一种完全一致，同样能确保T是可空的引用类型，选你觉得更直观的写法就行。

这里我们需要兼容所有类型T，同时区分可空/不可空的场景，有两种主流思路：

方法一：编译时类型类分发（更符合Scala风格） #

我们可以通过类型类在编译期自动匹配不同类型的处理逻辑，避免运行时判断的开销：

首先定义标记用的类型类和对应实例：

// 定义类型类，统一处理逻辑的接口
trait NullHandler[T] {
  def process(x: T): Unit
}

// 为所有可空的引用类型提供处理逻辑
implicit def nullableHandler[T <: AnyRef]: NullHandler[T] = new NullHandler[T] {
  override def process(x: T): Unit = {
    if (x == null) println("处理null场景：值为null")
    else println(s"处理非null引用类型：$x")
  }
}

// 为所有不可空的值类型提供处理逻辑
implicit def nonNullableHandler[T <: AnyVal]: NullHandler[T] = new NullHandler[T] {
  override def process(x: T): Unit = {
    println(s"处理不可空值类型：$x")
  }
}

然后定义函数，让它自动寻找对应的类型类实例：

def myFunc[T](x: T)(implicit handler: NullHandler[T]): Unit = {
  handler.process(x)
}

调用时编译期会自动绑定正确的逻辑：

myFunc(null: String) // 输出：处理null场景：值为null
myFunc("Scala")       // 输出：处理非null引用类型：Scala
myFunc(123)           // 输出：处理不可空值类型：123

方法二：运行时检查（简单直接） #

如果不需要编译期的严格约束，也可以直接在函数内通过模式匹配做运行时判断：

def myFunc[T](x: T): Unit = {
  x match {
    case null => println("处理null场景：值为null")
    case _ if x.isInstanceOf[AnyVal] => println(s"处理不可空值类型：$x")
    case _ => println(s"处理非null引用类型：$x")
  }
}

这种写法更简洁，适合快速实现，但要注意泛型类型擦除的问题——不过对于大多数日常场景来说已经足够好用了。

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