キーワード (Java)

この項目ではJavaにおけるキーワードに関して説明する。全部で50個ある。

この項目は、プログラムの細かい説明には立ち入らず、他の言語と比較できるような説明を目的としている。

1. 特徴
-----

プリミティブ型名や分岐処理 、反復処理  などの基本的な構文とキーワードはC言語およびC++と共通するものが多い。クラスや例外処理に関してはC++類似の構文とキーワードが多い。

2. プリミティブ型
----------

2.1. 型名
-------

プリミティブ型の名前である。C言語およびC++と共通するものが多い。ただし内部表現は処理系依存ではなく、言語仕様によって厳密に定められている。

byte, short, int, long 8ビット、16ビット、32ビット、64ビットの整数型。2の補数で表現される。Javaには符号なしの整数型がなく、C/C++で使われる unsigned はない。
float, double 32ビット単精度と64ビット倍精度の浮動小数点数型。IEEE 754準拠。
boolean 論理型。booleanはC言語における_Bool、C++におけるboolに相当する。
char 文字型。intおよびlongには暗黙的に代入可能。C/C++のcharとは異なり、16ビットのUnicode文字を保持する。
void これはプリミティブ型ではないが、型と同じ文脈で使うキーワードなのでここに分類する。メソッドに戻り値がないことを宣言する。void も参照のこと。

2.2. 値
------

以下はキーワードと同様に扱われるが、定義では論理値リテラル、またはnullリテラルというリテラルである。

true, false 論理値を表すリテラル。
null null型という特殊な型のリテラル。Nullも参照。

3. 制御構造
-------

C言語およびC++と共通のキーワードを使用している。

分岐
if, else
switch, case, default
繰り返し
for, while, do
ジャンプ
continue - ループの現在の反復  をスキップする
break - ループのブロックから抜け出す
return - メソッドから抜け出す。戻り値のあるものは値やオブジェクトの参照を返す。

4. クラス、パッケージ
------------

package 自クラスのパッケージを宣言する。Javaではパッケージと呼ばれるツリー構造でクラス群を分類している。クラスやメンバにアクセス修飾子  を付けることにより、パッケージ内外でクラスやクラスのメンバにアクセス可能な範囲が変わってくる。
import 自クラスの所属するパッケージとは異なるパッケージにあるクラスを使用するときにこの宣言でインポートする。
class クラスの定義。例えば、以下のように宣言する。それぞれについてはこの後、説明する。例1 public class クラス名 { ... } 例2 public class クラス名 extends 親クラス名 { ... } 例3 public class クラス名 implements インタフェース名1, インタフェース名2, ... { ... } 例4 public class クラス名 extends 親クラス名 implements インタフェース名1, ... { ... }

interface インタフェースの定義。Javaのインタフェースとは、定義のみで実装をもたない抽象型であり、型の多重継承に使用される。インタフェースのインスタンスを直接生成することはできない。サブクラスでインタフェースを実装して使用する。実装するインタフェースはカンマ区切りで複数並べることができる。例1 public interface インタフェース名 { ... } 例2 public interface インタフェース名 extends 上位インタフェース名1, 上位インタフェース名2, ... { ... }

extends class の宣言で他のクラスを継承するときに使用する。Javaのクラスは1つのスーパークラスのみ継承可能で、多重継承はできない 。interfaceの宣言では一つ以上のインタフェースを継承するときに使用する。インタフェースがインタフェースを継承するだけなので、こちらの場合は多重継承が可能。
implements class の宣言で、インタフェースを実装するときに使用する。カンマ区切りで並べた複数のインタフェースを実装することができる。
this 自クラスを明示するときに使用する。コンストラクタ内から他の引数のコンストラクタを呼ぶときに使用するのが一般的である。また、例えば、コンストラクタの場合はthis、メソッドの場合はthis.メソッド名 などのように使い、親クラスに同一名・同一引数のメソッドがあるときに明示的に区別できるようにする。こちらは、ローカル変数や同じクラス内メソッドや上位クラスに同名のメソッドが存在しない場合はthisを省略できる。内部クラスのコード領域で外部クラスのインスタンスへの参照を得るときの構文でも使用される。
super 上位クラスのコンストラクタ、フィールド、メソッドにアクセスするときに使用する。上位クラスのコンストラクタを呼び出すときは単にsuperと書き、メソッドを呼び出すときはsuper.メソッド名 などのように使う。フィールドやメソッドの場合は、自クラスに同一のものがない場合は super の記述を省略できる。
new コンストラクタの呼び出し。インスタンスを生成するときに使用する。例: SampleClass s = new SampleClass;

instanceof 指定されたクラスのオブジェクトかどうか、あるいは指定されたインタフェースを実装しているオブジェクトかどうかを判定する。//a// instanceof //ClassName// とした場合、//a// が //ClassName// のオブジェクトか、その派生クラスのオブジェクトであれば true になる。//ClassName// の箇所にオブジェクトの変数名を記述することはできない。

5. 修飾子
------

クラス、メンバの宣言に付けられる修飾子である。

public, protected, private クラス、メンバのアクセス制御を指示する修飾子である。外部からアクセス可能な範囲を決める。Javaでは4つの段階が設けられ、以下の番号が大きくなるほど外部からのアクセスが制約される。
publicでは、すべてのクラスからアクセスできる。
protectedでは、同一パッケージにあるクラスかサブクラスからのみアクセスできる。異なるパッケージでサブクラスでないクラスからはアクセスできない。クラスを修飾することはできない 。
アクセス修飾子がない場合は、同一のパッケージ内のクラスからのみアクセスできる。サブクラスであってもパッケージが異なる場合はアクセスできない。
privateでは、他のクラスからはアクセスできず、自クラスからのみアクセスできる。クラスに修飾することはできない 。
Java SE 1.0ではprivate protectedという組み合わせを使用して、自分自身とサブクラスからのアクセスができるが同じパッケージ内の他のクラスからはアクセスできないというアクセス権を使用することができたが、これはJava SE 1.1以降から廃止され利用することができなくなった。
final フィールドに付けられた場合は再代入を禁止する。メソッド宣言に付けられた場合は、下位クラスで上書きできないことを表す。クラス宣言に付けられた場合は、継承できないことを表す。なお、Javaでは、final宣言されたフィールドで、宣言部では初期化せずコンストラクタ内で1回だけ代入できる記述も行える。abstractとの併用はできない。メソッドの引数やローカル変数に使用すればその引数やローカル変数に対して再代入を許さないため、堅牢性の高いメソッドを作ることができる。final修飾子は「イミュータブル 」なクラスを実装するときに役立つ。例1: public class SampleClass { final int constantValue = 5; }

例2: public class SampleClass { final int constantValue; // 初期化なし

// コンストラクタ public SampleClass { constantValue = 5; // 1回だけ代入できる。 } }<WtXmlEndTag />

static フィールドに付けられた場合は、クラスに属する変数が確保されることを表す。この修飾子のついたフィールドは、インスタンスがいくつ生成されてもフィールドの実体は1つで、すべてのインスタンスの間で共有される。記述例: class SampleClass { static String shared = "shared"; static final String STR = "constant"; }

メソッドに付けられた場合は、オブジェクトを生成しなくても直接呼び出せるメソッドであることを表す。手続き型言語の関数と同じ扱いになる。例: class Sample1 { // static なメソッド public static void method { ... } }

class Sample2 { void proc { ... Sample1.method; // インスタンスを生成せず直接実行できる。 ... } }<WtXmlEndTag />

クラス内にstatic {...}というブロックが現れた場合は、そのクラスが最初に参照されたときにそのブロック内のコードを実行する。これを静的初期化子と呼び、主にstatic finalな配列やjava/utilオブジェクトの初期化などに利用される。データベースにアクセスするためにJDBCドライバを呼び出すname=Class.forNameもこの静的初期化子を呼び出している。例: class StaticInitSampleClass { private static final List list;

static { final List tempList = new ArrayList<>; tempList.add; tempList.add; StaticInitSampleClass.list = Collections.unmodifiableList; } }<WtXmlEndTag />

内部クラス}}内部クラス

入れ子にされたクラスのうち、static修飾されていないものは内部クラス  と呼ばれ、暗黙的に外側のクラスのインスタンスをキャプチャして参照することができるが、このネストクラスをstatic修飾すると静的ネストクラス  となり、暗黙的に外側のクラスのインスタンスを参照できなくなる。例: class OuterClass { static int outerStaticField = 0; int outerField = 0;

class InnerClass { void setOuterField { outerField = value; // 暗黙参照可能。 outerStaticField = value; // OK。 } }

static class StaticClass { void setOuterField { //outerField = value; // コンパイルエラー。 outerStaticField = value; // OK。 } }

public OuterClass { new InnerClass.setOuterField; new StaticClass.setOuterField; }

public static void test { final OuterClass outer = new OuterClass; System.out.println; System.out.println; } }<WtXmlEndTag />

abstractクラスまたはメソッドに付けられる修飾子である。finalと併用することはできない。Javaでは、実装されないメソッドがあるクラスを作成することができる。抽象クラス自身のインスタンスを作成することはできない。似たものとしてインタフェースがあるが、abstract class は以下の点においてインタフェースと異なる。

コンストラクタを持つことができる
メソッドなどの実装を記述できる
インスタンス変数を持つことができるabstract class はそのままではインスタンス化できず、不足しているメソッドを実装した派生クラスを用意して使用する。

記述例: public abstract class Sample { // 実装があるメソッド public void method1 { ... } // 実装がないメソッド public abstract void method2; }

native メソッドがJava言語以外で実装されていることを宣言する。
synchronized メソッドの宣言や特定のブロックに付けられ、排他制御を指示する。同一オブジェクトが複数のオブジェクトから参照され、異なるスレッドで同時に処理を行っている場合でも、この修飾子があるブロックでは処理を行えるスレッドはただ1つしか存在しない。記述例1: public synchronized void method { ... }

記述例2: public void method { ... synchronized { // 自クラスのインスタンスに対して排他制御 // 排他制御されるブロック } ... }

記述例3: public void method { ... synchronized { // Object obj に対して排他制御 // 排他制御されるブロック } ... }

volatile フィールドの宣言に付けられ、キャッシュを見に行かずに常に最新の値を見に行くようになる。マルチスレッド下における軽量かつ限定的な同期処理に使われる。例: public class SampleClass { volatile int syncSample; ... }

transient フィールドの宣言につけられる。Javaにはオブジェクトをそのままネットワークに送信したりファイルなどに保存したりするためのシリアライズと呼ばれる機能があり、transient は対象フィールドがシリアライズの対象にならないことを指示する。スレッドオブジェクトなど、保存できないフィールドや保存されると不都合なフィールドに対して使用される。

6. 例外処理
-------

例外処理はC言語にはない。Javaでは、C++およびC#とほぼ共通の構文およびキーワードが使用されている。ただしfinallyはC++には存在せず、throwsはC#には存在しない。

try, catch, finally 例外が発生しうる箇所で使用する。tryブロック  で例外が発生しうるコードを囲み、catchブロック {と}との間) に例外発生後の処理を書く。finallyブロック  には、ファイルのクローズ、データベースセッションの切断、ログアウトなど、例外発生の有無にかかわらずtry/catchブロック内の処理を終了する前に必ず実行しておきたいコードを書く。catchを記述した場合finallyは省略可能であり、finallyを記述した場合catchは省略可能である。try/catchブロックとfinallyブロックの両方にreturn文がある場合、後者が優先される。catchブロックにはif-else-if文のように連続して捕捉したい例外を記述することができる。
throw 例外を発生させる。
throws メソッドの宣言で使用される。そのメソッドがどのような例外をスローするかを列挙する。Javaにおける例外の種類には大きく分けて throws の明示が必要な例外と必要でない例外がある。前者は主にファイルエラーなどプログラムの動作中にその都度対応すべき例外で、後者は主に開発・デバッグの段階で対処すべき例外あるいは深刻なエラーである。以下はjava/langを使った記述例である。 public void method throws Exception { // メソッドが例外をスローすることを宣言 try { ... if  throw new IOException; // 例外を発生させる。 //  正常終了 // このtryブロックにはreturn文を記述することもできる。 // ただし、finallyブロックにすでにreturn文があるときは、ここにreturn文を書いてもfinallyブロックのreturnが優先される。 } catch  { // IOException は Java の例外クラスの1つ //  例外処理 // このcatchブロックにはreturn文を記述することもできる。 // ただし、finallyブロックにすでにreturn文があるときは、ここにreturn文を書いてもfinallyブロックのreturnが優先される。 } catch  { // IOException よりも上位の例外クラス //  例外をさらに外のブロックにスローする。 throw e; } finally { // , ,  どの場合でもこのブロックは必ず実行される。 // ここにreturn文があるときはtry/catchブロックにreturn文があろうともこちらのreturn文が優先される。 ... } }

7. 追加されたキーワード
-------------

J2SE 1.4でassertが追加され、J2SE 5.0でenumが追加された。Java 9では制限されたキーワード  として、open, module, requires, transitive, exports, opens, to, uses, provides, withが追加された。また、Java 9では単一のアンダースコア_が予約済みのキーワードとなり、識別子として使用できなくなった。

Java 10ではvarによる型推論が追加されたが、これはキーワードではなく、予約された型名  によって実現されている。

8. その他
------

8.1. 浮動小数点演算
------------

その他のキーワードとして、浮動小数点演算の移植性を高めるstrictfpがある。浮動小数点の演算では一般に全く同じ結果は期待できないものではあるが、x87などハードウェアによっては、途中の値においてより高い精度や、より広い値の範囲で演算が行われるために、最終結果が他のプラットフォームと一致しない場合があり、特にIEEE 754を前提として予想される結果から外れることが問題である。

strictfpを指定すると、途中結果についても全てIEEE 754の倍精度を強制し、相異なるプラットフォーム同士の間でも演算結果が一致することを保証するとされている。Java VMの実装で、これを正しく実現するには、x86系CPUを使った計算機の場合、x87を避けてSSE2で計算するか、それができない場合は特殊なテクニックが必要である。

なお、同様に移植性のある結果を保証するjava/langというクラスがあるが、そちらはFDLIBMというSun製のライブラリと同じ結果を保証するとされている。

8.2. 未使用
--------

const、gotoがキーワードとして予約されているが、Javaでは使用できない。使用するとコンパイル時に構文エラーになる。

9. 脚注
-----

9.1. 注釈
-------

9.2. 出典
-------

10. 参考文献
--------