Scalaの型の.typeについて

Question

Scalaの型の**.type**ってなんでしょうか。

Scalaで列挙型を使いたいときに
シールドクラスとケースオブジェクトを使うとします。
例えば以下のコードです

sealed abstract class Fluits(val value:String)
case object Fluits {
    case object Apple extends Fluits("Apple")
    case object Banana extends Fluits("Fluits")
}

このとき
Fluits.Appleの型は Fluits.Apple.typeになります
この.typeってなんでしょうか？

また、Fluits.Apple:Fluits　の型はFluitsです
型のキャストができるのに、なぜデフォルトが**.typeになっているか疑問です。
以下はconsole出力**です

scala> sealed abstract class Fluits(val value:String)
defined class Fluits

scala> case object Fluits {
     |     case object Apple extends Fluits("Apple")
     |     case object Banana extends Fluits("Fluits")
     | }
defined object Fluits
warning: previously defined class Fluits is not a companion to object Fluits.
Companions must be defined together; you may wish to use :paste mode for this.

scala>
scala> Fluits.Apple
res2: Fluits.Apple.type = Apple

scala> Fluits.Apple:Fluits
res3: Fluits = Apple

何卒よろしくお願いします。

Comments

[quickquip]

`Fluits.Apple`は「`Fluits`を継承した何かの型」のインスタンスであるはずで、それが`Fluits.Apple.type`だという事実がここにあるだけで、質問になっていないように思います。
事実に対して「疑問です」と書かれても、何か疑問なのか、何を疑問に思っているのかは伝わらないかと。

[nanitozo]

分かりづらくてすみません
疑問は「.typeとは何ですか」です
つまり、.type はインスタンスを意味するものの型
ということでしょうか。
何卒よろしくお願いします。

Answer 1

式Fluits.Appleを評価して返ってくるオブジェクトの型がFluits.Apple.typeである、という事実が明らかになっているだけのようにしか見えません。

---

コンパニオンオブジェクトの型について考えてみましょう。

class Example {}
object Example { def foo=1 }

として、Exampleという型と、コンパニオンオブジェクトを定義したとしましょう。
そうすると

scala> Example.foo
res1: Int = 1

というように使えます。

ここで、式Exampleの型はExampleでしょうか?

そんなことはありえません。

Example.fooとすると1が返ってきますから、式Exampleの型はfooというメソッド(かあるいはフィールド)を持っていないといけませんが、Example型はfooという名前のメソッド(もフィールド)を持っていません。

つまり

前提
型Exampleはfooを持っていない
式Exampleを評価して得られるオブジェクトはfooを持っている

結論
式Exampleを評価して得られるオブジェクトの型はExampleじゃない

実際

scala> Example
res2: Example.type = Example$@924f3f1

式Exampleを評価するとその型はExampleではなくてExample.typeです。

---

「式Exampleを評価した時の型」と「Example型」の区別が付けられるなら質問も特に不思議なことはないかと思います。

式Fluits.Appleを評価した時のインスタンスの型はFluitsではありえません。

Fluitsは抽象型ですからインスタンスが作れません。Fluitsを継承した具象型の「何か」でなければなりません。

であれば、式Fluits.Appleを評価した時の式の型は、その具象型である方が自然です。
その具象型が型Fluits.Apple.typeであるというだけかと。

Comments

[nanitozo]

とても丁寧にご教授頂き、ありがとうございます。
理解することができました。