final intが初期化されていない可能性もあり、代入されている可能性もある。

Question

前提・実現したいこと

クラス変数で宣言したfinal int x;があり、それにfile.txtの一段目の数字を代入しようとしています。ですが、tryの外で代入したxを使用しようとするとエラー(1)が起きます。なので、初期かされていない可能性をつぶそうと今コメントになっている部分を有効にしました。しかし、そうするとエラー(2)が発生してしまします。
直し方を教えてください。

発生している問題・エラーメッセージ

Sample.java:15: エラー: 変数xは初期化されていない可能性があります
                System.out.println(x);
                                   ^
エラー1個

Sample.java:14: エラー: 変数xはすでに代入されている可能性があります
                x=0;
                ^
エラー1個

該当のソースコード

import java.io.*;
public class Sample{
	final int x;
	public static void main(String[] args){
		new Sample();
	}
	Sample(){
		try{
			x=Integer.parseInt(new BufferedReader(new InputStreamReader(getClass().getResourceAsStream("file.txt"))).readLine());
			System.out.println(x);
		}catch(Exception e){

		}
		//x=0;
		System.out.println(x);
	}
}

補足情報（FW/ツールのバージョンなど）

java version "16.0.1" 2021-04-20
Java(TM) SE Runtime Environment (build 16.0.1+9-24)
Java HotSpot(TM) 64-Bit Server VM (build 16.0.1+9-24, mixed mode, sharing)

Comments

[maisumakun]

なぜfinalである必要があるのでしょうか？

Answer 1

いったんfinalでない変数で処理を進めておく、というのはどうでしょうか？

    Sample(){
        int y = 0;
        try{
            y=Integer.parseInt(new BufferedReader(new InputStreamReader(getClass().getResourceAsStream("file.txt"))).readLine());
            System.out.println(y);
        }catch(Exception e){

        }
        x = y;
        System.out.println(x);
    }

Comments

[cretter]

回答ありがとうございます。
finalにしないのはこの後の処理で間違ってほかの値に代入しないようにするためです。

[hope_mucci]

ちょっと補足すると、parseIntする箇所だけをtry-catchで抑えておけば他の検査例外に影響を及ぼさないので極力tryブロックの範囲を絞りましょう。この方法であればcatchの中で例外発生時に任意の値をyに入れ、tryブロックの外でxを初期化することが可能です。

Answer 2

どうしてもfinalにしないといけないのなら、一旦別の変数に代入してください。

int xx = 0;
try {
    xx = ...
}
...

x = xx;

Answer 3

catchの中で何もしてないので、x=の右辺を評価中に例外が起きたら代入されずにprintlnに到達しますね。
このコードでtry-catchのある意図がちょっとわからないんですが、必須でないならtry-catchごと外せばいいんじゃないかなと思います。
必要ならcatch内で別の値をxに代入するかthrowかreturnで抜ける必要があります。

Comments

[S.Percentage]

catch内で別の値入れるのはできないか

[LouiS0616]

検査例外IOExceptionが生じるので、try-catchは単純には外せません。

[S.Percentage]

コンストラクタにthrowsって書けないんでしたっけ？
書けるならそれでもいいし、かけないならそもそも例外の可能性のある処理をコンストラクタ内でやるな、という話になりますね。言語仕様的に

[LouiS0616]

throwsは書けますけど、
そもそも例外発生時の挙動が全く異なってしまうので解決策にはなってない気がします。