scalaで多次元配列を作る方法

Question

Javaの多次元配列にちなんで、scalaで多次元配列を書いてみました。

object MultiArray {
  def main(Args:Array[String]) {
    var multi = Array((2,4,8),(3,6),(12))
    for(a <- 0 to multi.length) {
      for(b <- 0 to multi(a).length) {
        println("multi(" + a + ")(" + b + ") = " + multi(a)(b))
      }
  }
}

すると、5行目のmulti(a).lengthのところで「value length is not a member of Any」、
6行目のmulti(a)(b)のところで「Any does not take parameters」というエラーが出てしまいます。
手持ちの教材『ボクらのScala』や、インターネットで調べても、解決方法に辿り着くことができなかったため、こちらに質問致しました。
どなたかエラーの原因と解決方法がお分かりになる方おりましたら、ご教授願います。

Answer 1

var multi = Array((2,4,8),(3,6),(12))

このコードでは多次元配列にはなりません。
multiの各要素(2,4,8),(3,6),(12)は、それぞれタプルという型とInt型になります。
そこでmultiの型はそれらの型の共通のスーパークラスであるAny型を要素に持つ配列(Array[Any])だと推論されます。(ScalaではAnyはすべての型のスーパークラスです)
その結果、multi(a)はAny型のオブジェクトということになり、lengthやapplyを呼び出したときにエラーになるということです。
解決法はきちんと要素が配列になるようにArrayで囲うことです。

  var multi = Array(Array(2,4,8), Array(3,6), Array(12))

Comments

[xebme]

(12) はタプルではなくIntですね。要素数1のタプルはありません。

[yudedako67]

本当ですね。修正します。

[st-access_91s]

ご回答いただきありがとうございます。
いただいた回答に基づき修正すると、「value length is not a member of Any」と「Any does not take parameters」のエラーはなくなりましたが、オブジェクトを実行すると、

multi(0)(0) = 2
multi(0)(1) = 4
multi(0)(2) = 8
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 3

となり、
multi(1)(0) = 3
multi(1)(1) = 6
multi(2)(0) = 12
の後続の値が出力されません。ArrayIndexOutOfBoundsException: 3　なので、multi(3)(0)を探しに行っているのだと思いますが、こちらについてはどのようにすればよろしいでしょうか。

[yudedako67]

それは別の問題ですが、toをuntilに変えれば出なくなります。

[st-access_91s]

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

[st-access_91s]

申し訳ありません、本日、復習を兼ねて読み返していたところ、yudedako67さんの回答にあります「その結果、multi(a)はAny型のオブジェクトということになり、lengthやapplyを呼び出したときにエラーになるということです。」の部分で気になる点が発生しました。
ArrayやListが、メソッドとしてlengthやapplyを持っているのは知っているのですが、それなら全てのスーパークラスであるAny型でも呼び出せるのではないでしょうか。自分でも調べたのですが、解決できませんでした…。
よろしければ、こちらについてもご教授願えますか？

[rysh]

Anyにlengthやapplyはありませんよ。
https://www.scala-lang.org/api/2.13.1/scala/Any.html

[xebme]

>(12) はタプルではなくIntですね。要素数1のタプルはありません。
「要素数1のタプルはありません」は間違いです。実際にはTuple1というクラスが定義さています。
(12)はInt型に解釈されますが、Tuple1(12)と明に指定するとタプル型です。
https://www.scala-lang.org/api/2.13.1/scala/Any.html?search=Tuple

質問の場合は、型がTuple3, Tuple2, Intになります。
Tuple.. と Intの共通のスパークラスは、Anyにしかならないようです。

[st-access_91s]

＞ryshさん
返信遅くなって申し訳ありません。
いただいたリンク先を確認したのですが、これはつまり…Anyクラスから直接呼び出せるのはConcrete Value Membersに定義されているメンバのみということでしょうか？

＞xebmeさん
追加の解説ありがとうございます。
そういえばTupleは1～22までありましたね…。

[xebme]

>Anyクラスから直接呼び出せるのはConcrete Value Membersに定義されているメンバのみということでしょうか？
Anyは抽象クラスなのでインスタンス化できません。しかし実行時にAny型にされていても背後には具象型が存在します。abstract、concrete どちらも呼べます。
val a:Any = 3
a.getClass

[st-access_91s]

＞xebmeさん
返信遅くなって申し訳ありません。
抽象クラスがインスタンス化出来ないのは認識しているのですが、
①「背後には具象型が存在します。」というのは、例えば今回の質問例で言うと、
　具象型＝Tuple型・Int型
　ということでよろしいでしょうか。
②val a:Any = 3
　a.getClass
　という記述は、直前の解説の事例だと思いますが、この事例と解説内容の結び付きについて詳しく教えていただけますか。

申し訳ありません、当方、初心者レベルなもので、断片的にしか理解出来てなくて(しかも質問に初心者マーク付け忘れました…)。

[xebme]

説明が悪くて申し訳ありません。

>Anyクラスから直接呼び出せるのはConcrete Value Membersに定義されているメンバのみということでしょうか？
これはオブジェクト指向の話です（質問の本筋からはずれていますが）。抽象クラスの抽象メンバーは具象クラスの具象メンバーでオーバーライドされることが明らか（実装の強制）なので、Concrete Value MembersのみならずAbstract Value Memberも使えなければなりません。

①はコンパイル時の型のことですね。これは答え忘れています。上の原則からAnyのAbstract Value Memberも使えなければなりません。
②は実行時の「ポリモーフィズム」の具体例です。IntからAnyへのアップキャストが行われます。getClass はAbstract Value Memberですが呼べます。