Java®言語仕様

目次

1. はじめに

1.1 仕様の構成

1.2 プログラムの例

1.3 表記法

1.4 事前定義済クラスおよびインタフェースとの関係

1.5 機能のプレビュー

1.5 プレビュー機能の使用に関する制限

1.5 現在のプレビュー言語の機能

1.6 フィードバック

1.7.参考資料

2. グラマー

2.1 コンテキストのない文法

2.2 字句文法

2.3 構文文法

2.4 文法表記法

3. 字句構造

3.1 ユニコード

3.2 字句翻訳

3.3 Unicodeエスケープ

3.4 明細ターミネータ

3.5 入力要素とトークン

3.6 ホワイトスペース

3.7 コメント

3.8 識別子

3.9 キーワード

3.1 リテラル

3.1 整数リテラル

3.1 浮動小数点リテラル

3.1 ブール・リテラル

3.1 文字リテラル

3.1 文字列リテラル

3.1 テキスト・ブロック

3.1 エスケープ・シーケンス

3.1 Nullリテラル

3.11 セパレータ

3.12 演算子

4. タイプ、値および変数

4.1 タイプと値の種類

4.2 プリミティブ型と値

4.2 整数型と値

4.2 整数演算

4.2 浮動小数点型と値

4.2 浮動小数点演算

4.2 boolean型およびブール値

4.3 参照タイプおよび値

4.3 オブジェクト

4.3 クラスObject

4.3 クラスString

4.3 参照タイプが同じ場合

4.4 型変数

4.5 パラメータ化されたタイプ

4.5 パラメータ化された型の型引数

4.5 パラメータ化された型のメンバーおよびコンストラクタ

4.6 タイプ消去

4.7 再可能タイプ

4.8 RAWタイプ

4.9 交差タイプ

4.1 サブタイピング

4.1 プリミティブ型間のサブタイピング

4.1 クラスおよびインタフェース・タイプ間のサブタイピング

4.1 配列型間のサブタイピング

4.1 最小上限

4.1 タイプ予測

4.11 タイプが使用される場所

4.12 変数

4.12 プリミティブ型の変数

4.12 参照タイプの変数

4.12 変数の種類

4.12.4. final変数

4.12 変数の初期値

4.12 タイプ、クラスおよびインタフェース

5. 変換およびコンテキスト

5.1 変換の種類

5.1 アイデンティティ変換

5.1 プリミティブ変換の拡大

5.1 プリミティブ変換の縮小

5.1 プリミティブ変換の拡大と縮小

5.1 拡大参照変換

5.1 絞込み参照変換

5.1.6.1. 許可された絞込み参照変換

5.1.6.2. 選択および選択解除された絞込み参照変換

5.1.6.3. 実行時の参照変換の絞込み

5.1 ボクシング変換

5.1 ボクシング解除変換

5.1 未チェックの変換

5.1 変換の取得

5.1.11. 文字列変換

5.1 禁止されている変換

5.2 アサイメント・コンテキスト

5.3 起動コンテキスト

5.4 文字列コンテキスト

5.5 キャスティング・コンテキスト

5.6 数値コンテキスト

5.7 コンテキストのテスト

6. 名前

6.1 デクラレーション

6.2 名前と識別子

6.3 宣言の範囲

6.3 式でのパターン変数のスコープ

6.3.1.1. 条件付き演算子&&

6.3.1.2. 条件付きまたは演算子||

6.3.1.3. 論理補完演算子!

6.3.1.4. 条件演算子? :

6.3.1.5. パターン一致演算子instanceof

6.3.1.6. switch式

6.3.1.7. カッコで囲まれた式

6.3 文のパターン変数のスコープ

6.3.2.1. ブロック

6.3.2.2. if文

6.3.2.3. while文

6.3.2.4. do文

6.3.2.5. for文

6.3.2.6. switch文

6.3.2.7. ラベル付き文

6.3 caseラベルのパターン変数のスコープ

6.4 シャドウイングと不明瞭化

6.4 シャドウイング

6.4 不明瞭化

6.5 名前の意味の決定

6.5 コンテキストに基づく名前の構文分類

6.5 コンテキストにあいまいな名前の再分類

6.5 モジュール名とパッケージ名の意味

6.5.3.1. 単純なパッケージ名

6.5.3.2. 修飾パッケージ名

6.5 PackageOrTypeNamesの意味

6.5.4.1. 単純なPackageOrTypeNames

6.5.4.2. 修飾されたPackageOrTypeNames

6.5 タイプ名の意味

6.5.5.1. 単純型名

6.5.5.2. 修飾タイプ名

6.5 式名の意味

6.5.6.1. 単純式名

6.5.6.2. 修飾式名

6.5 メソッド名の意味

6.5.7.1. 単純なメソッド名

6.6 アクセス制御

6.6 アクセシビリティの決定

6.6 protectedアクセスの詳細

6.6.2.1. protectedメンバーへのアクセス

6.6.2.2. protectedコンストラクタへのアクセス

6.7 完全修飾名と正規名

7. パッケージとモジュール

7.1 パッケージ・メンバー

7.2 モジュールおよびパッケージのホスト・サポート

7.3 コンパイル・ユニット

7.4 パッケージ宣言

7.4 名前付きパッケージ

7.4 名前のないパッケージ

7.4 パッケージの可観測性と可視性

7.5 インポート宣言

7.5 単一タイプ・インポート宣言

7.5 タイプ- オンデマンド・デクラレーション

7.5 単一静的インポート宣言

7.5 静的オンデマンド・デクラレーション

7.5 単一モジュール・インポート宣言

7.6 最上位クラスおよびインタフェース宣言

7.7 モジュール宣言

7.7 依存関係

7.7 エクスポートおよびオープンされたパッケージ

7.7 サービス消費量

7.7 サービス提供

7.7 名前のないモジュール

7.7 モジュールの監視性

8. クラス

8.1 クラス宣言

8.1 クラス修飾子

8.1.1.1. abstractクラス

8.1.1.2。sealed、non-sealedおよびfinalクラス

8.1.1.3. strictfpクラス

8.1.1.4. staticクラス

8.1 汎用クラスおよび型パラメータ

8.1 内部クラスおよび包含インスタンス

8.1 スーパークラスとサブクラス

8.1 スーパーインタフェース

8.1 許可された直接サブクラス

8.1 クラス本体およびメンバーの宣言

8.1 暗黙的に宣言されたクラス

8.2 クラス・メンバー

8.3 フィールド宣言

8.3 フィールド修飾子

8.3.1.1. staticフィールド

8.3.1.2. finalフィールド

8.3.1.3. transientフィールド

8.3.1.4. volatileフィールド

8.3 フィールド初期化

8.3 初期化子でのフィールド参照の制限

8.4 メソッド宣言

8.4 正式なパラメータ

8.4 メソッド署名

8.4 メソッド修飾子

8.4.3.1. abstractメソッド

8.4.3.2. staticメソッド

8.4.3.3. finalメソッド

8.4.3.4. nativeメソッド

8.4.3.5. strictfpメソッド

8.4.3.6. synchronizedメソッド

8.4 汎用メソッド

8.4 メソッド結果

8.4 メソッド・スロー

8.4 メソッド本体

8.4 継承、オーバーライドおよび非表示

8.4.8.1. (インスタンス・メソッドによる)オーバーライド

8.4.8.2. 非表示(クラス・メソッド別)

8.4.8.3. オーバーライドおよび非表示の要件

8.4.8.4. Override-Equivalentシグネチャを使用したメソッドの継承

8.4 オーバーロード

8.5 メンバー・クラスおよびインタフェース宣言

8.6 インスタンス初期化子

8.7 静的イニシャライザ

8.8 コンストラクタ宣言

8.8 正式なパラメータ

8.8 コンストラクタの署名

8.8 コンストラクタ修飾子

8.8 汎用コンストラクタ

8.8 コンストラクタのスロー

8.8 コンストラクタのタイプ

8.8 コンストラクタ本体

8.8.7.1. コンストラクタ呼出し

8.8 コンストラクタのオーバーロード

8.8 デフォルト・コンストラクタ

8.8 クラスのインスタンス化の防止

8.9 列挙クラス

8.9 列挙定数

8.9 列挙ボディ宣言

8.9 列挙メンバー

8.1 レコード・クラス

8.1 レコード・コンポーネント

8.1 レコード本文宣言

8.1 レコード・メンバー

8.1 コンストラクタ宣言の記録

8.10.4.1. 通常の正規コンストラクタ

8.10.4.2. コンパクトな正規コンストラクタ

9。インタフェース

9.1 インタフェース宣言

9.1 インタフェース修飾子

9.1.1.1. abstractインタフェース

9.1.1.2. strictfpインタフェース

9.1.1.3. staticインタフェース

9.1.1.4. sealedおよびnon-sealedインタフェース

9.1 汎用インタフェースおよびタイプ・パラメータ

9.1 スーパーインタフェースとサブインタフェース

9.1 許可される直接サブクラスおよびサブインタフェース

9.1 インタフェース本体およびメンバー宣言

9.2 インタフェース・メンバー

9.3 フィールド(定数)デクラレーション

9.3 インタフェースでのフィールドの初期化

9.4 メソッド宣言

9.4 継承およびオーバーライド

9.4.1.1. (インスタンス・メソッドによる)オーバーライド

9.4.1.2. 上書き時の要件

9.4.1.3. Override-Equivalentシグネチャを使用したメソッドの継承

9.4 オーバーロード

9.4 インタフェース・メソッド本体

9.5 メンバー・クラスおよびインタフェース宣言

9.6 注釈インタフェース

9.6 注釈インタフェース要素

9.6 注釈インタフェース要素のデフォルト

9.6 繰返し可能な注釈インタフェース

9.6 事前定義済の注釈インタフェース

9.6.4.1. @Target

9.6.4.2. @Retention

9.6.4.3. @Inherited

9.6.4.4. @Override

9.6.4.5. @SuppressWarnings

9.6.4.6. @Deprecated

9.6.4.7. @SafeVarargs

9.6.4.8. @Repeatable

9.6.4.9. @FunctionalInterface

9.7 注釈

9.7 通常の注釈

9.7 マーカー注釈

9.7 単一要素注釈

9.7 注釈が表示される場所

9.7 同じインタフェースの複数の注釈

9.8 機能インタフェース

9.9 関数タイプ

10。配列

10.1 配列タイプ

10.2 配列変数

10.3 配列の作成

10.4 アレイ・アクセス

10.5 配列ストア例外

10.6 配列初期化子

10.7 配列メンバー

10.8 Class配列のオブジェクト

10.9 文字の配列はStringではありません

11。例外

11.1 例外の種類と原因

11.1 例外の種類

11.1 例外の原因

11.1 非同期例外

11.2 例外のコンパイル時チェック

11.2 式の例外分析

11.2 文およびコンストラクタ呼出しの例外分析

11.2 例外チェック

11.3 例外の実行時処理

12. 実行

12.1 Java Virtual Machineの起動

12.1 初期クラスまたはインタフェースのロード

12.1 初期クラスまたはインタフェースのリンク: 確認、準備、(オプション)解決

12.1 初期クラスまたはインタフェースの初期化: イニシャライザの実行

12.1 mainメソッドの起動

12.2 クラスおよびインタフェースのロード

12.2 ロード・プロセス

12.2 クラス・ローダーの一貫性

12.3 クラスとインタフェースのリンク

12.3 バイナリ表現の検証

12.3 クラスまたはインタフェースの準備

12.3 シンボリック参照の解決

12.4 クラスおよびインタフェースの初期化

12.4 初期化が発生したとき

12.4 詳細な初期化手順

12.5 新規クラス・インスタンスの作成

12.6 クラス・インスタンスの確定

12.6 最終決定の実装

12.6 メモリー・モデルとの相互作用

12.7 クラスおよびインタフェースのアンロード

12.8 プログラム終了

13. バイナリ互換性

13.1 バイナリの形式

13.2 バイナリ互換性とは

13.3 パッケージとモジュールの進化

13.4 クラスの進化

13.4.1. abstractクラス

13.4.2. sealed、non-sealedおよびfinalクラス

13.4.2.1. sealedクラス

13.4.2.2. non-sealedクラス

13.4.2.3. finalクラス

13.4.3. publicクラス

13.4 スーパークラスとスーパーインタフェース

13.4 クラス・タイプのパラメータ

13.4 クラス本体およびメンバーの宣言

13.4 メンバーおよびコンストラクタへのアクセス

13.4 フィールド宣言

13.4.9. finalフィールドおよびstatic定数変数

13.4.10. staticフィールド

13.4.11. transientフィールド

13.4 メソッドおよびコンストラクタの宣言

13.4 メソッドおよびコンストラクタ・タイプのパラメータ

13.4 メソッドおよびコンストラクタの正式パラメータ

13.4 メソッド結果タイプ

13.4.16. abstractメソッド

13.4.17. finalメソッド

13.4.18. nativeメソッド

13.4.19. staticメソッド

13.4.20. synchronizedメソッド

13.4 メソッドおよびコンストラクタのスロー

13.4 メソッドおよびコンストラクタ本体

13.4 メソッドおよびコンストラクタのオーバーロード

13.4 メソッドのオーバーライド

13.4 静的イニシャライザ

13.4 列挙クラスの進化

13.4 レコード・クラスの進化

13.5 インタフェースの進化

13.5.1. publicインタフェース

13.5.2. sealedおよびnon-sealedインタフェース

13.5 スーパーインタフェース

13.5 インタフェース・メンバー

13.5 インタフェース・タイプ・パラメータ

13.5 フィールド宣言

13.5 インタフェース・メソッド宣言

13.5 注釈インタフェース

14. ブロック、文およびパターン

14.1 文の通常および突然の完了

14.2 ブロック

14.3 ローカルクラスとインタフェース宣言

14.4 ローカル変数宣言

14.4 ローカル変数の宣言子と型

14.4 ローカル変数宣言文

14.5 取引明細書

14.6 空の文

14.7 ラベル付き文

14.8 式文

14.9 if文

14.9 if-then文

14.9 if-then-else文

14.1 assert文

14.11 switch文

14.11 スイッチ・ブロック

14.11.1.1. 排気スイッチブロック

14.11.1.2. 実行時に適用するスイッチ・ラベルの決定

14.11 switch文のSwitchブロック

14.11 switch文の実行

14.12 while文

14.12 while文の突然の完了

14.13 do文

14.13 do文の突然の完了

14.14 for文

14.14 基本的なfor文

14.14.1.1. for文の初期化

14.14.1.2. for文の反復

14.14.1.3. for文の突然の完了

14.14 拡張されたfor文

14.15 break文

14.16 continue文

14.17 return文

14.18 throw文

14.19 synchronized文

14.2 try文

14.2 try-catchの実行

14.2 try-finallyおよびtry-catch-finallyの実行

14.20.3. try- リソースあり

14.20.3.1. 基本的なtry-with-resources

14.20.3.2. リソースを含む拡張try

14.21 yield文

14.22 到達できない文

14.3 パターン

14.3 パターンの種類

14.3 パターン一致

14.3 パターンのプロパティ

15. 式

15.1 評価、分母および結果

15.2 式の形式

15.3 式のタイプ

15.4 浮動小数点式

15.5 式およびランタイム・チェック

15.6 評価の正常完了および突然完了

15.7 評価順序

15.7 左オペランドを最初に評価

15.7 オペレーションの前にオペランドを評価

15.7 評価尊重のカッコと優先順位

15.7 引数リストが左から右に評価される

15.7 他の式の評価順序

15.8 プライマリ式

15.8 字句リテラル

15.8 クラス・リテラル

15.8.3. this

15.8 修飾this

15.8 カッコで囲まれた式

15.9 クラス・インスタンス作成式

15.9 インスタンス化されるクラスの決定

15.9 包含インスタンスの決定

15.9 コンストラクタとその引数の選択

15.9 クラス・インスタンス作成式の実行時評価

15.9 匿名クラス宣言

15.9.5.1. 匿名コンストラクタ

15.1 配列の作成およびアクセス式

15.1 配列作成式

15.1 配列作成式の実行時評価

15.1 配列アクセス式

15.1 配列アクセス式の実行時評価

15.11 フィールド・アクセス式

15.11 プライマリを使用したフィールド・アクセス

15.11 superを使用したスーパークラス・メンバーへのアクセス

15.12 メソッド呼出し式

15.12 コンパイル時ステップ1: 検索するタイプの決定

15.12 コンパイル時ステップ2: メソッド署名の決定

15.12.2.1. 潜在的適用方法の識別

15.12.2.2. フェーズ1: 厳密な呼出しで適用可能な一致一致方法の識別

15.12.2.3. フェーズ2: ルース呼出しで適用可能な一致一致方法の識別

15.12.2.4. フェーズ3: 可変Arity呼出しに適用可能なメソッドの識別

15.12.2.5. 最も具体的な方法の選択

15.12.2.6. メソッド呼出しタイプ

15.12 コンパイル時ステップ3: 選択した方法は適切ですか。

15.12 メソッド呼出しの実行時評価

15.12.4.1. コンピュート・ターゲット参照(必要な場合)

15.12.4.2. 引数の評価

15.12.4.3. タイプおよびメソッドのアクセシビリティの確認

15.12.4.4. 呼び出すメソッドの検索

15.12.4.5. フレームの作成、同期、制御の転送

15.13 メソッド参照式

15.13 メソッド参照のコンパイル時宣言

15.13 メソッド参照のタイプ

15.13 メソッド参照の実行時評価

15.14 Postfix式

15.14 式名

15.14 Postfix増分演算子++

15.14 Postfix減分演算子--

15.15 単項演算子

15.15 接頭辞増分演算子++

15.15 接頭辞減分演算子--

15.15 単項プラス演算子+

15.15 単項マイナス演算子-

15.15 ビット単位の補完演算子~

15.15 論理補完演算子!

15.16 キャスト式

15.17 乗法演算子

15.17 乗算演算子*

15.17 除算演算子/

15.17 剰余演算子%

15.18 加算演算子

15.18 文字列連結演算子+

15.18 数値型の加算演算子(+および-)

15.19 シフト演算子

15.20. 関係演算子

15.2 数値比較演算子<、<=、>および>=

15.2 instanceof演算子

15.21 等価演算子

15.21 数値等価演算子==および!=

15.21 ブール等価演算子==および!=

15.21 参照等価演算子==および!=

15.22 ビット単位および論理演算子

15.22 整数ビット単位演算子&、^および|

15.22 ブール論理演算子&、^および|

15.23 条件付き演算子&&

15.24 条件付きまたは演算子||

15.25 条件演算子? :

15.25 ブール条件式

15.25 数値条件式

15.25 参照条件式

15.26. 代入演算子

15.26 単純割当て演算子=

15.26 複合割当演算子

15.27 ラムダ式

15.27 ラムダ・パラメータ

15.27 ラムダ本体

15.27 ラムダ式のタイプ

15.27 ラムダ式の実行時評価

15.28. switch式

15.28 switch式のSwitchブロック

15.28 switch式の実行時評価

15.29 定数式

16. 確定割当

16.1 確定割当および式

16.1 ブール定数式

16.1 条件付き演算子&&

16.1 条件付きまたは演算子||

16.1 論理補完演算子!

16.1 条件演算子? :

16.1.6. switch式

16.1 boolean型のその他の式

16.1 割当式

16.1 演算子++および--

16.1 その他の式

16.2 明確な割当てと文

16.2 空の文

16.2 ブロック

16.2 ローカルクラスとインタフェース宣言

16.2 ローカル変数宣言文

16.2 ラベル付き文

16.2 式文

16.2.7. if文

16.2.8. assert文

16.2.9. switch文

16.2.10. while文

16.2.11. do文

16.2.12. for文

16.2.12.1. for文の初期化部分

16.2.12.2. for文の増分部分

16.2.13. break、yield、continue、returnおよびthrow文

16.2.14. synchronized文

16.2.15. try文

16.3 確定割当およびパラメータ

16.4 確定割当および配列初期化子

16.5 確定割当て定数と列挙定数

16.6 確定割当および匿名クラス

16.7 確定割当とメンバー・クラスおよびインタフェース

16.8 確定割当および静的イニシャライザ

16.9 確定割当て、コンストラクタおよびインスタンス初期化子

17. スレッドおよびロック

17.1 同期

17.2 待機セットおよび通知

17.2 待機

17.2 通知

17.2 中断

17.2 待機、通知および中断の相互作用

17.3 睡眠と収量

17.4 メモリー・モデル

17.4 共有変数

17.4 アクション

17.4 プログラムおよびプログラムの注文

17.4 同期オーダー

17.4 前処理オーダー

17.4 実行

17.4 整形式の実行

17.4 実行と因果関係の要件

17.4 監視可能な動作と終了しない実行

17.5. finalフィールド・セマンティクス

17.5 finalフィールドのセマンティクス

17.5 構築中のfinalフィールドの読取り

17.5 finalフィールドの以降の変更

17.5 書込み保護フィールド

17.6 言葉の引き裂き

17.7 doubleおよびlongの非アトミック処理

18. タイプ推論

18.1 概念と表記法

18.1 推論変数

18.1 制約式

18.1 境界

18.2 減額

18.2 式の互換性制約

18.2 型互換性制約

18.2 サブタイピング制約

18.2 型等価制約

18.2 チェック済例外制約

18.3 採用情報

18.3 境界の補完ペア

18.3 取得変換に関連する境界

18.4 解決策

18.5 推論の使用

18.5 起動適用推論

18.5 起動タイプの推論

18.5.2.1. 多メソッド呼出しの互換性

18.5.2.2. 追加の引数制約

18.5 機能インタフェース・パラメータ化推論

18.5 より具体的なメソッド推論

18.5 レコード・パターン・タイプの推論

19. 構文

A. 限定ライセンス付与