Scala的存在類型

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

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

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

簡(jiǎn)寫完整形式描述

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

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

那么為什么會(huì)需要存在類型呢？

如果我們有一個(gè)List[A],我們需要兩個(gè)版本的double函數(shù)，一個(gè)版本接受List[Int]并返回新的List[Int]*2，另外一個(gè)版本接受List[String]， 并通過對(duì)整數(shù)調(diào)用toInt，將字符串轉(zhuǎn)換為Int，然后調(diào)用第一個(gè)版本的double函數(shù)。

我們可能會(huì)這樣寫：

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)

問題就在于編譯過程中的類型擦除，也就是在編譯成字節(jié)碼過后，定義的泛類型將會(huì)被刪除。那么最后Seq[String]和Seq[Int]都會(huì)被編譯成Seq，最終導(dǎo)致兩個(gè)方法擁有同樣的參數(shù)列表，最終編譯報(bào)錯(cuò)。

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

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類型一定是需要一個(gè)類型參數(shù)的，如果我們這樣寫：

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

則會(huì)編譯出錯(cuò)，因?yàn)閠ail是Seq[A]類型的，但是double需要一個(gè)Seq類型。

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

可以對(duì)比一下java.
util.List[_ <: A] 的表達(dá)式在結(jié)構(gòu)上與Java 的表達(dá)式j(luò)ava.util.List<? extends A>的類似之處。

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

更多精彩內(nèi)容且看：

• 區(qū)塊鏈從入門到放棄系列教程-涵蓋密碼學(xué),超級(jí)賬本,以太坊,Libra,比特幣等持續(xù)更新
• Spring Boot 2.X系列教程:七天從無到有掌握Spring Boot-持續(xù)更新
• Spring 5.X系列教程:滿足你對(duì)Spring5的一切想象-持續(xù)更新
• java程序員從小工到專家成神之路（2020版）-持續(xù)更新中,附詳細(xì)文章教程

更多教程請(qǐng)參考 flydean的博客

總結(jié)

以上是生活随笔為你收集整理的Scala的存在类型的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。