オブジェクトのポインタへの代入

Question

疑問点

オブジェクトのポインタに代入を行う際、下のコードのようにアスタリスクを用いた代入を行うとsementation faultになってしまいます。*a.child = bの部分をa.child = &bとすれば所望の出力結果を得られます。

オブジェクトのポインタへの代入の際intのポインタへの代入とは違い、下のコードような代入はご法度ということなのでしょうか。また別件になり申し訳ないのですが、下のコードのStudentクラスのように、メンバ変数に自身のポインタを有するクラスは推奨されないのでしょうか。抽象的な質問で申し訳ございません。

該当のソースコード

#include <bits/stdc++.h>

class Student
{
public:
    Student(int i, char* _name){
        number = i;
        name = _name;
        child = nullptr;
    }
    int number;
    char* name;
    Student* child;
};

int main(){
    Student a = Student(1, "john");
    Student b = Student(2, "tom");
    *a.child = b;
    std::cout << a.child->name << std::endl; 
    return 0;
}

Answer 1

a.child が nullptr や不定値で *a.child を参照してはいけません。
確保された Student の領域のアドレスでなければなりません。

#include <bits/stdc++.h>

class Student
{
public:
    Student(int i, const char* _name) {  // const char * にしましょう。
        number = i;
        name = _name;
        child = nullptr;
    }
    int number;
    const char* name;  // const char * にしましょう。
    Student* child;
};

int main() {
    Student a = Student(1, "john");
    Student b = Student(2, "tom");
	a.child = new Student(0, "nobody");  // ★領域を確保
    *a.child = b;
    std::cout << a.child->name << std::endl; 
    return 0;
}

連結リストや木構造など、同一クラスへのポインタを持つクラスはいくらでもあります。
でも、使用するときは、a.child = &b; が普通です。

追記
a.child = new Student(0, "nobody"); の代わりに、
Student c(0, ""); a.child = &c; と書いても落ちなくなります。
とにかく、*a.child = b; で b の実体を丸ごとコピーするためには、
その前に a.child が Student の領域を指していなければなりません。

a.child = はポインタへの代入ですが、
*a.child = はポインタへの代入ではありません。実体のコピーです。

Comments

[Snow_man_nano]

ポインタがStudentの領域を指すようにするとの説明非常に分かりやすかったです。ありがとうございます。

Answer 2

nullptrへアクセスしているためsegmentation faultになっていることに気づきました。お目汚し失礼いたしました。

クラスコンストラクタのchild = nullptrを消去した場合、a.childにはポインタが割当てられているのにもかかわらず、*a.child=bという代入がsegmentation faultになりました。a.childに割り当てられたポインタは正規の初期化した値でないため代入ができないという認識でよろしいのでしょうか。

Comments

[SHOMI]

>クラスコンストラクタのchild = nullptrを消去した場合、a.childにはポインタが割当てられているのにもかかわらず
ポインタが割当てられているとはどういう意味で言っていますか？
それはただの不定値です。

[Snow_man_nano]

std::cout <<a.childが何らかのアドレスを出力していたので、ポインタが割り当てられていると思ってしまいました。不定値と教えていただきスッキリしました。ありがとうございます。