作者coolcomm (coolcomm)
看板java
標題Re: [翻譯] Java 8 取出 Collection element 的方式
時間Wed Apr 3 19:20:40 2013
※ 引述《brianhsu (墳墓)》之銘言：
: ※ 引述《PsMonkey (痞子軍團團長)》之銘言：
: : 來閒聊一下...
: : 說真的，我覺得這個範例糟糕透了
: : 怎麼看都覺得第一個比較簡單阿... [翻桌]
: : 不然光比較字數也可以阿... Orz
: 我沒有仔細看文章，所以不確定是不是 API 設計上的問題。XD
: 但是在 Scala 裡面因為 filter 本身回傳的就是另一個同種類的 Collection，
: 例如你是 List.filter 他就會回傳另一個 List，你是 Set.filter 就會回傳
: 另一個 Set，所以會 filter 版會比 loop 版來得簡潔：
: case class Person(name: String, age: Int)
: val personList = List(Person("Man1", 30), Person("Man2", 40))
: val olderThan30 = personList.filter(_.age > 30)
: Java 的版本看起來比較複雜應該是多了後面那個 collect 和前面的 stream 吧？
: 其實主要的邏輯只有 filter 而已，如果 Java 的版本能夠變成：
: List<Person> olderThan30 = personList.filter(p -> p.age > 30)
: 就會比迴圈式的簡單易懂多啦。XDDD
Java 之所以沒有如此實作，
是因為在 Java 的 collection 中，傳回原本型態的新 instance 並不是那麼簡單的事。
* * *
假設標準 library 中的 `LinkedList<T>` 有一個 `filter` 方法
public class LinkedList<T> extends ... implements .... {
// ...
public LinkedList<T> filter(Predicate<T> pred) {
// ...
}
// ...
}
現在我們想用 `RichLinkedList<T>` 擴充 `LinkedList<T>` 的功能
我們讓 `RichLinkedList<T>` 繼承 `LinkedList<T>`
class RichLinkedList<T> extends LinkedList<T> {
void dummy() {}
}
這樣應該是沒問題吧......
new RichLinkedList<Object>().dummy();
但這樣就會出事了:
new RichLinkedList<Object>().filter(x -> true).dummy();
// compile time error
因為 `filter` 傳回的事實上是一個 `LinkedList` 而非 `RichLinkedList` !
有沒有解決方法?
在 Java 裡，
除了把這些方法全部 @Override 之外，答案似乎是沒有......
而在 Scala 中， `filter`, `map` ...... 等方法會接收一個 `CanBuildFrom` 型態的
implicit parameter ...... (下略)
* * *
我承認我其實也搞不懂 `CanBuildFrom` ...... OTZ
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.43.179.206
推 stimim:嗯，java 繼承了以後回傳型態不會跟著升級有時候很煩 04/03 19:24
※ 編輯: coolcomm 來自: 114.43.179.206 (04/03 19:49)
推 Chikei:CanBuildFrom概念上是Builder factory，所以scala可以說是 04/04 03:33
→ Chikei:會推導範例裡collect()所需參數，併在前面的call一併執行 04/04 03:37
→ coolcomm:這兩篇對 CanBuildFrom只提到一句話啊=3= 04/05 01:06
→ coolcomm:我最搞不懂的是編譯器到底會去哪些地方抓implicit... 04/05 01:08
→ firose:我最搞不懂scala編譯器如何推導泛型參數 04/05 09:14
→ coolcomm:樓上那篇感覺好可怕XD 04/06 01:52
→ Chikei:因為implicit的來源有點多，所以在比優先權的時候有點長XD 04/06 02:00
→ Chikei:只是要搞清楚可能來源的話就看前兩段就好 04/06 02:01
→ brianhsu:因為CanBuildFrom就是Typeclass，所以一句就夠了(逃 04/08 17:25