※ 引述《sbrhsieh (sbr)》之銘言： : (你的解法還利用了一個 Java 1.5 才引進的語法：covariant returns，這部分 : 還有東西可討論，細節請參考 : Java Language Spec., 3rd edition - 8.4.5 Method return Type) Java 我不是很清楚，不過 C++ 很早就有 covariant return type. http://en.wikipedia.org/wiki/Covariant_return_type 雖然這跟語法沒什麼關係，是語意（型別）上的問題。 : 否則，假設你遇到的 interface 是(與現在同樣的需求)： : public interface SomeInterface { : public java.util.List visit(Node node); // return type 不為 Object : } : 你該怎麼解呢？ 看到這邊，我還以為可以解呢！那麼，Void 就會是所有 class 的 subclass. 因為 covariant return type 是在說如果 overriding method 的 return type 是 overridden method 的 return type 的 subclass 的話，這個 override 就可以是合法的。因為這件事並不違反 Liskov substitution principle. 如果我們用 parent pointer/reference 來操作的話，不管實際上的 method 的 return type 是什麼，child instance 本來就可以被 parent pointer/reference 指向。也就是說，covariant return type 並不會違反原本預期的操作。 但是我們可以獲得使用 child pointer/reference 時所帶來的好處。 因為其原本就無法指向 parent instance, 所以當然不會有 type 不符合的時候。 以上是稍微說明為什麼可以用 covariant return type. * 於是 Void 就會是所有 class 的 subclass, 然後就可以在任何 overriding method 中把 return type 寫成 Void, 因此，就只能夠 return null; 也就是 Void 唯一可能的 value (instance), 而這個 Void instance (null), 同時也是其他任何 pointer/reference 的可能 value, 因為他是 Void 的 instance, class hierarchy 的最底層，相對於 Object 在最頂層。 不過事情果然沒那麼美好： http://java.sun.com/j2se/1.5.0/docs/api/java/lang/Void.html Java 中並不是這樣實作 Void 的... * 之前在 comp.lang.c++.moderated 還是 comp.std.c++ 看到的討論， 忘記是哪一個了，看到 Andrei Alexandrescu 在談這件事，他說他會用 類似這樣的方式去模擬這樣的效果： template <class T> class None: public T{ public: static None<T>* none(){ static None<T> _; return &_; } private: None<T>(){} }; 也就是說，None<T> 會是 T 系族群的最底層，其唯一 value 即是 None<T>::none() 詳細測試程式在此：http://gist.github.com/78509 Java 板這邊就不多說了。 回到 Java, 沒有 template 該如何解呢？大概就是捨棄 Void, 然後手動寫 None_Object (等同於 Void), None_java_util_List, 一個族系手動寫一個吧。然後 null 可能就變成 None_Object.null, None_java_util_List.null, 一個 static method 回傳那唯一的 value, 看到他就猶如看到 null 如此這般... 一點（好久沒碰過 java 的人的）淺見。 -- #!/usr/bin/env ruby [露比] /Programming (Kn|N)ight/ 看板《Ruby》 # if a dog nailed extra legs that http://webptt.com/m.aspx?n=bbs/Ruby/index.html # walks like an octopus, and Welcome ~Ruby@ptt~ # talks like an octopus, then ◢█◣ http://www.ruby-lang.org/ # we are happy to treat it as █ http://www.ruby-doc.org/ # if it were an octopus. ◥ ◤ http://www.rubyforge.org/ --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.135.28.18