當前位置：首頁 > 编程资源 > 编程问答 >内容正文

编程问答

Scala的存在类型

發布時間：2024/2/28 编程问答 23 豆豆

生活随笔收集整理的這篇文章主要介紹了 Scala的存在类型小編覺得挺不錯的,現在分享給大家,幫大家做個參考.

Scala的存在類型

存在類型也叫existential type，是對類型做抽象的一種方法。可以在你不知道具體類型的情況下，就斷言該類型存在。

存在類型用_來表示，你可以把它看成java中的？。

下面是存在類型的具體例子：

簡寫完整形式描述

Seq[_]	Seq[T] forSome {type T}	T 可以是Any 的任意子類
Seq[_ <: A]	Seq[T] forSome {type T <: A}	T 可以是A（在某處已經定義了）的任意子類
Seq[_ >: Z <: A]	Seq[T] forSome {type T >: Z <: A}	T 可以是A 的子類且是Z 的超類

上面的表格以常用的Seq為例，列舉了存在類型的例子。

那么為什么會需要存在類型呢？

如果我們有一個List[A],我們需要兩個版本的double函數，一個版本接受List[Int]并返回新的List[Int]*2，另外一個版本接受List[String]，并通過對整數調用toInt，將字符串轉換為Int，然后調用第一個版本的double函數。

我們可能會這樣寫：

object Doubler { def double(seq: Seq[String]): Seq[Int] = double(seq map (_.toInt)) def double(seq: Seq[Int]): Seq[Int] = seq map (_*2) }

上面的程序看起來是沒問題的，但是編譯卻失敗。

Error:(3, 7) double definition: def double(seq: Seq[String]): Seq[Int] at line 12 and def double(seq: Seq[Int]): Seq[Int] at line 13 have same type after erasure: (seq: Seq)Seq def double(seq: Seq[Int]): Seq[Int] = seq map (_*2)

問題就在于編譯過程中的類型擦除，也就是在編譯成字節碼過后，定義的泛類型將會被刪除。那么最后Seq[String]和Seq[Int]都會被編譯成Seq，最終導致兩個方法擁有同樣的參數列表，最終編譯報錯。

既然有類型擦除的問題，那么我們考慮定義一個double方法，在double方法內部進行類型的判斷：

object Doubler {def double(seq: Seq[_]): Seq[Int] = seq match {case Nil => Nilcase head +: tail => (toInt(head) * 2) +: double(tail)}private def toInt(x: Any): Int = x match {case i: Int => icase s: String => s.toIntcase x => throw new RuntimeException(s"Unexpected list element $x")} }

為什么我們需要使用Seq[_]呢？我們看一下Seq類型的定義：

type Seq[+A] = scala.collection.Seq[A]

從定義我們知道，Seq類型一定是需要一個類型參數的，如果我們這樣寫：

def double(seq: Seq): Seq[Int] = seq match {case Nil => Nilcase head +: tail => (toInt(head) * 2) +: double(tail)}

則會編譯出錯，因為tail是Seq[A]類型的，但是double需要一個Seq類型。

使用Seq[_]表示，Seq[T] forSome {type T}。雖然我不知道Seq里面具體是哪種類型，但是肯定是有類型的。

可以對比一下java.
util.List[_ <: A] 的表達式在結構上與Java 的表達式java.util.List<? extends A>的類似之處。

你會在scala代碼中看到很多Seq[_]的代碼，存在類型的主要目的是為了兼容java代碼。

更多精彩內容且看：