c++ 文法の説明(ポインタとオブジェクト)

Question

現在、c++ポケットリファレンスを使用して基本文法を学習していますが、文法の厳密な点がいくつかわかりません。

Struct S{
  int data;
  int square (int v){ return v*v ;}
};

int S::*d = &S::data;
int (S::*f)(int) = &S::square;

S s1;
S s2;
s1.*d = (s1.*f)(5);

メンバ変数へのポインタ宣言は
型 クラス名 :: *変数名 <=初期化子>;

メンバ関数へのポインタ宣言は
戻り値の型 (クラス名 :: *変数名)(仮引数リスト) <=初期化子>;

とあります。

int S::*d = &S::data;

①上記のコードで、クラスSの、オブジェクトdataのアドレスを &S::data と表すのは、どんな規則があるのでしょうか。
S::&data では、なぜダメなのかが分かりません。

②

s1.*d = (s1.*f)(5);

上記は、教科書では、実引数5でs1.square()が呼ばれ、結果がs1.data に代入される
とありましたが、「s1.d」の意味がよく分かりません。
クラスSで、オブジェクトs1を定義し、オブジェクトs1の中にdが格納されているということでしょうか。

以上お願いします。

Answer 1

あえて括弧を付けるならこんな感じです

(int S::*)d = &(S::data);

メンバー変数のポインターはわかりにくいんですが、
こういう風に変数の値でメンバー変数のどれにアクセスするかを決定する方法、と思ってください

struct S{
   int data1, data2, data3;
}

void Ssub(S &s, int idx, int value){
  switch(idx){
  case 1: s.data1 = value; break;
  case 2: s.data2 = value; break;
  case 3: s.data3 = value; break;
  }
}

int S::*d1 に代入できるものは「クラスSのメンバー変数のうち、int の変数」のポインタです
Sの先頭からの相対アドレスがはいっていて、+8 だの、 +16 みたいな値になります
相対アドレスなので、Sのインスタンスと一緒に使わないと実際のポインタとしては使えません
(先程の例のidxに当たるもの、みたいに思ってください)

Struct S{
   int data1, data2, data3;
};


int S::*d = &S::data1;
S s1, s2;

s1.(*d) = 1; // s1.data1 = 1; と同じ

d = &S::data2;
s1.(*d) = 2; // s1.data2 = 2; と同じ

s2.(*d) = 3; // s2.data2 = 3; と同じ

Comments

[big000]

わかりやすい説明ありがとうございました。