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

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

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

簡寫完整形式描述Seq[_]Seq[T] forSome {type T}T 可以是Any 的任意子類Seq[_ <: a forsome t>: Z <: a forsome t>: Z <: a>

上面的表格以常用的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 anddef double(seq: Seq[Int]): Seq[Int] at line 13have same type after erasure: (seq: Seq)Seqdef 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 => Nil case head +: tail => (toInt(head) * 2) +: double(tail) } private def toInt(x: Any): Int = x match { case i: Int => i case s: String => s.toInt case 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 => Nil case head +: tail => (toInt(head) * 2) +: double(tail) }

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

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

可以對比一下java.util.List[_ <: a>

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

歡迎關注我的公眾號:程序那些事，更多精彩等著您！

更多內容請訪問:flydean的博客 flydean.com

《新程序員》：云原生和全面數字化實踐50位技術專家共同創作，文字、視頻、音頻交互閱讀

總結

以上是生活随笔為你收集整理的scala 定义空list_Scala的存在类型的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。