thisポインタを使わざるを得ない場合とは

Question

C++のthisポインタを使わざるを得ない状況というのにはどんなものがあるのでしょうか．もしくは使うと便利な場合というのはあるのでしょうか．
記事をいくつか読んでみましたが，使わなくてもいい場合の例が大半で，いまいちどのような状況で必要になるのかがイメージできていません．

ご回答お待ちしております．

Answer 1

C++のthisポインタを使わざるを得ない状況というのにはどんなものがあるのでしょうか．

メソッドの返り値として*thisを返す場合には必要です。

Answer 2

ひとつの例ですが、別のクラスのメンバー関数や、C言語のインターフェースを持つコールバック関数などへインスタンスを渡し、その関数内部で当該クラスのメンバー関数を呼び出したりする場合にthisポインターを用いるケースがあります。

#include <iostream>

// C言語のインターフェースを持つ何らかの関数
void stdc_func(void* param);

class C1 {
public:
    void memberf() {
        std::cout << "C1.memberf()" << std::endl;
    }

    void run() {
        std::cout << "C1.run()" << std::endl;

        stdc_func(this);
    }
};

void stdc_func(void* param) {
    C1* pc = reinterpret_cast<C1*>(param);
    pc->memberf();
}

int main() {
    C1 c1;
    c1.run();

    return 0;
}

/*
実行結果：
$ g++ -Wall t1.cpp -o t1.exe

$ ./t1.exe
C1.run()
C1.memberf()

*/

Comments

[nishiys]

別の関数に引数として渡す際に必要になるんですね．
理解が深まりました．ありがとうございました．

Answer 3

メンバ名と引数名(またはローカル変数名)が同じ場合、それを区別するため。

class A {
	int x;
public:
	void set(int x) {
		this->x = x;
	}
};

Answer 4

ちょっと(？)マニアックな例として、テンプレート派生クラス(Derived<T>)からテンプレート基底クラス(Base <T>)のメンバ関数(f)を呼び出したいとき、this->fのようにthisポインタを明示する必要があります。

Demo: https://wandbox.org/permlink/SB2IZKM0kpbyon9z

template<typename T>
struct Base {
  void f() {}
};

template<typename T>
struct Derived : Base<T> {
  void h()
  {
    f();        // NG
    this->f();  // OK
  }
};

int main()
{
  Derived<int>{}.h();
}

Comments

[yohhoy]

解説されている方がいらっしゃいました
https://qiita.com/kaityo256/items/2f24662a9ab8341ad6f4

[asm]

void h(){ Base<T>::f(); }
ではダメですか？

追記: void h(){ Derived<T>::f(); } のが楽でした

[yohhoy]

型名を書かなくて良いということで一つ...