目次| 前| 次

16. 確実な代入

個々の局所変数は，その値にアクセスが発生するときには，確実に代入された(definitely assigned) 値をもたなければならない。 値へのアクセスは，単純な代入演算子 = の左辺にある場合を除く，式の中の任意の場所に現れる変数の単純名から構成する。

Javaコンパイラは，すべての局所変数のアクセスに対して，その局所変数がアクセス前に確実に代入されていることを保証するために，特定の慎重なフロー解析を行わなければならない。 確実に代入されていない場合は，コンパイル時エラーとしなければならない。

ここでは，用語“前で確実に代入されている”について厳密に規定する。 確実な代入とは，その局所変数へのアクセスを含む，コンストラクタ，メソッド，又は静的初期化子の先頭からそのアクセスまでに通過し得るすべての実行経路で，その局所変数が代入されていなければならないことを示す。 解析では，文及び式の構造を考慮する。さらに，式演算子! ，&& ，|| 及び ?: ，booleanオペランドを伴う演算子 & ，| ，^ ，== 及び != ，並びに論理定数式に対しては，特別な処理を行う。 例えば，次のコードでは，Javaコンパイラは，メソッド呼出しの引数としてk がアクセスされる前に，k が確実に代入されていると判定する。

{
        int k;
        if (v > 0 && (k = System.in.read()) >= 0)
                System.out.println(k);
}

その理由は，そのアクセスは，次に示す式の値が真の場合にだけ発生し，その式の値が true になるのは， k への代入が実行された(正確には，評価された) 場合だけであることによる。

v > 0 && (k = System.in.read()) >= 0

同様に，次のコードでは，Javaコンパイラは，変数 kが そのwhile 文で確実に代入されていると判定する。

{
        int k;
        while (true) {
                k = n;
                if (k >= 5) break;
                n = 6;
        }
        System.out.println(k);
}

その理由は，while 文の条件式 trueの値が false になることはないので，そのwhile 文は， break文によってだけ終了し，k は， break 文の前で確実に代入されていることによる。

フロー解析では，特定の論理演算子と論理定数式の特別な場合を除いて，式の値は，考慮しない。 例えば，Javaコンパイラは，次のコードを，必ずコンパイル時エラーにしなければならない。

{
        int k;
        int n = 5;
        if (n > 2)
                k = 3;
        System.out.println(k);    // k is not "definitely assigned" before this
}

たとえ，n の値がコンパイル時に分かり，原理的には，k の代入が常に実行される (正確には，評価される) ことが既知であっても，エラーにしなければならない。 Javaコンパイラは，必ずここで規定する規則に従って動作しなければならない。 この規則では，定数式だけを判定する。 上記の例では，式 n > 2 は，15.27の定義による定数式ではない。

次に，別の例を挙げる。 Javaコンパイラは，k の確実な代入に関する限り，次のコードを受け付ける。

void flow(boolean flag) {
        int k;
        if (flag)
                k = 3;
        else
                k = 4;
        System.out.println(k);
}

その理由は，ここで説明している規則は，k は，flagが true であるか false であるかによらず必ず代入されていると判断してもよいことを規定していることによる。 しかし，この規則は，次のコードは，受け付けない。

void flow(boolean flag) {
        int k;
        if (flag)
                k = 3;
        if (!flag)
                k = 4;
        System.out.println(k);    // k is not "definitely assigned" before here
}

したがって，このコードをコンパイルすると，必ずコンパイル時エラーが発生しなければならない。

確実な代入のすべての場合を正確に規定するために，ここで次の二つの用語を定義する。

• 局所変数が，文又は式の 前で確実に代入されている(definitely assigned before)かどうか，及び
• 局所変数が，文又は式の 後で確実に代入されている(definitely assigned after) かどうか

論理型値の式を規定するために，後者をさらに二つの場合に分ける。

• 局所変数が真の場合(when true) に，その式の 後で確実に代入されている かどうか，及び
• 局所変数が偽の場合(when false) に，その式の 後で確実に代入されている かどうか

ここで，真の場合 及び 偽の場合 とは，その式の値を指す。 例えば，次のコードでは，局所変数 k は，式が true の場合，式の評価の後で値が確実に代入されているが，式が false の場合は，代入されていない。

a && ((k=m) > 5)

その理由は，a が 偽の場合には，k への代入が実行されない(正確には，評価されない)ことによる。

“局所変数 V が，文又は式 X の後で確実に代入されている”とは，“V は，X が正常終了する場合，X の後で確実に代入されている”ことを意味する。 X が中途完了する場合，代入は，行われていないことがあってもよく，ここに述べた規則では，このことを考慮している。 この定義では，“V は， break; の後で確実に代入されている”という奇妙な文が常に成立する。 その理由は，break 文は，正常完了することがないので，break 文が正常完了する場合に V に値が代入されているという定義は，意味をなさないものとして成立する。

V を局所変数，a ，b ，c，及び e を式，S 及び T を文とする。

16.1 確実な代入及び 式

16.1.1 論理定数式

V は，値が true である定数式が偽の場合，定数式の後で確実に代入されている。 V は，値が false である定数式が真の場合，定数式の後で確実に代入されている。

値が true である定数式が false になることはなく，値が false である定数式が true になることはないので，上記の定義は，意味をなさないものとして成立する。 この二つの定義は，論理演算子 && ，|| 及び ! (16.1.3，16.1.4，16.1.5)を含む式の解析において役立つ。

16.1.2 論理値式

あらゆる論理式に対して，

• 式が部分式をもたない場合，V は，その式の前で確実に代入されているときにだけ，その式の後で確実に代入されている。 この定義は，リテラル及び単純名に適用される。
• そうでなければ，V は，式が真の場合にその式の後で確実に代入されており，かつ偽の場合にもその式の後で確実に代入されているときにだけ，その式の後で確実に代入されている。

16.1.3 論理演算子 &&

• Vは，a && b が真の場合，a が真の場合にその後で確実に代入されている，又はb が真の場合にその後で確実に代入されている，ときにだけその後で確実に代入されている。
• Vは，a && b が偽の場合，a が偽の場合にその後で確実に代入されており，かつb が偽の場合にその後で確実に代入されている，ときにだけその後で確実に代入されている。
• V は，a && b の前で確実に代入されているときにだけ，a の前で確実に代入されている。
• V は，a が真の場合にその後で確実に代入されているときにだけ，b の前で確実に代入されている。

16.1.4 論理演算子 ||

• V は，a ||b が真の場合，a が真の場合にその後で確実に代入されており，かつb が真の場合にその後で確実に代入されている，ときにだけその後で確実に代入されている。
• V は，a || b が偽の場合，a が偽の場合にその後で確実に代入されている，又はb が偽の場合にその後で確実に代入されている，ときにだけその後で確実に代入されている。
• V は，a || b の前で確実に代入されているときにだけ，a の前で確実に代入されている。
• V は，a が偽の場合にその後で確実に代入されているときにだけ，b の前で確実に代入されている。

16.1.5 論理演算子 !

• V は，!a が真の場合，aが偽の場合にその後で確実に代入されているときにだけ，その後で確実に代入されている。
• V は，!a が偽の場合，aが真の場合にその後で確実に代入されているときにだけ，その後で確実に代入されている。
• V は，!a の前で確実に代入されているときにだけ，a の前で確実に代入されている。

16.1.6 論理演算子 &

• V は，a & b が真の場合，a が真の場合にその後で確実に代入されている，又はb が真の場合にその後で確実に代入されているときにだけ，その後で確実に代入されている。
• V は，a & b が偽の場合，少なくとも次のいずれかの一つが成り立つときにだけ，その後で確実に代入されている。

• V が b の後で確実に代入されている場合。（V がaの後で確実に代入されている場合は，b の後でも確実に代入されていることに注意のこと。）
• a が偽の場合にV がその後で確実に代入されている，及び b が偽の場合にV がその後で確実に代入されている場合
• V は，a & b の前で確実に代入されているときにだけ，a の前で確実に代入されている。
• V は，a の後で確実に代入されているときにだけ，b の前で確実に代入されている。

16.1.7 論理演算子 |

• V は，a | b が真の場合，少なくとも次のいずれかの一つが成り立つときにだけ，その後で確実に代入されている。

• V が b の後で確実に代入されている場合。（V がaの後で確実に代入されている場合は，b の後でも確実に代入されていることに注意のこと。）
• a が真の場合にV がその後で確実に代入されており，かつbが真の場合にV がその後で確実に代入されている場合
• V は，a | b が偽の場合，a が偽の場合にその後で確実に代入されている，又はb が偽の場合にその後で確実に代入されている，ときにだけその後で確実に代入されている。
• V は，a | b の前で確実に代入されているときにだけ，a の前で確実に代入されている。
• V は，a の後で確実に代入されているときにだけ，b の前で確実に代入されている。

16.1.8 論理演算子 ^

• V は，a ^ b が真の場合，少なくとも次のいずれかの一つが成り立つときにだけ，その後で確実に代入されている。

• V が b の後で確実に代入されている場合
• a が真の場合にV がその後で確実に代入されており，かつ bが真の場合にV がその後で確実に代入されている場合
• a が偽の場合にV がその後で確実に代入されており，かつ bが偽の場合にV がその後で確実に代入されている場合
• V は，a ^b が偽の場合，少なくとも次のいずれかの一つが成り立つときにだけ，その後で確実に代入されている。

• V が b の後で確実に代入されている場合
• a が真の場合にV がその後で確実に代入されており，かつ b が偽の場合にV がその後で確実に代入されている場合
• a が偽の場合にV がその後で確実に代入されており，かつ b が真の場合にV がその後で確実に代入されている場合
• V は，a ^ b の前で確実に代入されているときにだけ，a の前で確実に代入されている。
• V は，a の後で確実に代入されているときにだけ，b の前で確実に代入されている。

16.1.9 論理演算子 ==

• V は，a == b が真の場合，少なくとも次のいずれかの一つが成り立つときにだけ，その後で確実に代入されている。

• Vが b の後で確実に代入されている場合
• a が真の場合にV がその後で確実に代入されており，かつ b が偽の場合にV がその後で確実に代入されている場合
• a が偽の場合にV がその後で確実に代入されており，かつ b が真の場合にV がその後で確実に代入されている場合
• V は，a == b が偽の場合，少なくとも次のいずれかの一つが成り立つときにだけ，その後で確実に代入されている。

• V が b の後で確実に代入されている場合
• a が真の場合にV がその後で確実に代入されており，かつ b が真の場合にV がその後で確実に代入されている場合
• a が偽の場合にV がその後で確実に代入されており，かつ b が偽の場合にV がその後で確実に代入されている場合
• V は，a == b の前で確実に代入されているときにだけ，a の前で確実に代入されている。
• V は，a の後で確実に代入されているときにだけ，b の前で確実に代入されている。

16.1.10 論理演算子 !=

a != b に対する規則は，a^ b に対する規則 (16.1.8)と同じとする。

16.1.11 論理演算子 ? :

b 及び c を論理式と仮定する。

• V は，a ? b : c が真の場合，次の両方が成り立つときにだけ，その後で確実に代入されている。

• b の前でV が確実に代入されている，又は b が真の場合にV がその後で確実に代入されている場合
• c の前でV が確実に代入されている，又は c が真の場合にV がその後で確実に代入されている場合
• V は，a ? b : c が偽の場合，次の両方が成り立つときにだけ，その後で確実に代入されている。

• b の前でV が確実に代入されている，又は b が偽の場合にV がその後で確実に代入されている場合
• c の前でV が確実に代入されている，又は c が偽の場合にV がその後で確実に代入されている場合
• V は，a ? b : c の前で確実に代入されているときにだけ，aの前で確実に代入されている。
• V は，a が真の場合にその後で確実に代入されているときにだけ，b の前で確実に代入されている。
• V は，a が偽の場合にその後で確実に代入されているときにだけ，c の前で確実に代入されている。

16.1.12 条件演算子 ? :

b 及び c を論理式でない式と仮定する。

• V は，次の両方が成り立つときにだけ，a ? b : c の後で確実に代入されている。

• V が b の後で確実に代入されている場合
• V が c の後で確実に代入されている場合
• V は，a ? b : c の前で確実に代入されているときにだけ，a の前で確実に代入されている。
• V は，a が真の場合にその後で確実に代入されているときにだけ，b の前で確実に代入されている。
• V は，a が偽の場合にその後で確実に代入されているときにだけ，c の前で確実に代入されている。

16.1.13 論理代入式

代入式 a = b ，a &= b ，a |= b ，又は a ^= bが，論理値をもつものと仮定する。

• V は，代入式の前で確実に代入されているときにだけ，a の前で確実に代入されている。
• V は，a の後で確実に代入されているときにだけ，b の前で確実に代入されている。
• V は，a = b が真の場合，a が V であるか，又は右辺の式が真の場合にV がその後で確実に代入されているときにだけ，その後で確実に代入されている。
• V は，a = b が偽の場合，a が V であるか，又は右辺の式が偽の場合にV がその後で確実に代入されているときにだけ，その後で確実に代入されている。
• V は，a &= b が真の場合，a が V であるか，又はa & b が真の場合に同じ文脈の中でV がその後で確実に代入されるときにだけ，その後で確実に代入されている。
• V は，a &= b が偽の場合，a が V であるか，又はa & b が偽の場合に同じ文脈の中でV がその後で確実に代入されるときにだけ，その後で確実に代入されている。
• V は，a |= b が真の場合，a が V であるか，又はa| b が真の場合に同じ文脈の中でV がその後で確実に代入されるときにだけ，その後で確実に代入されている。
• V は，a |= b が偽の場合，a が V であるか，又はa| b が偽の場合に同じ文脈の中でV がその後で確実に代入されるときにだけ，その後で確実に代入されている。
• V は，a ^= b が真の場合，a が V であるか，又はa ^b が真の場合に同じ文脈の中でVがその後で確実に代入されるときにだけ，その後で確実に代入されている。
• V は，a ^= b が偽の場合，a が V であるか，又はa ^b が偽の場合に同じ文脈の中でVがその後で確実に代入されるときにだけ，その後で確実に代入されている。

a が V であり，V が a&= b などの複合代入の前で確実に代入されていない場合は，コンパイル時エラーになる必要があることに注意のこと。 上記の規則には，V は，コードの以降の時点で確実に代入されることがあることを考慮して，分離した“a は， V である”という命題が含まれている。 分離した“a は， V である”という命題が含まれていても，プログラムが受け付けられるかコンパイル時エラーになるかの判定には影響しないが，コードの中の何箇所の 場所がエラーと見なされるかに影響するので，実際には，エラー報告の質を上げることができる。

16.1.14 他の代入式

代入式 a = b ，a += b ，a -= b ，a *= b，a /= b ，a %= b ，a <<= b ，a >>= b ，a >>>= b ，a &= b ，a |= b ，又は a ^= b が論理値をもたないと仮定する。

• V は，a が V であるか，又は V が bの後で確実に代入されているときにだけ，その代入式の後で確実に代入されている。
• V は，その代入式の前で確実に代入されているときにだけ，a の前で確実に代入されている。
• V は，a の後で確実に代入されているときにだけ，b の前で確実に代入されている。

16.1.15 演算子 ++ 及び --

• V は，前置増分，前置減分，後置増分，又は後置減分式の後では，そのオペランド式が V であるか，又はV がそのオペランド式の後で確実に代入されているときにだけ，確実に代入されている。
• V は，そのオペランド式の前で，その前置増分，前置減分，後置増分，又は後置減分式の前で確実に代入されているときにだけ，確実に代入されている。

16.1.16 他の式

式が論理値をもつものではなく，かつ条件演算子式又は代入式ではない場合は，次の規則が適用される。

• その式が，部分式をもたない場合，V は，その式の前で確実に代入されているときにだけ，その式の後で確実に代入されている。これは，リテラル，単純名，this ，super ，及び null に適用される。
• その式が，部分式をもつ場合，V は，その右端の直接部分式の後で確実に代入されているときにだけ，その式の後で確実に代入されている。

式 x のすべての直接部分式 y に対して，V は，x の前で確実に代入されているか，又は次のいずれかの一つが成り立つときにだけ，y の前で確実に代入されている。

• y が二項演算子の右辺であり，V が左辺の後で確実に代入されている場合
• x が配列参照であり，y が角括弧内の部分式であり，かつV がその角括弧の前にある部分式の後で確実に代入されている場合
• x があるオブジェクトに対するメソッド呼出し式であり，y がメソッド呼び出し式の最初の引数式であり，メソッド呼び出し式のドット演算子(.)，メソッド名，及び左側かっこの左側にあるオブジェクトを値として取る部分式があり，かつV がこの部分式の後で確実に代入されている場合
• x がメソッド呼び出し式又はクラスインスタンス作成式であり，y が最初ではない実引数式であり，かつV が y の左側にある実引数式の後で確実に代入されている場合
• xがクラスインスタンス作成式であり，y が多次元配列の1次元目以外のインデクス式であり，かつV が y の左にある次元のインデクス式の後で確実に代入されている場合

16.2 確実な代入及び文

16.2.1 空文

• V は，空文の前で確実に代入されているときにだけ，その空文の後で確実に代入されている。

16.2.2 ブロック

• V は，空ブロックの前で確実に代入されているときにだけ，空ブロックの後で確実に代入されている。
• V は，ブロックの中の最後の文の後で確実に代入されているときにだけ，空でないブロックの後で確実に代入されている。
• V は，ブロックの前で確実に代入されているときにだけ，ブロックの中の最初の文の前で確実に代入されている。
• V は，そのブロックの中の文 S の直前の文の後で確実に代入されているときにだけ，そのブロックの中の任意の他の文S の前で確実に代入されている。

16.2.3 局所変数宣言文

• V は，初期化子を含まない局所変数宣言文の後では，その局所変数宣言文の前で確実に代入されているときにだけ，確実に代入されている。
• V は，初期化子を含む局所変数宣言文の後では，その局所変数宣言文の最後の初期化子の後で確実に代入されているか，又は宣言内の最後の初期化式がV を宣言する宣言子内にあるときにだけ，確実に代入されている。
• V は，最初の初期化式の前では，その局所変数宣言文の前で確実に代入されているときにだけ，確実に代入されている。
• V は，その他の任意の初期化式 e の前では，その局所変数宣言文内の e の直前の初期化式の後で確実に代入されているか，又は局所変数宣言文内の e の直前の初期化式が V を宣言する宣言子内にあるときにだけ，確実に代入されている。

16.2.4 ラベル付き文

• V は，ラベル付き文 L:S （ここでLは，ラベルとする）の後では，S の後で確実に代入されており，かつ，そのラベル付き文 L:S から抜けることのあるすべての break 文の前で確実に代入されているときにだけ，確実に代入されている。
• V は，L:S の前で確実に代入されているときにだけ，S の前で確実に代入されている。

16.2.5 式文

• V は，式文 e; の後では，e の後で確実に代入されているときにだけ，確実に代入されている。
• V は，e; の前で確実に代入されているときにだけ，e の前で確実に代入されている。

16.2.6 if 文

• V は，if (e) S の後では，S の後で確実に代入されており，かつ e が偽の場合にその後で確実に代入されているときにだけ，確実に代入されている。
• V は，if (e) S の前で確実に代入されているときにだけ，e の前で確実に代入されている。V は，e が真の場合にその後で確実に代入されているときにだけ，Sの前で確実に代入されている。
• V は，if (e) S else T の後では，S の後で確実に代入されており，かつ T の後で確実に代入されているときにだけ，確実に代入されている。
• V は，if (e) S else T の前で確実に代入されているときにだけ，e の前で確実に代入されている。V は，e が真の場合にその後で確実に代入されているときにだけ，S の前で確実に代入されている。V は，e が偽の場合にその後で確実に代入されているときにだけ，Tの前で確実に代入されている。

16.2.7 switch 文

• V は，次の両方が成り立つときにだけ，switch 文の後で確実に代入されている。

• switch ブロックが空であるか，又は V が そのswitch ブロックの中の最後の文の後で確実に代入されている場合
• V が，そのswitch 文から抜けることのあるすべての break 文の前で確実に代入されている場合
• V は，switch 文の前で確実に代入されているときにだけ，switch式の前で確実に代入されている。
• V は，switch ブロックの中の文又は局所変数宣言文 S の前では，少なくとも次のいずれかの一つが成り立つときにだけ，確実に代入されている。

• V がswitch 式の後で確実に代入されている場合
• S に case 又は default ラベルがなく，V が先行する文の後で確実に代入されている場合

16.2.8 while 文

• V は，while (e) S の後では，e が偽の場合にその後で確実に代入され，かつ while 文から抜けることのあるすべての break 文の前で確実に代入されているときにだけ，確実に代入されている。
• V は，while 文の前で確実に代入されているときにだけ，eの前で確実に代入されている。
• V は，e が真の場合にその後で確実に代入されているときにだけ，S の前で確実に代入されている。

16.2.9 do 文

• V は，do S while (e); の後では，e が偽の場合にその後で確実に代入されており，かつ do 文から抜けることのあるすべての break 文の前で確実に代入されているときにだけ，確実に代入されている。
• V は，do 文の前で確実に代入されているときにだけ，Sの前で確実に代入されている。
• V は，S の後で確実に代入されており，かつ do 文の本体から抜けることのあるすべての continue 文の前で確実に代入されているときにだけ，e の前で確実に代入されている。

16.2.10 for 文

• V は，次の両方が成り立つときにだけ，for 文の後で確実に代入されている。

• 条件式が存在しないか，又は条件式が偽の場合にV がその後で確実に代入されている場合
• V が，そのfor 文から抜けることのあるすべての break 文の前で確実に代入されている場合
• V は，for 文の初期化部の前では，そのfor 文の前で確実に代入されているときにだけ，確実に代入されている。
• V は，for 文の条件部の前では，そのfor 文の初期化部の後で確実に代入されているときにだけ，確実に代入されている。
• V は，次のいずれかの一つが成り立つ場合，含まれる文の前で確実に代入されている。

• 条件式が存在し，条件式が真の場合にV がその後で確実に代入されている場合
• 条件式が存在せず，V が for 文の初期化部の後で確実に代入されている場合
• V は，for 文の増分部の前では，V が含まれる文の後で確実に代入されており，かつV が for 文の本体から抜けることのあるすべての continue 文の前で確実に代入されているときにだけ，確実に代入されている。

16.2.10.1 初期化部

• for 文の初期化部が局所変数宣言文である場合，16.2.3の規則が適用される。
• そうでなければ，初期化部が空であれば，V は，初期化部の前で確実に代入されているときにだけ，初期化部の後で確実に代入されている。
• そうでなければ，次の三つの規則が適用される。

• V は，初期化部の後では，初期化部の最後の文の後で確実に代入されているときにだけ，確実に代入されている。
• V は，初期化部の中の最初の文の前では，初期化部の前で確実に代入されているときにだけ，確実に代入されている。
• V は，初期化部の中の最初でない式文E の前では，式文 E の直前の式文の後で確実に代入されているときにだけ，確実に代入されている。

16.2.10.2 増分部

• for 文の増分部が空の場合，V が増分部の前で確実に代入されているときにだけ，V は，増分部の後で確実に代入されている。
• そうでなければ，次の三つの規則を適用する。

• V は，増分部の後では，増分部の最後の文の後で確実に代入されているときにだけ，確実に代入されている。
• V は，増分部の中の最初の式文の前では，増分部の前で確実に代入されているときにだけ，確実に代入されている。
• V は，増分部の中の最初でない式文E の前では，式文 E の直前の式文の後で確実に代入されているときにだけ，確実に代入されている。

16.2.11 break, continue, return及びthrow文

• 便宜上，V は， break 文，continue 文，return文，又は throw 文の後で確実に代入されていると表現する。 変数が文又は式の“後で確実に代入されている”とは，“文又は式が正常完了した後で確実に代入されている”ことを意味する。 break文，continue 文，return 文，又は throw 文は正常完了することがないので，これは意味をなさないものとして成立する。
• 式付きの return 文又は throw 文において，Vは，その式の前では， そのreturn 文又は throw 文の前で確実に代入されているときにだけ，確実に代入されている。

16.2.12 synchronized 文

• V は，synchronized (e) S の後では，S の後で確実に代入されているときにだけ，確実に代入されている。
• V は，synchronized (e) S 文の前で確実に代入されているときにだけ，e の前で確実に代入されている。
• V は，e の後で確実に代入されているときにだけ，S の前で確実に代入されている。

16.2.13 try 文

• V は，次のいずれかの一つが成り立つときにだけ，try 文の後で確実に代入されている。

• V が try ブロックの後で確実に代入されており，かつV が try 文のすべての catch ブロックの後で確実に代入されている場合
• try 文に finally ブロックがあり，V が finally ブロックの後で確実に代入されている場合
• V は，try ブロックの前では，try 文の前で確実に代入されているときにだけ，確実に代入されている。
• V は，catch ブロックの前では，try 文の前で確実に代入されているときにだけ，確実に代入されている。

V は，finally ブロックの前では，try 文の前で確実に代入されているときにだけ，確実に代入されている。

目次| 前| 次