プログラムの意味を教えてほしいです。

Question

kotlinを勉強し始めて間もなく、基本的なことになると思うのですが回答のほどよろしくお願いします。

class Cat(var name: String? = null)
val cat: Cat? = Cat("mike")

Catクラスを生成し、その後catインスタンスを生成しているものだと思います。
私の認識だと、「cat：」のあとに型の宣言として「String?]が来るものだと思っていました。
実際、「String?」で試してみても正常に処理されました。

どうして、ここでは「Cat?」と書いているのでしょうか？

Comments

[ozwk]

> 実際、「String?」で試してみても正常に処理されました。

val cat: String? = Cat("mike")

こう書いたのですか?

[Takeo1999]

すみません、私の勘違いで今試してみたらエラーになりました。

Answer 1

catインスタンスの型はCat型です。
CatのnameはString型です。
今回のように、型があると、別の型がくると勘違いしてしまったときに、実行するまえにコンパイラがエラーを教えてくれます。
(前回の質問から一歩前進してますね。)

Comments

[Takeo1999]

回答ありがとうございます！
日々精進していきます！

Answer 2

実際、「String?」で試してみても正常に処理されました。

ほんとうに、ですか？

エラーになりますけど。

$ kotlinc
Welcome to Kotlin version 1.4.0 (JRE 1.8.0_282-b08)

>>> class Cat(var name: String? = null)

>>> val cat: String? = Cat("mike")
error: type mismatch: inferred type is Line_6.Cat but String? was expected

どうして、ここでは「Cat?」と書いているのでしょうか？

型指定を省略して、val cat = Cat("mike")とすれば、catの型はCatになります。

catの型をCatまたはnullとしたいから、Cat?と書いているのでしょう。
catの型をCatまたはnullとしたい理由は、知りません。

Comments

[Takeo1999]

回答ありがとうございます。
すみません、私の勘違いで今試してみたらエラーになりました。
cat の型を Cat にするということは参照型を使っているということでしょうか？
ちなみに Cat型 は Catクラス のみで使うのでしょうか？

[shiketa]

> cat の型を Cat にするということは参照型を使っているということでしょうか？
Kotlinにはプリミティブ型はない。すべて参照型。だからこたえは、はい。

> ちなみに Cat型 は Catクラス のみで使うのでしょうか？
ナニを訊かれているのかわかりません。
こう訊かれたらなんとこたえますか? 「ちなみにString型はStringクラスのみで使うのでしょうか」。あなたCatクラスでString型を使っていませんか。