二次元配列の初期化を理解したい

Question

前提・実現したいこと

現在JavaSilverの勉強をしています。
二次元配列の初期化について教えてください。

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

下記の該当コード中の「 ary[1] = new int[] {1,2} 」は、どのように理解すればよいのでしょうか。
通常、二次元配列の初期化は、

int[][] ary = new int[2][2]; //配列を生成
num[0][0] = 1; 　//初期化
num[0][1] = 2;
num[1][0] = 3;
num[1][1] = 4;

または、

int[][] ary = {{1,2},{3,4}}

などと記載するものだと思いますが、
多次元配列の要素の一つへ値を入れる方法として、
ary[1] = new int[] {1,2} と記載できる仕組みが理解できずにおります。

なぜ ary[1] = new int[] {1,2} とすると、
ary[1][0] = 1;
ary[1][1] = 2;
と同じことになるのでしょうか。

勉強をはじめて日が浅いため、基礎的な理解不足でしたら申し訳ございません。
ご指導ご鞭撻のほどよろしくお願い致します。

該当のソースコード

class ArrayTest {
    public static void main(String[] args){
        int[][] ary = new int[2][];
        ary[1] = new int[]{1,2}
        System.out.println(ary[1][0] + " " + ary[1][1]);
    }
}

実行結果
1 2 

試したこと

ary[0]には配列が生成されていないことは理解できますし、
上記の該当コードを実行してみると 1 2 と表示されることから、
ary[1]の中に｛1,2｝という配列が入っていることは分かるのですが、

参考書やネットで調べても、
このような多次元配列の初期化の仕方が載っておらず
どのように理解すればよいかわからない状態です。
よろしくお願いいたします。

Comments

[jimbe]

「配列, の入る2要素の配列」の一部に「要素が2つの配列」を入れて表示しているだけです.
そうなっているという以外でどう説明すれば宜しいのでしょうか.
java のバイトコードレベルでのことでしょうか.

Answer 1

ary[1] = new int[] {1,2} と
ary[1][0] = 1; ary[1][1] = 2;が同じ動きをするのは他の方々の回答の通りです。

もし、new int[] {1,2}という配列の初期化方法がよくわからない、ということでしたら、、、

配列の初期化で使う{}は初期化子といい、ary[1] = new int[] {1,2}はary[1] = {1,2}と同じ意味を持ちます。
ただ、ary[1] = new int[2]{1,2}というように、初期化子を使用しているときに要素数を記述してしまうとコンパイルエラーになってしまいます。
初期化子を使うと要素数を自動で計算してくれます。

Comments

[jaaava45]

ご回答いただきありがとうございます。

>配列の初期化で使う{}は初期化子といい、ary[1] = new int[] {1,2}はary[1] = {1,2}と同じ意味を持ちます。
そうなのですね！問題集３冊解く中でこのような記述は一つだけだったので何かと思いました。
ありがとうございます。

>ary[1] = new int[2]{1,2}
問題集を解く中で、上記のように要素数を記述しつつ｛｝を使ってしまうとコンパイルエラーになることは暗記していたのですが、
初期化子を使うと要素数が自動で計算されるためにコンパイルエラーになると理解することができました。
ありがとうございます。

Answer 2

なぜ ary[1] = new int[] {1,2} とすると、
ary[1][0] = 1;
ary[1][1] = 2;
と同じことになるのでしょうか。

下記のサイトを参考にするとわかりやすいと思われます。↓

引用 https://eng-entrance.com/java-array-multidimensional

多次元配列の場合、１次元目の配列と２次元目以降の配列が紐付いている形になりますので、

結果的にary[1]はary[1][]を指していることになります。

Comments

[jaaava45]

ご回答いただきありがとうございます。

配列の中に配列が入っているというイメージがよくわかりました。
ご教示いただいたサイトを見て勉強してみます。
ありがとうございます。

Answer 3

多次元配列と言われるモノは, 分かりやすく2次元配列を例としますと,「配列の入る配列」です. 人は2次元というとスプレッドシートのようなモノを想像しますが, 何次元になろうとも配列の中に配列...が続くだけです.
ary は「int の配列, の配列」であり, そのインデックス 1 に「int の配列」を入れられるのは当然です. 偶々(?) その「int の配列」が 2
要素であり 1,2 という初期値を設定されているだけです.

もし「初期化」という点で引っ掛かっているとすれば, それは考え方次第と言えると思います.
仰っているように変数の定義と同時に {} を連ねて書くことを「初期化」とも言いますが, 配列の個々の要素に一つずつ入れるのも「初期化」です. では配列の一部に値を入れるのは「初期化」では無いのでしょうか.
言葉の定義的には「使う前に値を設定する」事が初期化であり, ご提示のコードは確かに使う前に設定しています.
但し, それが「多次元配列の初期化」かと言えば, 一部しか値を入れていないという点で否とも言えます.

Comments

[jaaava45]

ご回答いただきありがとうございます。

>人は2次元というとスプレッドシートのようなモノを想像しますが, 何次元になろうとも配列の中に配列...が続くだけです.
おっしゃる通りですね。配列について理解できてきました。
ありがとうございました。