Javaのクラス型のフィールドとは何か？が知りたいです

Question

勉強サイトprogeteのJAVAについての質問です
クラス型のフィールド
インスタンスフィールドにクラス型の変数を定義することで、フィールドにインスタンスを持つことが可能です。
下図のようにPerson型のownerというインスタンスフィールドを持つようにしてみましょう。
のついての質問です

分かっていること
クラス、フィールド、メソッドについてはある程度分かっています

分からないこと
1.クラス型の変数とは何かを
2.フィールドにインスタンスを持つこと！とは何か？
3.クラス型のフィールドは、なんのため、何に使うためににあるのでしょうか？
が知りたいです

例
Manクラスのフィールドに
Personクラスのインスタンスを

Class Man {
Person owner;

}
⏫の風にManクラスにPersonクラスのインスタンスを作ったということなのでしょうか？

Comments

[m.ts10806]

全ての人がProgateやっているわけではないので、
URLとか引用可能な情報は引用されたほうがいいでしょうし、
調べて何も出ない内容ではないでしょうし、
そんな全部太字にするほどの内容ではないと思います。
Progateに依存するより入門書一冊通されたほうがいいとも思います。

[dodox86]

Progateの該当のコンテンツを見た訳ではないので分かりませんが、

> 下図のようにPerson型のownerというインスタンスフィールドを持つようにしてみましょう。

この説明の前後にJavaの「クラス」や「インスタンス」、「フィールド」に関する説明はありませんでしたか。それを理解した上で、「クラスは分かるけど、"クラス型のフィールド"とは何かが分からない」とのような疑問でしょうか。同じような用語がたくさん出てきて混乱してしまった、とか。質問者さんの現時点のJavaへの理解度が分からないので、回答にも困ると思います。

[meria]

@m.ts10806さん
説明不足で申し訳ないです、、
有料サイトなので、引用できるものが少なく、URSを送って見れないと思ったのです、
クラス型のフィールドについて、1時間程調べたのですが、よく分からなくて質問して、太文字に書いてしまいました。

@dodox86さん
その通りです、説明不足でした、
クラスは分かるのですが、クラス型のフィールドとはないかが分からないということです！
編集します！
助言ありがとうございます！

[m.ts10806]

>1時間程調べた

時間だけ書いても何をどう調べて何を読んで何を試したか書いてないと他者には伝わりませんよ。
それに「クラス型」という表現は正しくないと思います。

[gentaro]

「クラス型」とか書かれるとメタプログラミングでもやってるのかと思う。
その教材で「クラス型」とか言ってるなら別の教材でイチから勉強したほうが良さそう。

Answer 1

progateでどう教えてるのかは知りませんが、oracleのドキュメントでは

• 変数は、プリミティブ型と参照型の変数がある。
• ８種類の変数がある
  クラス変数
  インスタンス変数
  名前の無い配列の要素 （※配列自身の名前でなく、インデックスでアクセスする中身）
  メソッドの仮引数
  コンストラクタの仮引数
  ラムダ式の仮引数
  例外をキャッチした際の仮引数
  ローカル変数

と書いてあります。

---

1.クラス型の変数とは何かを

プリミティブでない変数。参照型の変数のことをクラス型の変数と表現することがよくあります。
なお、クラス型変数と似た言葉で、クラス変数というのがありますが、
クラス変数はstaticで宣言されたフィールドのことで、変数がプリミティブ型か参照型かは関係ありません。

2.フィールドにインスタンスを持つこと！とは何か？

すでに例がありますが。
フィールドにあるクラスのインスタンスを保持するだけです。
bbbとdddがインスタンスを保持しています。
eeeは、インスタンスが設定されていません。(保持していない)

public class Hoge{
    int aaa = 1; // インスタンスフィールド（インスタンス変数）、プリミティブ型
    String bbb = "2"; // インスタンスフィールド（インスタンス変数）、参照型（クラス型）
    static int ccc = 3; // クラスフィールド（クラス変数）、プリミティブ型
    static String ddd = "4"; // クラスフィールド（クラス変数）、参照型（クラス型）
// 以下、（インスタンス変数）、参照型（クラス型）と書かないけど、わかるでしょ？
    String eee = null; // インスタンスフィールド ： インスタンスは無い
}

3.クラス型のフィールドは、なんのため、何に使うためににあるのでしょうか？
が知りたいです

クラス型にかぎらずフィールドに変数を保持するのは、その変数を属性として管理して、
クラス内のどのメソッドからも参照できるようにします。

特定のメソッドの中でのみ利用する場合は、フィールドでなくローカル変数を使う方がよいです。

Answer 2

1.クラス型の変数とは何かを

変数はメソッドの中で宣言します。

	public static void main(String[] args) {   // main はメソッド
		int i = 3;                   // i は基本型の変数
		double[] a = new double[5];  // a は配列型の変数
		Person p = new Person();     // p はクラス型の変数
	}

基本型の変数には値が入ります。
配列型とクラス型は参照型といって、
new で生成したオブジェクト(クラスのインスタンス) の ID が入ります。
値はオブジェクト自身が持っていて、参照型の変数に値は入っていません。

2.フィールドにインスタンスを持つこと！とは何か？

class Person {
	static int count;  // count は、基本型のクラスフィールド
	int age;           // age は、基本型のインスタンスフィールド
	String name;       // name は、クラス型のインスタンスフィールド
}

クラスフィールドは new Person() でインスタンスを生成しなくても
Person.count でいつでも参照できます。
インスタンスフィールドは、Person p = new Person(); の実行後
p.age や p.name という形でしか参照できません。
p.name = "bob"; のようにして Stringクラスのインスタンスを持つことができます。

3.クラス型のフィールドは、なんのため、何に使うためににあるのでしょうか？

クラスを定義するのに、基本型のフィールドしか使えないと困るでしょう。

Answer 3

入門部分であると私は思います。入門書で必ず語られているべきもの。
Progateの記事見たわけではないですが、言い回しが分かりにくい（直感的ではない）
ですが、何も書いてないとは思えません。

---

クラスに宣言される変数が「フィールド」です。

class Hoge{
  String s;
  Integer i;
  ArrayList<> a;


}

s,i,aはいずれも「Hogeクラスが保持するフィールド」になります。
変数には必ず何かしらの「型」をつけて宣言する必要があります。

JavaにとってStringもIntegerも型ですが、同時に「クラス」でもあります。
java.lang.String
java.lang.Integer
java.util.ArrayList<E>

「オブジェクト」と表現しても良いです。

なので「クラス型」とは、「変数に宣言される型そのもの」であると推察されます。
宣言しただけでは何も内容を持たないのでnewして変数に情報を持たせるわけです。「インスタンス」は一般的にnewされた情報が変数に入った状態を言います。

以上から

1.クラス型の変数とは何かを

→任意の型でつけられた変数のこと

であり

2.フィールドにインスタンスを持つこと！とは何か？

→フィールドに対してインスタンス化したオブジェクトを入れること。

と言えます。

ちなみに、

3.クラス型のフィールドは、なんのため、何に使うためににあるのでしょうか？

手法や用途から考えるのは間違っています。
必要だから、使うから宣言するという前提があります。
先に書いたように「任意の型の変数」なので、「その変数は何に使うために宣言するのか」から考えたら明白ではないでしょうか。

Comments

[meria]

プロゲートのJava講座復習して、回答を見たらなんとなく理解しました。！
クラスの設計図が二つとか、沢山あるとき、クラスの設計図に同じのを書かずにクラス型として、インスタンスを入れて、インスタンス名.変数.メソッドでそのクラスのインスタンスのメソッドを実行する感じの時に使うのがなんとなくわかりましたありがとうます！

[m.ts10806]

>クラスの設計図が二つとか、沢山あるとき、クラスの設計図に同じのを書かずにクラス型として、インスタンスを入れて、インスタンス名.変数.メソッドでそのクラスのインスタンスのメソッドを実行する感じの時に使うのがなんとなくわかりましたありがとうます！

ごめんなさい。何を言ってるのかサッパリです。
設計図を書くときには各役割は全て決まっているものですから「2つとか沢山」というあいまいな現象は起きないと思います。
何を「設計図」と仰っていますか？

Answer 4

間違っている点もあるかもしれませんが、理解が進めば幸いです。

1.クラス型の変数とは何かを

そのままなのですが、Classで定義されているものを変数として定義していることなのではないでしょうか。

何をクラスと言うかによりますけど、例えば、

int型の変数

int Tom;

Person クラスの変数

class Person {
   int name;
   int age;
};

Person Tom;

とかを比較すると、Person クラスのTomが、クラス型の変数な気がしますよね。

2.フィールドにインスタンスを持つこと！とは何か？

Class Man {
Person owner;

}

と定義すると、Manクラスの中に、Person クラスのownerを持つことになります。Class Manを使った時点で、Person クラスのownerがインスタンス化されると思えばいいと思います。

3.クラス型のフィールドは、なんのため、何に使うためににあるのでしょうか？

例えば、Personクラスを定義したとして、
Person クラスの変数

class Person {
   int name;
   int age;
};

Manクラスのフィールドとして、Personクラスを含めるとします。

そうすると、

class Man {
bool is_man;
Person owner;
};

と、こんな感じで定義しますが、フィールドにクラスを含めないと、

class Man {
bool is_man;
int name;
int age;
};

と、こんな感じになります。ただ、この実装の中で、Personクラスが定義されていると、Manクラスと、Personクラスが似ているので、あまりよろしくない感じがすると思います。

似たものをまとめという点で、Manクラス内に、Personクラスを定義したほうがすっきります。すっきりさせるために使うのだと思います。

Comments

[momon-ga]

明らかに間違っているので修正されたほうがよいかと
> Class Manを使った時点で、Person クラスのownerがインスタンス化されると思えばいいと思います。