Javaによる高階型変数の実装 - プログラマーの脳みそ

高階関数というものをご存知か。関数自身を引数あるいは戻り値に取る関数のことである。「高階」は「こうかい」と読む。その昔「たかしな」と読んだ人がいたとか、いないとか。 先のエントリ「HttpSessionを型安全にする」では「javax.servlet.http.HttpSessionのsetAttribute()/getAttribute()のようなモノをどうやって型安全にするか」という動機付けから、 public class KeyValue<K> { public <T> void put(K<T> key, T value){} } といったことをやろうとして、Javaの言語仕様上、型変数に型変数を持たせることができないので実現できないと述べた。 簡単に解説すると、ここでKayValueはHashMap的なキーを渡せば値を返すオブジェクトで、型変数Kはキーの集合体を表現している。ty

[gomi_ningen]

ジャバダウンロードするのやめよ...

[kamatama_41]

むずい

[H_Yamaguchi]

一言でいうと「変態」なんでしょうなぁ。

[Naruhodius]

ヒョエー

[todesking]

Java、キーによって帰り値の型が違うタイプセーフなget()を作る。おもしろい

[mitukiii]

ソースコードが出てきたくらいからよく分からなくなってきたのでもうちょっとして分かるようになってから読む。

[kyon_mm]

あいかわらず素敵です＞＜

[daisuke-m]

どう見ても変態的だｗｗｗ 恐れ入ったｗｗｗ