拡張for文「配列とStringには互換性がない」とは

Question

前提・実現したいこと

Java silver SE8の拡張for文に関する問題で分からない所があったので質問させていただきます。
次のプログラムの4行目for( )の空欄に記述するコードを選択肢から選ぶ問題です。

public class Main {
  public static void main (String[] args) {
    String[][] array = { {"A","B","C"} };
    for(　　　　　　　　  ) {
      System.out.print(obj);
    }
  }
}

私が迷った選択肢は
A.Object obj : array
B.String str : array
この二択です。

私は　"5行目 System.out.print(obj); で　変数objを呼び出しているから"　選択肢Aだと考えました。
正解はAなのですが、解説には
『選択肢Bは、2次元配列の集合から取り出した2次元目の配列を受け取る必要があるにもかかわらず、String型で変数を宣言している。配列とStringには互換性がないため、コンパイルエラーが発生する。』
とあり、この解説が理解できません
(´;ω;｀)配列を呼び出す拡張for文でString型の変数は使ってはいけないという意味だろうか...
などと考えていたのですが次のコードからそうではないことは分かりました。

下のコードは先のコードを2次元配列から1次元配列に変え、変数をstrにしたものです。これをコンパイル、実行するとコンパイルエラーは起きず、「ABC」と表示されます。

public class Main {
  public static void main(String[] args) {
    String[] array = {"A","B","C"}; 
    for (String str : array) {
        System.out.print(str);
    }
  }
}

この二つのコードの違いと合わせて、上の解説の意味を教えていただきたいです。
よろしくお願いいたします。

Comments

[Zuishin]

試してないので間違ってるかもしれませんが、コンパイルエラーおきませんか？

[ozwk]

> コードを2次元配列から1次元配列に変え

なんで？

[BeatStar]

下は paiza IO で試すとエラー吐きます。( String[][] がString[] になっている )

[raccy]

そもそもforの中身で変数`obj`を使っている時点で変数`str`を使うような選択肢があること自体がおかしい気がします。Oracle公認の試験でこのレベルの問題が出るとなると、OracleはまじでJavaを見捨てようとしている気がしてきました。

[ATTOMAN]

試すのに少し時間がかかってしまい返信遅くなりました。ごめんなさいm(_ _"m)
コードが間違っていました。ご指摘ありがとうございます。
{{"A","B","C"}}ではなく{"A","B","C"}でした。
すみません　よろしくおねがいします。

[Zuishin]

> Oracle公認の試験でこのレベルの問題が出るとなると、OracleはまじでJavaを見捨てようとしている気がしてきました。

どういう試験なのかググってみました。

https://proengineer.internous.co.jp/content/columnfeature/4607
> 「新Silver」はJavaによるオブジェクト指向プログラミングを理解できているかどうかが問われる内容で、新人プログラマ向けだった「旧アソシエイツ」相当の難易度と考えられます。

これに合格すると新人プログラマーレベルと認められるという何とも意味不明な資格ですね。

Answer 1

互換性があるかどうかというのは、要はその型の変数に代入できるかということです。早い話、次のどちらならできますか？ということ。

//A
Object obj = array[0];

//B
String str = array[0];

array[0]はString[]型であるため、Object型には代入できますが、String型には代入できません。

Comments

[ATTOMAN]

回答ありがとうございます。
すみません、まだ完全に理解できていないのですが、
上のコードはString[]型をString型には代入できず、Object型なら代入できる。
下のコードではSting型をString型に代入しているだけだから可能。
ということでしょうか

[swordone]

はい、そうです。

[ATTOMAN]

分かりました！素早い回答をどうもありがとうございました

Answer 2

これ、いやらしい問題ですね。
まったく方向性の違うものを出すって...
犬と人間を同一視するようなものですし。

String[][] array = { {"A","B","C"} };

は、図にするとわかりやすいです。

// それぞれのデータをString型として.

"A", "B", "C"
"D", "E", "F"
"G", "H", "I"
"J", "K", "L"
...

のように表みたいになっています。(厳密には違いますが...)

今回はそのうちの "A"～"C" がセットされている状態です。

その { "A" } というデータを取り出すためには texts[0][0] のようにして取り出します。

// 二次元配列の名前がtextsだとして
System.out.println( texts[0][0] );

という風に取り出します。

つまり、拡張forで取り出そうとすると、(あまりに次元配列は使わないのであくまでイメージ)
Stringの配列 ( 一次元 ) を取得してからになると思います。

それを String[] ではなく String で取得しようとしているため、型が合わないことからエラーを吐く。

ただ、出題がおかしい。

鶏を生き物だからと言って、人間と同一(まったく同じとして)とみなすような出題なのでいやらしいなぁと。

---

[追記1]

あまりJavaは(仕様レベルでは)よくわかっていませんが、ソースは忘れましたが、『JavaではすべてのオブジェクトはObjectクラスを継承していると考えられる』系の説明を読んだことがあります。

一応Javaのdocumentationでも

Objectクラスは、クラス階層のルートです。すべてのクラスは、スーパー・クラスとしてObjectを持ちます。配列を含むすべてのオブジェクトは、このクラスのメソッドを実装します。

とあります。

『配列を含むすべてのオブジェクト』とあるので、String[] でも String[][] でも Stringでも Objectを継承していると想定されるために、

// String[][] texts だとして
for( Object obj : texts )...

でも受け取れるのだと思います。

ですが、for( String obj : texts ) ... という風に Stringで受け取ろうとすると、配列なのに変数に入れるような状況になってしまうので、コンパイルエラーを吐く。

Objectクラスは 配列を含めたオブジェクトすべてに実装されていると想定されているので、そのまま使える。

...っていうことなんだと思います。

Comments

[ATTOMAN]

配列についてだいぶイメージができてきました
丁寧な回答どうもありがとうございます！

Answer 3

配列は、Object変数には代入できるが、String変数には代入できないということでは？

下のプログラムはコンパイルエラーですが、リテラル部分を1次元配列に直すと、String変数に文字列を代入しているだけなので、問題ないです。

Comments

[ATTOMAN]

素早い回答、ありがとうございました！
無事、理解することができましたm(_ _"m)