opratorにおいてthis*と変数でreturn する方法はどっちが正しいのか？

Question

//////コメント内部のコードですがthis版と変数版どっちが正しいのでしょうか？内容よりも適切な方法があれば教えていただきたいです。

class Matrix
{
public:
    float x;
    float y;
    float z;

    float w;

    
    //コンストラクタ
    Matrix()
    {    
        x = 0.0;
        y = 0.0;
        z = 0.0;

        w = 0.0;
    }


    Matrix(Position p)
    {
        x = p.x;
        y = p.y;
        z = p.z;

        w = 1.0f;
    }

    Matrix(float xx, float yy, float zz, float ww)
    {
        x = xx;
        y = yy;
        z = zz;

        w = ww;
    }

    Matrix(float xx, float yy, float zz)
    {
        x = xx;
        y = yy;
        z = zz;

        w = 1.0f;
    }

////////////////////////////////////////////////////////////////////////	
    //this版
    Matrix operator * (Matrix M)
    {
        
        this->x = (x * 1) + (y * 0) + (z * 0) + (w * M.x);

        this->y = (x * 0) + (y * 1) + (z * 0) + (w * M.y);

        this->z = (x * 0) + (y * 0) + (z * 1) + (w * M.z);

        this->w = (x * 0) + (y * 0) + (z * 0) + (w * M.w);

        return *this;
    }

	
	  //変数版
    Matrix operator * (Matrix M)
    {
    	Matrix t;
        
        t.x = (x * 1) + (y * 0) + (z * 0) + (w * M.x);

        t.y = (x * 0) + (y * 1) + (z * 0) + (w * M.y);

        t.z = (x * 0) + (y * 0) + (z * 1) + (w * M.z);

        t.w = (x * 0) + (y * 0) + (z * 0) + (w * M.w);

        return t;
    }
	
////////////////////////////////////////////////////////////////////////    
};

Answer 1

変数版のほうが適切です。

a * bという演算を行ったらaが書き換わった、なんて挙動は、通常期待されません。むしろ、Matrix operator * (const Matrix & M) constのように、引数もthisもconst指定するぐらいが適切です。

Comments

[退会済みユーザー]

this版は左側？が変わってしまうということでしょうか？

[maisumakun]

そうですね、a * bのようにした場合、a.operator *(b)の呼び出しとして解釈されます。

[退会済みユーザー]

じゃあthis*という使い方は絶対ダメという話になりますがプログラムは言葉なので絶対やってはいけない言葉をあるということでよろしいでしょうか？

[maisumakun]

> じゃあthis*という使い方は絶対ダメという話になりますが

なりません。逆に、thisを書き換えるoperator *=を実装する場合は*thisを返すのが適切です。

[maisumakun]

（operator*でthisを書き換えるクラスを作ることも「文法的」には可能ですが、使い勝手がものすごく悪くなるのでやらない、というだけです。）

Answer 2

既にベストアンサーがついていますが補足で説明致します。
this版はこの場合、***=**のオペレーターになってしまっています。
つまり、適切ではないです。
下記のようにすることで、貴方のやりたかったことが出来るのではないでしょうか？

Matrix operator * (Matrix M)const {
    return Matrix(
            (x * 1) + (y * 0) + (z * 0) + (w * M.x),
            (x * 0) + (y * 1) + (z * 0) + (w * M.y),
            (x * 0) + (y * 0) + (z * 1) + (w * M.z),
            (x * 0) + (y * 0) + (z * 0) + (w * M.w) 
    );
}

Matrix operator *= (Matrix M)
{
    //thisを付けていると横幅が長くなるので、省略できるところは省略して書きましょう。
    x = (x * 1) + (y * 0) + (z * 0) + (w * M.x);
    y = (x * 0) + (y * 1) + (z * 0) + (w * M.y);
    z = (x * 0) + (y * 0) + (z * 1) + (w * M.z);
    w = (x * 0) + (y * 0) + (z * 0) + (w * M.w);
    return *this;
}

最後に細かいですか、このクラスの名前はMatrixではなくクォータニオン又はVector4が適切だと思います。