Java言語では利用できないバイトコード機能 質問する

しかし、Java 7u23 までは、HotSpot VM の検証ツールはこのチェックを見逃していたため、それが可能でした。これは、いくつかのコード生成ツールで一種のハックとして使用されていましたが、このようなクラスを実装することはもはや合法ではありません。

後者は、このコンパイラ バージョンでの単なるバグでした。新しいコンパイラ バージョンでは、これが再び可能になります。

コンストラクタなしでクラスを定義する

Java コンパイラは、どのクラスに対しても少なくとも 1 つのコンストラクターを常に実装します。Java バイト コードでは、これは必須ではありません。これにより、リフレクションを使用しても構築できないクラスを作成できます。ただし、を使用すると、sun.misc.Unsafeそのようなインスタンスを作成することは可能です。

同じシグネチャを持ちながら戻り値の型が異なるメソッドを定義する

JPL では、メソッドは名前と生のパラメータ型によって一意であると識別されます。JBC では、生の戻り値の型も考慮されます。

名前ではなくタイプのみが異なるフィールドを定義します

クラス ファイルには、異なるフィールド タイプを宣言している限り、同じ名前の複数のフィールドを含めることができます。JVM は常に、フィールドを名前とタイプのタプルとして参照します。

宣言されていないチェック例外をキャッチせずにスローする

Java ランタイムと Java バイト コードは、チェック例外の概念を認識しません。チェック例外がスローされた場合に常にキャッチまたは宣言されていることを検証するのは、Java コンパイラだけです。

ラムダ式の外で動的メソッド呼び出しを使用する

いわゆる動的メソッド呼び出しJavaのラムダ式だけでなく、何にでも使用できます。この機能を使用すると、実行時に実行ロジックを切り替えることができます。JBCに要約される多くの動的プログラミング言語パフォーマンスが向上したこの命令を使用することで、Java バイト コードでは、Java 7 のラムダ式をエミュレートすることもできます。Java 7 では、コンパイラーはまだ動的メソッド呼び出しの使用を許可していませんでしたが、JVM はすでに命令を理解していました。

通常は合法とはみなされない識別子を使用する

メソッド名にスペースや改行を使用したいと思ったことはありませんか? 独自の JBC を作成して、コード レビューの成功を祈ります。識別子に使用できない文字は、、、および のみです。.また、名前が付けられていないメソッドや、およびを含むことができないメソッドもあります。;[/<init><clinit><>

finalパラメータまたはthis参照を再割り当てする

finalパラメータは JBC には存在しないため、再割り当てが可能です。this参照を含むすべてのパラメータは、JVM 内の単純な配列にのみ保存され、単一のメソッド フレーム内のthisインデックスで参照を再割り当てできます0。

finalフィールドの再割り当て

final フィールドがコンストラクター内に割り当てられている限り、この値を再割り当てすることも、値をまったく割り当てないことも正当です。したがって、次の 2 つのコンストラクターは正当です。

class Foo {
  final int bar;
  Foo() { } // bar == 0
  Foo(Void v) { // bar == 2
    bar = 1;
    bar = 2;
  }
}

record Foo(Object bar) { }

class Foo {
  void baz() { System.out.println("Foo"); }
}

class Bar extends Foo {
  @Override
  void baz() { System.out.println("Bar"); }
}

class Qux extends Bar {
  @Override
  void baz() { System.out.println("Qux"); }
}

class Foo {
  void foo() {
    bar();
  }
  void bar() { }
}

class Bar extends Foo {
  @Override void bar() {
    throw new RuntimeException();
  }
}

class Foo {
  static {
    return;
  }
}

try {
  throw new Exception();
} catch (Exception e) {
  <goto on exception>
  throw Exception();
}

class Foo {
  void m(Foo f) {
    f.super.toString(); // calls Object::toString
  }
  public String toString() {
    return "foo";
  }
}

class Foo {
  class Bar { 
    void bar(Bar bar) {
      Foo foo = bar.Foo.this;
    }
  }
}

Method method = ...
assertTrue(method.getParameterTypes() != method.getGenericParameterTypes());

Field field = ...
assertTrue(field.getFieldType() == String.class);
assertTrue(field.getGenericFieldType() == Integer.class);

class Foo {
  class Bar {
    Bar(@TypeAnnotation Foo Foo.this) { }
  }
  Foo() { } // Must not declare a receiver type
}