C++ オーバーロードについて

Question

C++を学び始めて気になったことがあって例題で
class operator+ class(const class c){ return *this } 例題なので型の名前がclassなのはご了承ください。
たまにこういう書き方をしている例題のコードがあると思うのですが、これってどういう意味があるのかわかりません。このreturnで帰ってくる値って何が帰ってくるのですか？オーバーロードはこの中にやりたいことを記号に沿って書くのだと思うのですが、return*thisのような書き方をするのってなぜかわかりますか？

Comments

[vann_2921]

>return*thisのような書き方をするのってなぜかわかりますか？
調べたらいろんなサイトで解説されていると思うのですが、調べたうえで分からないとおっしゃっているのでしょうか？
どの資料を見たのかご提示いただけますか？

[ass]

修正依頼をしていただいた後に回答ありがとうございます。コードが間違っていました回答での修正ありがとうございます。前にオーバーロードのことを調べていた時に例題としてオーバーロードの
A operator+(A a){
return *this;}
ただこれだけのものを見たことがあって、その見たということだけをふと思い出したのですが、サイトの名前を思い出せず、そういえばなぜこういう書き方をしているんだろう、自分が解釈しているそのオブジェクトをそのまま返すこと以外に何かあるのだろうかと思ったことを思い出し、質問させていただきました。なのでサイトのリンクを乗せることができません。

[vann_2921]

厳しい言い方になるかもしれませんが疑問に思ったのなら調べればいいのにどうしてそれをやらないのでしょうか？サイトが分からないからリンク張れませんではないでしょう。
今回は私が暇だったので回答しましたが、質問サイトでは必ず回答が得られるとは限りません。私が回答しなかったら一生疑問に思ったまま過ごしたのでしょうか？
質問の前に調べて、調べたうえで分からないことを聞くのが質問サイトのスマートな使い方だと思います。その方が回答をもらえる確率も上がります。
teratailでは私のような心無い回答者に絡まれることもあるので、自衛のためにも事前に調べることをお勧めします。

[ass]

すみません、忠告痛み入ります。以後気を付けます。

Answer 1

operator + が *this を返すというのはどうなのか？
（まぁそのclass的にそうあるべきなのであれば，何でもやっていいのですが…）
それは operator += だったのではないだろうか？　……とか思います．

演算子のオーバーロードは特にその字面と異なる動作が実装されていると「？？？」って混乱する元になりますので，
特殊な理由が無いなら，ふつーの(intみたいな)型と同様の意味を持つ処理にしておくと良いでしょう．
（ a+b って書いてるの見て， a の中身が変わるとは思わないよね．）

また，ごく普通に演算子を使う式を書いてたら「それこの型には書けないから．残念．」とか言われると不便なので，
これもまた，特殊な理由が無いならば，ふつーの型と同様に処理を書ける形に実装しておくと良いでしょう．
例えば int 等では以下のように書けますが，自身の型での演算でこれを禁止する理由が特に無いならば，これができる方が素直というか．

int a = 5;
int b = (a+=5) + 7;  //operator+= が aへの参照 を返してくれないとこれができない

---

return *this; を書く話については，
前述のような（int と同じ振る舞いがどうのという）話もありますし，
また，*this を返しておけば，例えば，

class X
{
public:
  X &operator +=( const X &rhs )
  {
    //なんか rhs のデータを自身に加算するような処理をして…
    ...
    //自身への参照を返す
    return *this;
  }

  void SomeMethod(){}  //なんかメソッド
};

//---

X a,b;
(a += b).SomeMethod();   //operator+= が aへの参照を返すから，こういう風にしてaのメソッドを呼ぶ処理が書ける

みたいな書き方ができて便利．

Answer 2

オペレータの書き方を日本語にするとこんな感じです。

返り値の型 operator演算子の記号(引数){ やりたいこと; return 返す値;}

ご提示のオペレータは分かりにくいというか間違っているので以下のように書き換えます。

class A{
  A operator+(const A a){
    //ここにやりたいこと(クラス A 同士の足し算)を書く
    return *this;
  }
};

ここで引数はA同士を足し算したいなら、引数にAを渡しますし、intを足したいならintを渡します。

class A{
public:
  int value = 1; //クラスAはint型の値を1つ持っていてその初期値は1とする
  A operator+(const A a){
    this->value += a.value; //引数がクラスAの時はメンバ変数のvalue同士を足し算する
    return *this;
  }
  A operator+(const int i){
    this->value += i; //引数がintの時はメンバ変数のvalueにiを足し算する
    return *this;
  }
};

ここでちょっと問題なのがreturn *this;です。
例えば以下の例を考えてみます。

int main(){
  A a1, a2;
  a1.value = 2;
  a2.value = 3;
  A a3 = a1 + a2; // 2 + 3 = 5
  A a4 = a1 + a3; // 2 + 5 = 7
}

a4.valueは7になって欲しいのですが実際は10になってしまいます。なぜならオペレータのところで複合代入(+=)しているからです。足し算するたびにvalueの値が変わるのでおかしくなります。
足し算の度に値が変わらないようにするには以下のように書きます。

class A{
public:
  int value = 1; //クラスAはint型の値を1つ持っていてその初期値は1とする
  A operator+(const A a){
    A result; //結果を格納するための新しいA
    result.value = this->value + a.value; //引数がクラスAの時はメンバ変数のvalue同士を足し算する
    return result;
  }
  A operator+(const int i){
    A result; //結果を格納するための新しいA
    result.value = this->value + i; //引数がintの時はメンバ変数のvalueにiを足し算する
    return result;
  }
};

なのでオペレータが必ず*thisを返す必要はないです。

Comments

[ass]

質問の追記の方にお礼と追記をしました。回答ありがとうございました。