メンバ関数ポインタについて

Question

class MyClass {
public:
void Func()
{
std::cout << "call Func()" << std::endl;
}
};

namespace XXX {
void XSD() {};
}

int main()
{

void (*pF)() = &XXX::XSD;

 void (MyClass::*pFunc)() = &MyClass::Func;

 MyClass c;
 (c.*pFunc)();  
 MyClass* p = &c;
 (p->*pFunc)(); 

}

メンバ関数ポインタについてです。
class内にあるメンバ関数を変数に入れようとすると
void (MyClass::*pFunc)() = &MyClass::Func;　このように名前空間も指定しないとビルドができません
名前空間内のものはMyClass::のように必要だと思い
namespace XXXというところにXSDという関数を作り
void (XXX::*pF)() = &XXX::XSD;　このようにしましたが今度はビルドができませんでした
(void (*pF)() = &XXX::XSD; でいけました。)

Class とnamespaceでなぜこのような違いがあるのでしょうか？

Answer 1

これは、namespace と class の問題ではありません。
通常のポインタとメンバポインタの問題です。

通常のポインタの値は、メモリ上のアドレス(絶対位置)です。

メンバポインタの値は、クラス内のメンバのオフセット(相対位置)です。
データメンバポインタであろうが、メンバ関数ポインタであろうが同じです。

#include <iostream>

class MyClass {
public:
	int data;
	void func() { std::cout << "func(): data = " << data << "\n"; }
};

int main()
{
	MyClass c;

	int MyClass::* dmp = &MyClass::data;
	c.*dmp = 32;
	std::cout << c.*dmp << std::endl;

	int *p = &c.data;
	*p = 45;
	std::cout << *p << std::endl;

	void (MyClass::* mfp)() = &MyClass::func;
	(c.*mfp)();
}

int *p = &c.data; で、p は通常のポインタです。
&c.data というのは、c.data のアドレスです。
p を使うときは、*p で c.data を参照できます。

int MyClass::* dmp = &MyClass::data; で、dmp は
MyClass 内のデータメンバポインタです。
この時点で、MyClass のインスタンス(オブジェクト) c は関係ありません。
&MyClass::data というのは、MyClass内のメンバ data のオフセットです。
dmp を使うときは、MyClass のインスタンス c を使って、
c.*data としなければなりません。

メンバ関数ポインタ mfp も同様に、(c.*mfp) でメンバ関数になります。
メンバ関数はインスタンスへのポインタ this が必要であり、それは &c です。
メンバ関数のアドレスを通常の関数ポインタに代入することはできません。
しかし、static なメンバ関数は通常の関数ポインタに代入できます。
そして、static なメンバ関数は、メンバ関数ポインタには代入できません。

Comments

[apa]

返信遅れました
なるほど
今までClassをnewしたら 関数も一緒に生成されると思っていましたが、もとから配置されるみたいですね　だからMyClsdd::で相対位置が求められると・・・
自分の未勉強さを改めて実感しました
また関数ポインタを含めいろいろな問題を解決することができました
ありがとうございました！！

Answer 2

(フツーの)関数 と メンバ関数 は別物で、呼び方が違いますから。

#include <iostream>

class Foo {
public:
  void f() { std::cout << "member func.\n"; }
};

void f() { std::cout << "global func.\n"; }

int main() {
  void (Foo::*pmf)() = &Foo::f;
  void (*pgf)() = &f;

  Foo f; (f.*pmf)(); // オブジェクトがないと呼べない
  pgf();

}