はてなブックマーク

まじめにJavaの型推論書いてるのでメモ。capture-#xとか分かるようになるかも。 レビューに付き合ってくださる方は Java SE Specifications からPDFをダウンロードしておくとよいかと*1。 捕捉変換の概要 捕捉変換(capture conversion)は言語仕様の「5.1.10 Capture Conversion」にあります。5回くらい読まないとまともに理解できないので趣旨だけ簡単に パラメータ化型*2に出現する型引数にはワイルドカード*3を含めることができる ワイルドカードは型そのものではなくて型の範囲(集合)を表現する*4 変数の参照などの式には捕捉変換が適用され、パラメータ化型からワイルドカードが除去される ワイルドカードを含むパラメータ化型に捕捉変換を適用すると、すべてのワイルドカードが一時的な型変数に置き換えられる コンパイルエラーの時によく出る

Java言語仕様はまとまってなくて情報が点在している気がする。 ということでメモ。 トップレベル型宣言 クラス型の宣言は書いたとおり 列挙型の宣言は書いたとおり ただし、クラス本体を有さない列挙定数が一つも存在しない場合、暗黙にfinal 明記するとエラー (abstractかどうかは仕様に明記されていない) インターフェース型、注釈型の宣言は暗黙にabstract わざわざ書いてもよいが推奨されない クラス型、列挙型宣言中に出現する型宣言 列挙定数は暗黙にpublic, static, final 明記するとエラー メンバとしてのクラス型の宣言はトップレベル型宣言のルールと同等 クラス型以外のメンバ型宣言は、トップレベルの列挙型宣言のルール＋暗黙にstatic わざわざ書いてもよい staticでないメンバクラス型中に、staticであるメンバ型を宣言できない*1 他は書いたとおり 下記

じぶんめも。 列挙型のコンストラクタ privateのみ 明示的親コンストラクタ起動(super();)を書けない チェック例外をスローできない*1 throws RuntimeException と書く分にはOKなので、構文自体はクラスのコンストラクタと同様 デフォルトコンストラクタ クラス(列挙型でない)がコンストラクタ宣言を保持していない場合、デフォルトコンストラクタが自動的に提供される パラメータを受け取らない チェック例外をスローできない 親クラスの引数をとらないコンストラクタを起動するだけ デフォルトコンストラクタの可視性(public, protected, ...)はクラスの可視性と一致する 列挙型がコンストラクタ宣言を保持していない場合、デフォルトコンストラクタが自動的に提供される パラメータを受け取らない java.lang.Enumの引数をとらないコンストラクタを起動

Eclipse Ganymedeでテンプレートがかなり便利になりました。 具体的には コンテキストが細かく指定できるようになった Java/JavadocだけじゃなくてJava statements, Java type membersとか 変数の属性が指定できるようになった 引数とか型とか 別のところに命令を出せるようになった インポートの追加など あたりがパワーアップしてる模様。 テンプレートは Preferences の Java > Editor > Templates で編集できます。 if (hoge == false) ... まずは簡単なのから。if (!hoge) が読みにくいので if (hoge == false) と書くスタイルにやっと慣れてきましたが、少しでもタイプ量減らしつつ頭の中を整理するためにこんなテンプレート作ってます。 if (${condition:v

型推論の正解が分からない - しげるメモからの派生。 型推論で出現する無限型の取り扱いについて、SunのjavacとEclipseのJDTで微妙に動きが違う。 先ほどのエントリで、 method(T, T)にInteger, Longを渡すと、TはR = Number & Comparable＜? extends R＞となるような型Rに推論されると予測してます。それを踏まえて、現行のコンパイラがどうやって無限型を取り扱ってるのかなーと調査中。 void test() { Integer a = 1; Long b = 1L; bound0(a, b); bound1(a, b); bound2(a, b); bound3(a, b); infinite(a, b); } <T> void bound0(T a, T b) {} // 境界なし <T extends Number & Com

自分めも。だけどわかる人教えてください。 public static void main(String...args) { Integer a = 1; Long b = 2; Object result = method(a, b); // resultの型は？ } static <T> T method(T a, T b) { return null; } このmethod(a, b)の型推論で、Tはどのような型に算出されるかという問題。 15.12.2.8 Inferring Unresolved Type Argumentsを追いかけながら進んでいく感じ。ただし、型推論の後半部分だけ。 おさらいしておくと、Integer, Long はそれぞれ下記のような宣言。 class Integer extends Number implements Comparable<Integer>

ここでよく取り扱ってるんで、まとめがてらちゃんと解説。 Java言語仕様第3版のCHAPTER 5: Conversions and Promotionsを簡単にまとめたものだと思ってください。 式の変換 式の変換が適用されるケースは5通りあります。 代入変換 式の結果を変数に格納 例: Integer i = 1 メソッド起動変換 式の結果を実引数としたメソッド/コンストラクタを実行 例: s.equals("Hello") キャスト変換 キャストによる変換 例: (String) obj.clone() 文字列変換 文字列連結演算のオペランドをString型へと変換 例: "Hello" + 256 数値の格上げ 算術演算のオペランドを共通の型へと変換 例: 1 + 0.5 今回は、その中でも代入変換とメソッド起動変換を。 代入変換 「変数に値を代入するには、変数と同じ型かそのサブタイ

オーバーライドの仕組みを紹介するために、Javaでクラスベースのオブジェクト指向の仕組み(オーバーライドメソッドの動的束縛部分のみ)を簡単に作ってみる。 オブジェクトの構造 まず、このオブジェクト指向システムで利用するオブジェクトの構造を作ってみます。 10行くらいでできる。 public class MyObject { private MyClass thisClass; // このオブジェクトが属するクラス public MyObject(MyClass thisClass) { this.thisClass = thisClass; } // メソッドの起動 public MyObject invoke(String name, MyObject...args) { // メソッドを自身のクラス情報から引き当てて実行 MyMethod method = thisClass.reso

自分めも。 Javaのワイルドカードは? extends Hogeとか? super Fooとか書けるけど、? extends Hoge super Fooとは書けない。その前提でモデリングしてたらめんどくさいパターンを思いついた。 public class DualBounded { private interface UpperBounded<T extends JComponent> { T get(); void set(T value); } void test(UpperBounded<? super JPanel> bounded) { // ok. JComponent component = bounded.get(); bounded.set(new JPanel()); } } 型仮引数のUpperBounded.Tに対して上限境界(extends JComponen

enum basics - しげるメモで基本的なことをおさらいしたので、私がよく使ってるenum関係のパターンをいくつか。 ステートパターンをenumで enumを使うようになってまず一番変わったのが、 private static final int SOME_STATE = 1; みたいな典型的なアンチパターンを書かなくなりました。これはステートパターンを非常に書きやすくなったためだと思います。 よくこんなコード書いてます。本当はもうちょっとロック処理とかを書かないとだめですが、ステート部分は大抵こんな感じです。 public class Lifecycle { // 初期状態はINITIALに固定 private State state = State.INITIAL; // 外側に公開する状態遷移メソッド public void start() { state = state.st

やっとこさ時間ができたので、JavaでDSLを(やむを得ず)使う場合にどうやってEclipseからサポートするか考えて見ます。 こんな感じがいいんじゃないのかなというところ。 Hoge dsl = HogeParser.parse("<Hoge-DSL>", arg1, arg2,...); つまり、 メソッド呼び出し + 文字列リテラル + 引数リスト という形式に縛っておいて、文字列リテラルの部分にDSLを直接(ないしファイル経由で間接)記述する感じです。正規表現も文字列のパターンマッチングを行うDSLだと思えば、java.util.regex.Patternなんかもこんな感じですね。 この形式の問題点は、文字列リテラルはJavaからすればただの文字列リテラルでしかないので、 文字列リテラルとして正当ならばコンパイルエラーにならない 実行時にエラーを出しても、エラー位置特定するのが意外

id:daisuke-m と話してたことをまとめる。 元ネタはThrowableについて本気出して考えてみた - 都元ダイスケ IT-PRESS。 異常が起こったとき、だいたい下の方法で対処してます。 RuntimeException系をスロー Exception系をスロー AssertionErrorをスロー (またはassert文の利用) Error系をスロー 特殊値(null, -1, など)を返す で、次のようなものがあるという想定です。 自分が作っているAPI (API) APIを利用するアプリケーション (アプリケーション) 環境 (環境) Javaランタイムライブラリ APIが利用する外部ライブラリ APIが利用するフレームワーク 外部デバイス (人間の入力も含む) アプリケーションへのコールバック など、APIから完全な制御ができないもの RuntimeException系

HudsonがEclipseでコンパイルできなかったという話題が1か月前くらいにあって、その調査をしているときにjavacとJDTで微妙に動作が違う点を見つけました。 class Hoge<T> { void h() { class Foo { T t; } Foo o = new Foo(); boolean b = (o instanceof Foo); // JDTでエラー T t = o.t; // javacでエラー } } これはどうもローカルクラスの扱いがjavacとJDTで違うようです。 JDT まず、(o instanceof Foo)でエラーになるJDTを見てみると、次のようなエラーメッセージが出ていました。 Cannot perform instanceof check against parameterized type Foo. Use instead its r

可変長引数ではAuto Unboxingが優先される？ - kaisehのブログへのツッコミ。米欄に書こうとしたら長すぎたのでこちらに。 ところが可変長引数の場合は、評価の優先順位が違うみたいです。 次のようにプログラムに書き足すと、 public class Test { static void foo(int arg) { System.out.println("foo: int"); } static void foo(Object arg) { System.out.println("foo: Object"); } static void bar(int... args) { System.out.println("bar: int..."); } static void bar(Object... args) { System.out.println("bar: Object.

前回はJavadocを書く - しげるメモというタイトルで話を進めましたが、今回は逆にJavadocを減らすプラクティスについてメモがてら。 私は別にJavadocを書くのが好きなわけではなく、単純に書いたほうがめんどくさくないと思うのでそうしてます。ただ、Javadocを書くのもかなりめんどくさいとは自分自身で感じているので、そのめんどくささをできるだけ減らす道を現在も模索中です。 やり方としては単純で、次のうちどちらかです。 Javadocをそもそも書かない Javadocに書くことを減らす かなりの部分がEffective Java (Java Series)に紹介されているプラクティスとかぶりますが、ここではあくまで"めんどくさくないJavadoc"という視点でいきます。 Javadocをそもそも書かない If an API is to be usable, it must be

eclipse.ini -vm C:\Software\Java\jdk1.6.0_06\bin\javaw.exe -startup plugins\org.eclipse.equinox.launcher_1.0.100.v20080509-1800.jar --launcher.library plugins\org.eclipse.equinox.launcher.win32.win32.x86_1.0.100.v20080509-1800 -showsplash org.eclipse.platform --launcher.XXMaxPermSize 512m -vmargs -Xms128m -Xmx512mやけにGenymedeが落ちるので今回のリリースは不安定なのかなーと思っていたら、不安定なのは私のほうでしたorz 正確には、起動オプションの名前と引数の間には改行を入れ

寝付けなかったので書いてみた。rt.jarも1分以内に終わる。 以下、プログラム。 ちなみに、↓とまったく同じ手順でやってる。 http://www.hgc.jp/~tshibuya/classes/shibuya20050225.pdf import java.io.IOException; import java.io.InputStream; import java.util.Arrays; import java.util.BitSet; import java.util.Enumeration; import java.util.HashMap; import java.util.HashSet; import java.util.Map; import java.util.Set; import java.util.SortedSet; import java.util.Tre

前回は見つけた文字列リテラルを片っ端からDSLとみなして警告をつけていましたが、今回からちゃんとDSLっぽくなる予定。 まず、すごく簡単なDSLの仕組みを作ります。 public class MyDsl { private int value; private MyDsl(int value) { this.value = value; } /** * このDSLを評価した結果を返す。 * @return 評価結果 */ public int eval() { return value; } /** * DSL記述を解析してオブジェクト化して返す。 * @param dsl DSL記述 * @return DSLオブジェクト * @throws IllegalArgumentException 引数が整数でない場合 */ public static MyDsl parse(String d

次に、Eclipse JDTの拡張ポイントを利用してコンパイルプロセスに介入していきます。 調べながら同時に書いていくのでゆっくりと。 方針 全体像を示しておくと、こんな感じです。 DSLが確実にコンパイルできない場合はエラーを表示する DSLが静的に解析可能で、エラーであることが自明である場合 DSLがコンパイルできない可能性がある場合は警告を表示する DSLが挿入されるべき場所に静的に解析できない変数などが含まれている場合 これらを表示するタイミングは、EclipseのJDTと同じようにしたいと思います。つまり コーディングの最中にエラーや警告を表示 保存(ビルド)時にエラーや警告があれば、Problemsビューにそれらを表示 といった感じです。 いろいろと調べてみたところ、警告やエラー表示はそれなりに簡単にできる模様で、調べながら物を作っていく過程を紹介していきたいと思います。 今回

型が合ったぁぁ - 設計と実装の狭間で。のフォローアップ。 オーバーライドの共変戻り値型と、パラメータ化型のサブタイピングを組み合わせた感じです。 共変戻り値型 8.4.8 Inheritance, Overriding, and Hiding 一言で言うと、オーバーライドしたメソッドは、親クラスのメソッドのサブタイプを返してOK。 interface A { Number f(); } interface B extends A { Integer f(); // ok } サブタイピング 4.10.2 Subtyping among Class and Interface Types 4.5.1.1 Type Argument Containment and Equivalence パラメータ化型が絡むと多少厄介です。ただ、使えると便利なのでぜひ。 まず、演算子の定義。 「U 「U <