Java 非staticインナークラスのstaticメソッドについて

Question

実現したいこと

Java SE 11 Gold の資格勉強をしており、本を読み始めたのですが不明な点があるので、
有識者の方にご教授頂きたいです。

前提

• Java自体は全くの素人です(Silverは一応持っています)。
• Java SE 11 Goldの勉強で、紫本？(ISBN978-7981-6202-7)を読んでいます。
• 本で引っかかった部分をコーディングして確かめたりしています(Java SE 21)

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

インナークラス(クラス内部に宣言する非staticなクラス)は、staticメンバを持つことができない という文言があります。
ネット等で調べてみると同様のことが書いているので、これは間違いないことだろうと思いますが、
自分の環境でコーディングすると、問題なくコンパイル・実行できてしまっているように思います。
これが何故起こってしまっているのか教えて頂きたいです。

該当のソースコード

public class Main23 {
    public class Inner {
        public static int value = 0;
        public static void print() {
            System.out.println("Inner");
        }
    }

    public static void main(String[] args) {
        Inner inner = new Main23().new Inner();
        System.out.println(inner.value);
        inner.print();
    }
}

試したこと

• chatGPTに、これはJava SE 11以降のバージョンで可能になったのか質問する。->「そのようなことはなく、一貫してできない」と回答される。
• Java のリファレンスで、言語更新ページを閲覧。「static」や「内部」などで検索をかけるが、それっぽい箇所はないと思われる(レコードは静的メンバーを内部クラスで宣言できる、と読み取れる箇所はある)

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

• javac 21.0.5
• java 21.0.5 2024-10-15 LTS
• Java(TM) SE Runtime Environment (build 21.0.5+9-LTS-239)
• Java HotSpot(TM) 64-Bit Server VM (build 21.0.5+9-LTS-239, mixed mode, sharing)
• コンパイル後のクラスファイル

// Main23.class
// Source code is decompiled from a .class file using FernFlower decompiler.
package purple.ch1;

public class Main23 {
   public Main23() {
   }

   public static void main(String[] var0) {
      Inner var1 = new Inner(new Main23());
      System.out.println(purple.ch1.Main23.Inner.value);
      purple.ch1.Main23.Inner.print();
   }
}

// Main5$Inner.class
// Source code is decompiled from a .class file using FernFlower decompiler.
package purple.ch1;

public class Main5$Inner {
   public static int VALUE = 100;

   public Main5$Inner(final Main5 var1) {
   }

   public static void print() {
      System.out.println("Inner");
   }
}

Answer 1

chatGPTに、これはJava SE 11以降のバージョンで可能になったのか質問する。->「そのようなことはなく、一貫してできない」と回答される。

ChatGPTさんが提供する情報は古いのでしょうね。その制限はJavaSE 16で解除されたそうです。

8.1.3 Inner Classes and Enclosing Instances - Oracle

By eliminating these rules, we permit arbitrary static member declarations within inner classes.

実際、私の手もとにあるJDK 23で試すと、"--release"オプションでJavaSE 15向けにコンパイルするとコンパイルエラーで、16向けにコンパイルするとコンパイル成功、です。

PS > javac -version
javac 23.0.1
PS > javac --release 15 Main23.java
Main23.java:3: エラー: 内部クラスMain23.Innerの静的宣言が不正です
        public static int value = 0;
                          ^
  修飾子'static'は定数および変数の宣言でのみ使用できます
Main23.java:4: エラー: 内部クラスMain23.Innerの静的宣言が不正です
        public static void print() {
                           ^
  修飾子'static'は定数および変数の宣言でのみ使用できます
エラー2個
PS > javac --release 16 Main23.java
PS > java Main23
0
Inner
PS >

要は、「JavaSE 16からインナークラス(クラス内部に宣言する非staticなクラス)は、staticメンバを持つことができるようになった」と言うことですね。

参考まで私がどう調べたかと言うと、"--release"オプションで8からはじめてコンパイル成功するまで試し、「Can JavaSE 16 declare static variable in inner class?」でWEB検索してヒットする記事を眺め、Stackoverflowの質問回答中にJavaSE 16にて解除された旨の回答コメントを見かけたので、公式の情報でウラを取る為にOracleのリファレンスにあたりました。

Comments

[dodox86]

2014年といまや随分古い質問ですが、関連するので載せておきます:

[内部クラスにはstatic変数を宣言できないのでしょうか？ - teratail](https://teratail.com/questions/782
※JDK 16 は2021年リリースなので無理も無い。知識のキャッチアップも必要ですね。
(私自身はこんなややこしい仕様を扱うコードを書いたことは無いですが)

[Fanzar]

丁寧に調べて頂き、ありがとうございます。とても勉強になりました。
--releaseオプションで、バージョン指定しながらコンパイルできるんですね。無知でお恥ずかしい。

[jimbe]

私は(特に Android で)関係クラスを入れ子にすることが多いので書いているうちに「これ static でいいんじゃ？」っていう時に出来なかったりがちょっと気になっていたので、このアップデートは良かったです。

[pecmm]

https://docs.oracle.com/javase/jp/16/language/records.html#GUID-6699E26F-4A9B-4393-A08B-1E47D4B2D263__GUID-39F00348-092F-441F-BE88-F8A54A05888B
これはJava16でrecord型が導入された際に、そのままだと内部クラスの中でrecordを宣言できなかった（recordは暗黙的にstaticとなる）ためにこの制約を削除した……という経緯らしいです。

[dodox86]

皆さん、コメントありがとうございます。

@Fanzar さん
java, javacコマンドに限りませんが、コマンドラインオプションの色々は確認しておくと意外と便利なものがあったりするので、一度眺めてみるのも良いかと思います。
あと、JAVA_HOME下のbin/ディレクトリの意識したことないコマンドとか。

@jimbe さん
なるほど、言われてみれば使いどころがよく想像できます。ありがとうございます。

@pecmm さん
フォローの情報、どうもありがとうございます。公式、かつ日本語の情報で良いですね。
(私の回答中で示したものは、URLや記述の仕方から推測するとある意味プレビュー版のようでもあるので)