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
共変（covariant） [/dev/nullpo]
Java5からメソッドをオーバーライドするとき、戻り値の型を変更することが可能になった。 共変戻り値はcloneメソッドで最もよく利用される。 public interface Cloneable{ public Object clone(); } public class CloneableImpl implements Cloneable{ public CloneableImpl clone() { try { return (CloneableImpl)super.clone(); } catch (CloneNotSupportedException e) { throw new InternalError(e.getMessage()); } } } CloneableImplはObjectの一つであるので、CloneableImpl clone();はObjectを返している
Java Reflection - Generics
I have often read in articles and forums that all Java Generics information is erased at compile time so that you cannot access any of that information at runtime. This is not entirely true though. It is possible to access generics information at runtime in a handful of cases. These cases actually cover several of our needs for Java Generics information. This text explains these cases. The Generic
genericsの型情報 - たぷつきません
パラメータ付きでインスタンス生成したオブジェクトに対してパラメータ型に何を渡されたかリフレクションで知ることができるかを調査しました。結果をメモしておきます。まさたかさんの初期ikushipeコードが参考になりました。ありがとうございます。さいしょはParameterizedType, TypeVariable, getTypeParameters() がそれぞれ何をしめすか分かりませんでしたので、まずこれを整理しておきます。 以下は値型だけStringに固定したHashMapクラスの例です。 class MyStringMap<K> extends HashMap<K, String> {} ~~~＼ ~~~~~~~~~~~~~~~~~~＼ getTypeParameters() getGenericSuperClass() ＼ ＼ KはTypeVariable型 この場合、instan
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Generic commons-collections
IBM Developer
IBM Developer
