->* 演算子と .* 演算子の実験

test_overload.cpp

#include <iostream>

struct Test {
  int val;

  // ->* 演算子は、任意の型についてオーバーロードできる
  void operator->*(int i) {
    std::cout << "operator->* is called with value " << i << std::endl;
  }
};

int main() {
  Test t;
  
  t.val = 100;

  // Testクラスのvalメンバーへのポインタ（コンパイラの実装に依るが、実際の中身は相対アドレス）
  int Test::*pval = &Test::val; 

  // .* 演算子を用いた、メンバーへのポインタを用いたメンバーへのアクセス
  std::cout << t.*pval << std::endl;

  // オーバーロードされた ->* 演算子の呼び出し
  // ただし、演算子の右辺は何らかの値 or 変数でなければならない
  // 「t->x の代わりに t->*x を使ってもらう」という方法をちょっと考えたが、
  // t->*x のようには書けない。 x が未定義識別子というエラーになる
  // 下の式は動く
  t->*3;

  return 0;
}