Q&A
それらの用語はどういう文脈で使われていたでしょうか。単語だけ切り出すのではなかなか答えにくいです。
参照型、オブジェクト型、クラス型というのはすべて同じ意味ですか？
違うのであれば違いを教えてください。
回答1件
0
Javaの仕様書では明確に異なる意味で使われています。
参照型(reference types)には次の四つの種類があります。
- クラス型(class types)
- インターフェース型(interface types)
- 型変数(type variables)
- 配列型(array types)
クラス型は参照型の一種ですので、クラス型であれば同時に参照型です。しかし、参照型であっても、クラス型であるとは限りません。たとえば、配列型は参照型ですが、クラス型ではありません。
仕様書ではオブジェクト型(object types)という言葉は見受けられませんでした(もし、見つけた方がいたら、コメントで教えてください)。そこで、オブジェクトが何であるのか見ていきたいと思いますが、ここでのオブジェクトがobjectを指すのか、Objectを指すのかが問題であり、この二つは厳密に異なります。
objectはクラスのインスタンスまたは配列です。Objectは全てのクラスのスパークラスになるクラスの名前です。英語でObjectと表現したとき、ObjectクラスそのものというよりObjectクラスのインスタンスを指す場合があります。これは「配列」と言ったとき、「配列」という型そのものよりも「配列」になっている何かをさす事と同じです。しばしば、稚拙な解説文では、「オブジェクト」といったとき、objectとObjectクラスとObjectクラスのインスタンスを混同していることがあることに注意してください。
以上を踏まえ、オブジェクト型というJava仕様書にない用語について、objectを扱うときに用いる型か、Objectクラスのインスタンスを扱うときに用いる型の何れかの意味で作ったのだと思われます。objectを扱うときに用いる型としては、参照型とほぼ一致しますが、例外として、参照型である変数にはnullを入れられるのに対して、null自体はobjectではないことに注意してください。Javaにはnullを入れられない型の変数というのは存在しないため、objectを扱える型はあってもobjectしか扱えない型はありません。Objectクラスのインスタンスを扱うときに用いる型は単純にObjectクラスをそのまま使ったクラス型とも考えられますが、同じくObject型の変数自体はnullが扱えてしまうことに注意してください。
投稿2019/11/23 15:13
総合スコア21737
あなたの回答
tips
プレビュー
