++演算子(前置、後置)の実装プログラム例で分からない点があります。

Question

前提・実現したいこと

C++初心者です。本を読んで独学で勉強中です。
その中で、分からない点があるため、質問させて頂いています。

やったこと

インクリメント(前置、後置)の実装

ソースコード(C++)

#include <string>
#include <iostream>

using namespace std::literals;

// クラス
struct IntLike
{
	int data;
};

// ++(インクリメント) の実装
IntLike operator ++(IntLike &obj)
{
	++obj.data;
	std::cout << "++インクリメントしました。その結果："s;
	return obj;
}

// (インクリメント)++ の実装
IntLike operator ++(IntLike &obj, int)
{
	auto temp = obj;
	++obj.data;
	std::cout << "インクリメント++しました。その結果："s;
	return temp;
}

// メイン関数
int main()
{
	IntLike s{ 3 };		// 3で初期化
	std::cout << "初期値は："s << s.data << " です\n"s;
	++s;				// ++インクリメント
	std::cout << s.data << "\n"s;
	s++;				// インクリメント++
	std::cout << s.data << "\n"s;
}

分からない点

①IntLike operator ++( IntLike & obj, int ){…}の部分の"int"はダミー引数らしいのですが、変数名を宣言しない場合、この"int"はどういった形で存在しているのでしょうか？
※(予想) int型の領域が確保されていて、値がnull？

②"++〇；" と、関数を読んだ時に、何故、IntLike operator ++( IntLike & obj, int ){…}が呼ばれるのでしょうか？

　　　　"++〇;"で、IntLike operator ++( IntLike &obj ){…}が呼ばれない理屈が、よく理解できていません。

③この例以外で、ダミー引数をプログラム中に使用する事はあるのでしょうか？
その場合、ダミー引数をどういった形で使用するのでしょうか？

Comments

[fana]

なにはともあれ，それは「デクリメント」とは呼ばない．

[Daregada]

ええと、「++X」も「X++」も一般には「インクリメント」と呼びます。
「デクリメント」は「--X」や「X--」のほうですね。
質問したいのは、++演算子の「前置」と「後置」に関してなのでは?
質問文は修正できるので、早めに修正したほうが回答が付きやすいと思います。

[ARIDAR]

ご指摘ありがとうございます。
お恥ずかしい限りです…
質問文の修正をしました。

[Daregada]

ソースコードと「分からない点」も頑張って修正しよう。と書いているうちに修正されたので、混乱するのは少数で済みました。

[ARIDAR]

ご指摘ありがとうございます。
再度修正しました。
また間違っていたら、お手数ですが、ご指摘頂けると助かります。

Answer 1

変数名を宣言しない場合、この"int"はどういった形で存在しているのでしょうか？

呼出規約に従ってレジスタなりスタックなりで渡されますが、変数には割り付けられないだけです（MSDN曰く、「通常は0が渡される」とのことです）。

②"++〇；" と、関数を読んだ時に、何故、IntLike operator ++( IntLike & obj, int ){…}が呼ばれるのでしょうか？

x++と++xの両方をオーバーロードできるようにするには、何かしらシグネチャでの区別が必要です。「前置インクリメントはintの引数がある方」というのは必然性がある設計ではないので、ルールとして覚えるよりありません。

③この例以外で、ダミー引数をプログラム中に使用する事はあるのでしょうか？

「特定のシグネチャの関数をコールバックに取るけど、その引数を実際に渡すコールバックでは使わない」ような場面が時折存在します。

Comments

[ARIDAR]

ご教授頂き、ありがとうございます。
理解しました！

Answer 2

s.operator++()で前置のほうが呼ばれて、s.operator++(0)で後置のほうが呼ばれるのは理解できますよね?
++sやs++と書いた時にも、同じことを処理系がやってくれていると考えればいいのでは。

Comments

[ARIDAR]

ご教授頂き、ありがとうございます。
↑の内容はなんとなく理解はできますが、なんとなくの理解ではイマイチだと思ったので、今回質問させて頂きました。
maisumakunさんの回答で理解しました。