好吧，虽然是很简单的一件事，但我不知道为什麽我看的 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