![catch-img](https://ferret-one.akamaized.net/images/64f7cce942e7dd2e56b219b2/original.png?utime=1693961449)
Javaの「暗黙的に」を可視化してみた
はじめに
こんにちは。株式会社divxのエンジニア二階堂です。
突然ですが、Javaのプログラムを実行する時に「特に記述しなくても裏で勝手に動いてる処理」が果たして本当に動いているのか、裏でどのような処理が行われているのか気になりませんか?
その時、某人気曲の「見えないものを見ようとして〜」の歌詞のように”望遠鏡”ではない何かをのぞき込むことで裏側を見られるのではないか?という好奇心が生まれました。
Javaではソースコードをコンパイルしたときに「暗黙的に」行われている処理があります。
言い換えると「ソースコードに明示的に記述しなくてもコンパイル時に自動的に行われる処理」のことです。自動で行われているので気にしなくていいことでもありますが、「暗黙的に行われている処理は本当に行われていて、それを実際に可視化することは可能なのか」という疑問を抱いたので、本記事の執筆に至りました。
そこで、本記事では暗黙的に行われている処理をクラスファイルに対してjavapコマンドを実行して処理を可視化できるのか試みました。
まず、可視化する方法を説明します。
Javaの実行の過程でコンパイル時に生成される「バイトコード」や「クラスファイル」について説明します。そして、クラスファイルの中身を見るためのjavapコマンドについて説明します。
次に、実際のコードを例に暗黙的に行われている処理が、クラスファイルに対してjavapコマンドを実行したら可視化できるのか調査します。
終わりに「見えないものを見ようとした」結果何がわかったのか気づきをまとめましたので、読者の方の参考になれば幸いです。
目次[非表示]
- 1.はじめに
- 2.どうやったら可視化できるのか?
- 2.1.Javaが実行されるまでの流れ
- 2.1.1.バイトコードとクラスファイル
- 2.2.javapコマンド
- 2.2.1.コマンドの説明
- 3.「暗黙的」な処理を可視化してみる
- 3.1.①デフォルトコンストラクタは生成されているのか
- 3.1.1.デフォルトコンストラクタとは
- 3.2.②スーパークラスのコンストラクタは先に呼ばれているのか
- 3.2.1.invokespecialとは
- 3.2.2.Constant poolとは
- 3.3.③int型とInteger型を比較したときになぜtrueになるのか
- 3.3.1.valueOfメソッドとは
- 3.3.2.invokevirtualとは
- 3.3.3.intValueメソッドとは
- 3.3.4.等式演算子(==)の挙動
- 3.4.④ストリングコンスタントプールはどのように利用されているなのか
- 3.4.1.ストリングコンスタントプールとは
- 4.終わりに
- 5.実行環境
- 6.参考資料
どうやったら可視化できるのか?
暗黙的な処理を可視化する方法は、Javaのソースコードをコンパイルした後に生成される「クラスファイル」をjavapコマンドで実行することによって可視化できます。
まず前提として、Javaの実行の流れを説明した上で、その過程で生成される「バイトコード」「クラスファイル」について説明します。
その後、クラスファイルの中身を確認するために使用するjavapコマンドについて説明します。
Javaが実行されるまでの流れ
Javaのソースコードがコンパイルされて実行されるまでの処理の流れは以下のようになっています。
JavaのソースコードをJavaのコンパイラ(javac)がコンパイルを行いバイトコードを生成します。 バイトコードはクラスファイル(*.classファイル)に書き込まれます。 その後、JVM(Java仮想マシン)がバイトコードを解釈することにより異なるプラットフォームでJavaを実行することができます。
上記の過程でコンパイル後に生成される「バイトコード」、「クラスファイル」とは何なのでしょうか?
バイトコードとクラスファイル
バイトコードとは、JVMで実行するために生成される中間コードのことです。
Javaのコンパイラはバイトコードを生成し、そのバイトコードをクラスファイルに書き込みます。クラスファイルには .classという拡張子がつきます。
以下のように、Main.javaをjavacコマンドでコンパイルするとMain.classが生成されます。
コンパイル後に生成されるファイルなので、このクラスファイルの中身を見ることができればコンパイラが自動で行っている暗黙的な処理を見ることができそうです。
では、どのような方法でクラスファイルの中身を見ることができるのでしょうか?
その方法として「javap」コマンドを使用します。
javapコマンド
javapとは、クラスファイルを逆アセンブルするコマンドです。
逆アセンブルとは、機械語などで書かれたオブジェクトコード(もしくはバイトコード)を人間が理解しやすいアセンブリ言語に変換することです。
よって、javapコマンドを実行するとクラスファイルの処理がアセンブル言語として出力されます
コマンドの説明
以下は、コマンドの使用方法です。
※オプションを指定しない場合は、対象のクラスのprotectedおよびpublicのフィールドとメソッドを出力します。
オプションの指定で出力結果が異なります。今回は以下のオプションを使用します。
オプション |
説明 |
-vまたはverbose |
クラスに関する詳細な情報を出力します。主にメソッドのスタックサイズ、コンスタントプール、 localsと args の数などを出力します。 |
-c |
クラスのメソッドごとに、逆アセンブルされるコードを出力します。すなわち、Javaバイトコードで構成される命令を表示します。 |
vオプション指定して実行するとcオプション内容も出力されます。
※その他のオプション、詳細は参考資料をご確認ください。
以下のように、Main.classをjavapコマンドのcオプションをつけると逆アセンブルされた結果が出力されます。
では、次章から実際にjavapコマンドを使用して暗黙的な処理を可視化してみましょう。
「暗黙的」な処理を可視化してみる
本章では、実際にコンパイルされると「暗黙的に」行っている処理の例を4つ紹介します。
クラスファイルに対してjavapコマンドを実行し「暗黙的に」行われている処理や動きが可視化できるのか確認します。
①デフォルトコンストラクタは生成されているのか
デフォルトコンストラクタとは
クラス内でコンストラクタを1つも明示的に定義していない場合、引数無しで生成される中身が空のコンストラクタのことです。
この時Javaコンパイラが「暗黙的に」で追加してくれているのですが、本当にデフォルトコンストラクタが追加されているのか確認してみましょう。
Main.java
Sample.java
コンストラクタは明示的に記述しない場合publicなフィールドになるため、オプションを指定せずにjavapコマンドを実行します。
実行するとpublic Sample(); というデフォルトコンストラクタが生成されていることが確認できました。
②スーパークラスのコンストラクタは先に呼ばれているのか
サブクラスのコンストラクタで明示的にスーパークラスのコンストラクタの呼び出しを行わない場合、「暗黙的に」super();が呼び出されます。
なぜかというと、クラスのインスタンス化時は、まずスーパークラスのインスタンスが生成されてからその中に内包されるようにサブクラスのインスタンスが生成されるからです。
よって、サブクラスに明示的にsuper();を記述しなくても継承元のスーパークラスから先にコンストラクタが生成されることになります。
※スーパークラスのコンストラクタに引数を渡したい場合などは明示的に書く必要があります。
本当にスーパークラスのコンストラクタが先に呼ばれているのか確認してみましょう。
Main.java
Parent.java
Child.java
実行するとスーパークラスのコンストラクタ(Parentクラスのコンストラクタ)が先に呼ばれています。
まず、Javaのバイトコードで構成される命令に着目します。
invokespecialとは
インスタンスメソッド、スーパークラス、インスタンス初期化のメソッド(コンストラクタメソッド)の呼び出し処理を行う命令です。
今回はスーパークラスのコンストラクタメソッド、つまりParentクラスのコンストラクタを呼び出しています。
invokespecialの横の#1は、Constant pool内のインデックスを参照して識別してます。
Constant poolとは
クラスやインタフェースごとに実行時、表現されるものです。この中には、コンパイル時の既知のリテラル、実行時に行われるメソッド、フィールドの参照などいくつかの種類の定数が含まれています。
Constant pool内を確認してみると、1番上の#1のインデックスでParentクラスのメソッドの参照が保存されています。
よって、暗黙的に処理されるChildクラス内のsuper();の動きは以下のようになります。
1. Constant poolにセットされた継承元のParentクラスを参照する
2. invokespecial命令でParentクラスのコンストラクタメソッド内の処理が呼び出される
3.「Parentクラスのコンストラクタ」という出力結果が先に表示される
以上の動きからスーパークラスのコンストラクタが先に呼ばれていることが確認できました。
③int型とInteger型を比較したときになぜtrueになるのか
int型とInteger型を等式演算子で比較したときに、trueが返されます。
なぜ、「基本データ型」と「参照型」の異なった型を比較しているのにtrueになるのでしょうか?
その理由を可視化して確認してみましょう。
Main.java
valueOfメソッドとは
IntegerクラスのvalueOfメソッドは、指定されたint値を表すIntegerインスタンスを返します。
まず、14: invokevirtual #4 // Method java/lang/Integer.intValue:()Iに注目します。
invokevirtualとは
インスタンスメソッドを呼ぶ命令です。
この命令で「暗黙的に」IntegerクラスのintValueメソッド呼ばれています。
intValueメソッドとは
IntegerクラスのintValueメソッドは、Integer型のインスタンスの値をint型に変換して返します。
なぜ、intValueメソッドが呼ばれているのでしょうか?
intValueメソッドの役割からこの処理がtrueになる理由を紐解いていきます。
理由は、等式演算子(==)で比較したときの処理にあります。
等式演算子(==)の挙動
以下は、等式演算子でオペランドを比較した場合の挙動です。
等式演算子のオペランドが両方とも数値型である場合、または一方が数値型であり、もう一方が数値型に変換可能である場合は数値に変換して実行されます。
Chapter 15. Expressions#Equality Operators
「もう一方が数値型に変換可能である場合」という部分に注目してみます。
今回はラッパークラスであるInteger型と基本データ型のint型を比較しています。
ラッパークラスから基本データ型へ自動変換できるアンボクシングという機能が暗黙的に行われてるので、Integer型からint型への変換は可能であると言えます。
アンボクシングが働くため、intValueメソッドによってInteger型のインスタンス変数valの値がint型に変換されていることがわかります。
以上の結果からこの処理がtrueになる理由をまとめます。
等式演算子の比較によって、アンボクシングが働くのでInteger型からint型に自動変換されます。
それにより暗黙的にintValueメソッドが呼ばれ、int型の値同士で比較されるためtrueが返されます。
補足として、ソースコードにintValueメソッドを明示的に記述した場合にjavapコマンドを実行するとどのように出力されるのか確認してみます。
Main.java
invokevirtual命令でintValueメソッドが2回呼ばれています。
明示的にintValueメソッドを記述すると、同じ命令とメソッドが重複して呼ばれるので余計な処理が1回増えることになります。
このように比較してみると、あえて明示的に書かないほうがいいパターンもあることがわかりました。
④ストリングコンスタントプールはどのように利用されているなのか
ストリングコンスタントプールとは
プログラムで定義された文字列(String)が格納されるヒープ領域の場所です。
JavaのString型は不変(immutable)のため、一度オブジェクトが生成されるとプログラムの実行中は同じままです。String型の文字列を宣言すると、String型のオブジェクトがスタック領域に生成され、文字列の値はヒープ領域に生成されます。
もし同じ文字列の値が生成されたときに、ヒープ領域内のストリングコンスタントプールに格納されることで使い回すことができ、メモリ使用量も節約できる仕組みになります。
こちらの詳細は、弊社テックブログの記事をご覧ください。
インスタンスを作るって言うけど、パソコンのどこにできるの?
では、実際にストリングコンスタントプールの仕組みを可視化できるかString型の文字列同士の比較を例に確認してみましょう。
Main.java
コンスタントプールの中にString型の文字列Hello Javaが格納されています。
Mainクラス内の命令を確認してみます。
ldcとは
コンスタントプールからスタックにプッシュする命令です。
Stringクラスのインスタンスへの参照やint,double型などの基本データ型は、ldc命令で管理されます。
ldc命令は2回実行されていますが、どちらもConstant pol内の#2のインデックス番号を指しているので、同じ文字列を参照しています。
このことからストリングコンスタントプールによってHello JavaのString型の文字列が使い回されていることがわかりました。
終わりに
今回は、Javaを例に暗黙的な処理をjavapコマンドで可視化する方法と実際のコードを例に中身を確認し本当に処理が動いているのか検証してみました。
本来、バイトコードで書かれているクラスファイルをjavapコマンドすることで、人間でも理解できるアセンブリ言語に変換してくれるのでどのような処理や命令が行われているのか確認できました。
「暗黙的な処理はコンパイラが裏で良しなにやってくれている」という認識でも問題はないのです。 しかし、「見えないものを見ようとしてjavapコマンドでのぞき込んだ」結果、実は隠れたメソッドが裏で動いてたり、処理の流れや順番を確認できたり、言語仕様をもう一段階理解できたりなど新たな発見や気づきが生まれました。気になった方はぜひクラスファイルをjavapコマンドでのぞいてみてください!
最後まで読んでいただきありがとうございました!ご参考になれば幸いです。
divxでは一緒に働ける仲間を募集しています。 興味があるかたはぜひ採用ページを御覧ください。
実行環境
JDK(Java Development Kit)
AdoptOpenJDK version11
% java -version
openjdk version "11.0.14.1" 2022-02-08
OpenJDK Runtime Environment Temurin-11.0.14.1+1 (build 11.0.14.1+1)
OpenJDK 64-Bit Server VM Temurin-11.0.14.1+1 (build 11.0.14.1+1, mixed mode)
MacBookAir(M1,2020)
macOS Big Surバージョン11.6.4
Linux OS
Darwin
% uname -a
Darwin XA-001 20.6.0 Darwin Kernel Version 20.6.0: Wed Jan 12 22:22:45 PST 2022; root:xnu-7195.141.19~2/RELEASE_ARM64_T8101 x86_64
参考資料
第 1 章 Java プログラミング環境の概要
javac
javap - Java クラスファイル逆アセンブラ
javapコマンド
Chapter 6. The Java Virtual Machine Instruction Set#invokespecial
The JavaTM Virtual Machine Specification : The Runtime Constant Pool
The Structure of the Java Virtual Machine#3.5.5 Runtime Constant Pool
java.lang.Integer
java.lang.Integer#intValue
java.lang.Integer#valueOf
Chapter 15. Expressions#Equality Operators
Chapter 15. Expressions#Unboxing Conversion
Chapter 3. Compiling for the Java Virtual Machine#Accessing the Run-Time Constant Pool