Re: [問題] Scala 的 Covariant/Contravariant/Inv …
※ 引述《sbrhsieh (sbr)》之銘言：
: formal parameter 本質上就是 local variable，所以在 Java 中也是可以這樣做：
: java.util.List<Integer> int_list = new java.util.ArrayList<Integer>();
: java.util.List<? extends Object> any_list = int_list;
我沒有想到，看來果然是不熟 java generic XD
這樣說來的話，java generic 確實是 scala generic 的 superset, 對嗎？
: 那反過來，如果假設 scala List 當初也是設計成 mutable 容器(也就是 List[T])，
: 那麼我可以在 Java 裡這樣子使用 local variable：
: java.util.List<Integer> int_list = new java.util.ArrayList<Integer>();
: java.util.List<? extends Object> any_list = int_list;
: System.out.println(any_list.get(0));
: 請問，在 scala 中該怎麼作？
就我目前所知，應該是做不到的。試了一下，這樣的動作，
感覺像是一種 view, 也就是說把 java.util.List 本身變得像是 constant 一樣。
嚴格來說，或許是禁止使用會需要 arguments 的 method 吧？
我不知道 scala 裡面有沒有簡單的類似動作可以做到這件事，
這幾天我想找找看 :D
: ========================================================================
: 一來一往到這一篇，我是覺得有點亂了，或許每個人想要交流的看法並沒有真的
: 有交流到。
我倒覺得讓我發現對 java generic 有相當程度的誤解 XD
: Java Generics 最後採用的語法的確是不容易掌握(也就是不直覺)，我認為會造成
: 這樣子的原因在於，當初 Java team 進行引入 generics 的一個主要原則：
: 令 JVM (spec) 必要的修改最小，不是令它的語法既簡單又美
雖然如果 java generic 真是 scala generic 的 superset,
那麼 scala generic 當然也是可以直接相容於 java generic,
也就是純粹語法上（和某種程度上的解釋方式）的差異了。
個人是覺得 java 的解釋方式真的很難懂... :s
: 最後，我認為每一個 Java programmer，沒有看過這兩個 paper(除非完全不用到
: Java Generics)的人，都應該花時間看看:
: Adding Wildcards to the Java Programming Language
: http://www.jot.fm/issues/issue_2004_12/article5.pdf
: On Access Restriction with Java Wildcards
: http://www.jot.fm/issues/issue_2005_12/article6.pdf
雖然暫時不會有機會用到 java, 但有空我會翻一下的，感謝！
: 我發現我沒有辦法寫出一個 showValue method 可以讓我單純地把任一個 Value
: instance 所持有的 value 輸出，這是我欠缺某觀念，所以我寫不出來？還是？
: 這一點是我不滿意 scala 關於 subtyping variance 語法的原因之一。
雖然可能不是你想的那樣，不過：
class Value[+T](init:T) {
private val x:T = init
def get:T = { x }
def set[U >: T](x:U): Value[U] = new Value[U](x)
}
def showValue(obj:Value[Any]) {
println(obj.get);
}
這邊的重點大概是，value 必須是 immutable 的。
至於這樣效能會不會很差，也許吧，我不知道 XD
可以參考這篇：一個 immutable 的 stack.
http://www.scala-lang.org/node/129
functional programming 就是盡量避免 state.
--
Hear me exalted spirits. Hear me, be you gods or devils, ye who hold
dominion here:
I am a wizard without a home. I am a wonderer seeking refuge.
Sacrifice
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.128.121.85
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 15 之 17 篇)：
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
