staticキーワードとfinalキーワードは何を意味しますか?

Question

Accepted Answer

**`static`** は「クラス自体に属し、インスタンスには属さない」という意味です。**`final`** は「変更/拡張できない」という意味です。これらは独立したキーワードでしばしば混同されますが、異なる関心事に対処します。また、組み合わせると定数を作ります。 ## static — クラスレベル、すべてのインスタンスで共有される ```java public class Counter { static int count = 0; // ONE shared variable for the whole class int id; // each instance has its OWN id Counter() { count++; // increments the shared counter id = count; } static void reset() { // static method — called on the class count = 0; } } Counter.count; // access via the CLASS name, no instance needed Counter.reset(); // call a static method on the class new Counter(); // each new instance shares `count` ``` `static` メンバーはクラスに属し、個々のオブジェクトには属しません。すべてのインスタンスで共有される1つのコピーが存在し、クラス名でアクセスします。staticメソッドは `this` やインスタンスフィールドを使用できません(インスタンスが存在しません)。 ## final — 再代入/オーバーライド/拡張できない ```java final int MAX = 100; // a constant — can't be reassigned MAX = 200; // ❌ compile error final class Util { } // a final CLASS can't be subclassed (e.g. String is final) class Base { final void critical() { } // a final METHOD can't be overridden } ``` `final` には3つの用途があります。final **変数** は再代入できません(定数)、final **メソッド** はオーバーライドできません、final **クラス** は拡張できません。 ## 微妙な点: final参照 ```java final List list = new ArrayList<>(); list.add("a"); // ✅ ALLOWED — modifying the OBJECT, not the reference list = new ArrayList<>(); // ❌ ERROR — can't REASSIGN the reference ``` `final` 参照の場合、*参照* は再代入できませんが、それが指す*オブジェクト* はまだ変更可能です。これは一般的な混同のポイントです。 ## 組み合わせ: static final = 定数 ```java public static final double PI = 3.14159; // class-level, unchangeable constant public static final String APP_NAME = "MyApp"; // convention: UPPER_SNAKE_CASE for static final constants ``` `static final` を組み合わせると、真の定数が作成されます。クラス全体で共有され、変更できない値です。Javaで定数を定義する標準的な方法です。 ## なぜ重要なのか `static` と `final` はJavaの基本的なキーワードで、異なる重要な意味があります。`static` はクラスレベルの状態とユーティリティメソッド(共有カウンター、ファクトリメソッド、`Math.PI`、`main`メソッド自体)を実現し、`final` は不変性を強制し、継承/オーバーライド(定数、String のような不変クラス、重要なメソッドのシーリング)を防止します。これらを理解すること(final参照の微妙な動作(参照は固定、オブジェクトは変更可能)と定数への組み合わせを含む)は、クラスを正しく設計し、定数を適切に定義し、拡張性を制御し、共有状態とインスタンスごとの状態について推論するために不可欠です。 Javaコードに遍在し、面接の頻繁なトピックです。