时间戳

首页 > 解决方案 > 包含不同类型的协变泛型列表的类型是什么？

scala - 包含不同类型的协变泛型列表的类型是什么？

问题描述

我在 Scala 中玩过泛型并创建了以下内容：

package playingaround.playground

object myList extends App {

  abstract class MyList[+T] {
    def head: T
    def tail: MyList[T]
    def isEmpty: Boolean
    def add[C >: T](int: C): MyList[C]
    def printElements: String
  }

  object Empty extends MyList[Nothing] {
    override def head: Nothing = throw new NoSuchElementException
    override def tail: Nothing = throw new NoSuchElementException
    override def isEmpty: Boolean = true
    override def add[C >: Nothing](int: C): MyList[C] = new Cons(int, Empty)
    override def printElements: String = ""
  }

  class Cons[+T](h: T, t: MyList[T]) extends MyList[T] {
    override def head: T = h
    override def tail: MyList[T] = t
    override def isEmpty: Boolean = false
    override def add[C >: T](int: C): MyList[C] = new Cons(int, this)
    override def printElements: String = if (t.isEmpty) "" + h else h + " " + t.printElements
  }

  // Define lists
  val intList = new Cons(1, new Cons(2, new Cons(3, Empty)))
  val strList = new Cons("a", new Cons("b", new Cons("c", Empty)))
  val mixList = new Cons("a", new Cons(2, new Cons(0.5, Empty)))
  // Print them
  println(mixList.printElements) // a 2 0.5
}

让我困惑的是“mixList”是如何工作的。mixList 是什么类型的？如果我要在 val 中明确定义它的类型，我必须将它定义为什么？

标签： scalagenericscovariance

解决方案

我只是补充一点，您始终可以在 REPL 中看到某些内容的类型

scala> abstract class MyList[+T]
defined class MyList

scala> object Empty extends MyList[Nothing]
defined object Empty

scala> class Cons[+T](h: T, t: MyList[T]) extends MyList[T]
defined class Cons

scala> val mixList = new Cons("a", new Cons(2, new Cons(0.5, Empty)))
mixList: Cons[Any] = Cons@67d32a54

或者，您可以使用以下功能查看类型

import scala.reflect.runtime.universe.{TypeTag, Type, typeOf}
def getType[A: TypeTag](a: A): Type = typeOf[A]

println(getType(mixList)) // Cons[Any]

顺便说一句，在 Dotty (Scala 3) 中推断的类型mixList也是，但您可以使用 type或Cons[Any]手动注释它。Cons[String | Int | Double]MyList[String | Int | Double]

推荐阅读