Scala泛型详解

小蓝 • 2024-12-17 16:06 • 编程

一、Scala泛型擦除

Scala的类型系统是基于泛型的，而泛型又是基于类型擦除的。也就是说，在编译期间泛型类型会被编译器擦除为原始类型，在运行期间无法访问泛型参数的类型信息。这意味着我们可以在编写泛型代码时，不必关心其具体的类型实参，这为我们编写通用的代码提供了很大的方便。

由于Scala泛型的类型擦除，导致Scala中不能直接获取泛型的类型信息。通常情况下，我们可以使用Scala的Manifest或ClassTag来获取泛型参数的类型信息。


def getTypeTag[T: TypeTag](obj: T) = typeTag[T]
def getClassTag[T: ClassTag](obj: T) = classTag[T]

二、Scala泛型上下界

Scala中的类型参数可以有其上下界。上界限定了类型参数必须是某个类型或其子类，而下界则限定了类型参数必须是某个类型或其父类。


trait Animal
class Dog extends Animal
class Cat extends Animal

class Cage[A : Dog <: Animal](animal: A)  // 上界Animal, 下界Dog

三、Scala泛型方法

Scala允许我们在方法中使用泛型。我们可以使用类型参数来定义我们要使用的类型，在方法体中使用这些类型。


def echo[T](value: T) = println(value)
echo(1)     // 1
echo("hello scala")   // hello scala

四、泛型instanceof

在Java中，我们可以使用instanceof关键字来检查一个对象是否是某个类型的实例。

而在Scala中，instanceof被替换为了isInstanceof方法，其与Java中的用法类似。


class Animal
class Dog extends Animal
class Cat extends Animal

def printClassName(obj: Any): Unit = {
  if (classOf[Dog].isInstance(obj))
    println("It's a Dog!")
  else if (classOf[Cat].isInstance(obj))
    println("It's a Cat!")
  else
    println("It's something else")
}

五、Scala的类型推断机制

Scala的类型推断机制可以在编译器推断出某个表达式的类型。我们在代码中使用类型推断机制时，则可以省略掉冗余的类型参数。但我们也需要注意不要过度使用类型推断，以免降低代码的可读性和可维护性。


val intList = List(1, 2, 3)  // 推断List[Int]
val map = Map("one" -> 1, "two" -> 2)  // 推断Map[String, Int]

def identity[T](x: T) = x    // 类型推断可推导T的类型
val a = identity(1)           // a推断为Int类型
val b = identity("hello")     // b推断为String类型

六、Scala的泛型选取

Scala的泛型选取允许我们通过指定泛型实参来创建泛型类的实例。我们可以在泛型类名称后面加上一对中括号，将泛型实参传递给它。我们也可以使用类型推断来简化泛型实参的指定。


trait Animal
class Dog extends Animal

val a = new Box[Animal](new Dog)
val b = new Box(new Dog)  // 类型推断自动推导为Box[Dog]

原创文章，作者：小蓝，如若转载，请注明出处：https://www.506064.com/n/275748.html