好吧，雖然是很簡單的一件事，但我不知道為什麼我看的 Scala 的書和 文件裡都沒有提到這些事，或許這可能不是很重要，又或者是明顯到根本 不需要特別提？ 不過，我還是寫一下好了…… 話說像 Ruby 這類動態型別程式語言，大部份都有一個有趣的特性，那就 是陣列裡面隨便你放任何東西。 舉例來說，下面的陣列在 Ruby 裡是合法的： arr = [1, 3.14159, "我是字串", Time.now] 然而，像在 C / C++ / Java 這類靜態型別程式語言當中，陣列通常會與 型別掛勾，陣列裡只能放相同型別的東西，例如下面的陣列，就只能放整 數了。 int x [] = new int[10] // 我只能放整數 這造成了不小的限制，但幸好在 Java 中，由於所有物件都是 Object 的 子類別，所以你還是可以像這樣繞道而行，只是程式碼會變很醜而已，而 且還得自己想辦法轉型。 // 我能放任何東西，可是請你自己轉型，順道一提，出了錯我不賠錢的 Object x [] = new Object[10] 而在 Scala 之中，一切都變得很簡單了，你有兩個選擇－－Structural Type 與 Pattern Matching。 Structural Type 的想法其實就是 Duck Type 的另一種說法罷了－－如 果他叫起來像鴨子，走起路來也像鴨子，那麼他就是鴨子。 簡單來講，就是我只關心他有沒有實作某個方法或屬性，管他這個方法是 哪裡來的，管他是繼承哪個類別或介面，只要他有這個方法或屬性就可以 囉！ 這麼一來，我就可以宣告一個陣列，裡面放的都是具有 myPrint() 這個 方法的物件，但彼此並不互相繼承，也沒有共同的父類別或介面。 這麼一來，我就擁有一個比 C/C++/Java 彈性一點，又比 Ruby 安全一點 的陣列（Ruby 可不可以有這樣的限制我不知道，煩請熟悉 Ruby 的朋友 幫忙補完），因為我確定我在呼叫陣列裡的每個元素的 myPrint() 方法 的時候，絕對不會出錯，一定找得到這個方法。 至於 Pattern Matching 的部份，其實和 Object [] 的概念是一樣的， 只是語法簡潔很多，而且在進行型別比對時就幫你轉型，所以你可以很放 心不會不小心寫錯。另外，程式碼會漂亮很多，從此脫離 if/else 的魔 掌了（大誤）！ 以下就是一些實際的程式碼啦，基本上應該有點 Java + Ruby 的基礎就 看得懂了，主要的重點大概就是： * Any 相當於 Java 與 Ruby 中的 Object，是一切物件的父類別。 * [T] 是 Generic Type，把他想成 Java 裡的 <> 就好了，例如 List[T] 就是 List<T>。 * list1.foreach () 就等於 Ruby 的 list.each {|x| ....}，只是 x 的 部份直接省略為 _ 。 * match 相當於 Java 的 switch，只是他可以連型別一起比對，並且直接 幫你轉型，所以當 case x: ForInt 為真時，x 會轉型成 ForInt 。 /***************************************************************/ /* 簡單定義一些沒有共同父類別的東西 */ /***************************************************************/ case class ForInt (x: Int) { def myPrint () = println ("MyPrint:" + x) } case class ForDouble (x: Double) { def myPrint () = println ("MyPrint:" + x) } case class ForString (x: String) { def myPrint () = println ("MyPrint:" + x) } /***************************************************************/ /* 利用 Strucural Type 來宣告 List */ /***************************************************************/ // 注意以下三個並沒有共通的父類別 val forInt: ForInt = new ForInt (3) val forString: ForString = new ForString ("Hello World") val forDouble: ForDouble = new ForDouble (3.14159) // 這個 List 可以放入任何具有 myPrint(): Unit 方法的物件，不論他 // 們是否有共同的父類別，或實作相同的介面。 // // 第二個 List[T] 是必要的，不然 Type Inference 機制會分析錯誤， // 造成型別不符的錯誤。 type T = {def myPrint(): Unit} val list1: List[T] = List[T] (forInt, forString, forDouble) // 依序呼叫 List 裡每個元素的 println 方法 list1.foreach (_.myPrint()) /***************************************************************/ /* 以 Pattern Matching 實作隨便你放任何東西的 List */ /* 於執行期再依物件類別決定要做啥 */ /***************************************************************/ val list2: List[Any] = List (1, "我是字串", 3.45, new ForInt(3)) list2.foreach ( _ match { case x: Int => println ("我是 Int:" + x) case x: String => println ("我是字串：" + x) case x: ForInt => println ("我是 ForInt:" + x) case x => println ("我是其他東西：" + x) }) -- ~ 白馬帶著她一步步地回到中原。白馬已經老了，只能慢慢地走， 'v' Brian Hsu 但終是能回到中原的。江南有楊柳、桃花，有燕子、金魚…… // \\ ( 墳 墓 ) /( )\ 但這個美麗的姑娘就像古高昌國人那樣固執。 【白馬嘯西風】 ^`~'^ http://bone.twbbs.org.tw/blog 『那都是很好很好的，可我偏不喜歡。』 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 59.120.199.114 ※ 編輯: brianhsu 來自: 59.120.199.114 (12/16 16:33) ※ 編輯: brianhsu 來自: 59.120.199.114 (12/16 16:35) ※ brianhsu:轉錄至看板 Programming 12/16 18:53