Postfix Increment ++ Operator Overloadingについて

Question

下記のサイト「Learn C++」；
https://www.programiz.com/cpp-programming/increment-decrement-operator-overloading
に、変数に対して前置きのオペレータと、後置きのオペレータについて例題を示して解説があります。

下記に引用するこの例題の中に、例えばオペレータが++であれば、後置きの場合はオペレータ関数の定義時に、Class-Name operator ++ (int)と記述する、とあります。

この理由に、
This int gives information to the compiler that it is the postfix version of operator.
Don't confuse this int doesn't indicate integer.
として、
「この括弧内のintはintegerの意味ではなく、コンパイラにこのオペレータが後置き型であることを示しているのだ」、
と言っています。

私は、intはintegerの意味、と学んできたので戸惑っています。
これについて、入門者向けの解説が出来る方に、ご案内をおねがいします。

//引用する例題
#include <iostream>
using namespace std;
class Check
{
  private:
    int i;
  public:
    Check(): i(0) {  }
    Check operator ++ ()
    {
        Check temp;
        temp.i = ++i;
        return temp;
    }
    // Notice int inside barcket which indicates postfix increment.
    Check operator ++ (int)
    {
        Check temp;
        temp.i = i++;
        return temp;
    }
    void Display()
    { cout << "i = "<< i <<endl; }
};
int main()

{
    Check obj, obj1;    
    obj.Display(); 
    obj1.Display();
    // Operator function is called, only then value of obj is assigned to obj1
    obj1 = ++obj;
    obj.Display();
    obj1.Display();
    // Assigns value of obj to obj1, only then operator function is called.
    obj1 = obj++;
    obj.Display();
    obj1.Display();
    return 0;
}

//引用した例題の出力結果
Output
i = 0
i = 0
i = 1
i = 1
i = 2
i = 1

Answer 1

「この括弧内の「int」は「integer」の意味ではなく、コンパイラにこのオペレータが後置き型であることを示しているのだ」

より丁寧な説明では：

ここでの int 型引数は「引数に整数(integer)を1つ受け取る」という一般的な意味ではなく、「該当の演算子オーバーロードが、（前置オペレータではなく）後置オペレータに対応することを示すだけに利用されるダミー引数」になります。

---

前置オペレータ(++x)と後置オペレータ(x++)は、どちらも操作対象として変数を1つだけ取ります。つまり、何か特別な仕掛けを用意しない限りは構文上この2者を区別できません。

struct UserType {
  // ++x / x++ のどちらに対応？
  UserType operator++() { thisを操作 }
}

C++言語ではこの問題を解決するため、引数無しオーバーロードを前置オペレータ、ダミーint型引数を1つとるオーバーロードを後置オペレータに対応させると決めました。これは int 型である必要もないのですが、単にそう決めたという意味しか持ちません。

struct UserType {
  // 前置オペレータ
  UserType& operator++() { thisを操作 }
  // 後置オペレータ
  UserType operator++(int) { thisを操作 }
}

おまけ：本ケースのような「引数の値に意味はないが、型情報を利用して関数オーバーロードを用意する」テクニックは、C++ではタグ・ディスパッチ(tag dispatch)とも呼ばれます。興味があれば調べてみてください。

Comments

[退会済みユーザー]

分かりやすいご案内を頂ありがとうございます。
tag dispatch、少し読んでみましたが、まだちょっと自分には難しいので、この機会に温めておきます。