関数ポインタの使い方に関して

Question

【使用環境】
Windows10
VisualStudio2019 16.11.2

【状況】
関数ポインタについてサンプルプログラムを作っていて
下記コードで
・「C2664 'void appManager::EntryFunc(void (__cdecl ParamClass:: )(void))': 引数 1 を 'void (__cdecl appUpdate:: )(void)' から 'void (__cdecl ParamClass::* )(void)' へ変換できません。**」
と言うエラーが出るのですが解決法がわからないのと、そもそも関数ポインタの使い方が
これで合っているのかもわからない為、質問させて頂きました。

【コード】

■ appManager.h（一部省略）
struct ParamClass
{
	// 関数ポインタ
	typedef void (ParamClass::* LPFN_FUNC)(void);
	LPFN_FUNC  m_pFunc;
};
class appManager
{
public:
	appManager();
	~appManager();

private:
		
	std::vector< ParamClass> m_ParamList;

private:
	// m_pFuncに登録された関数をコールする関数
	void ExecFunc(void);

public:
	// 関数の登録処理
	void EntryFunc(void (ParamClass::*lpFunc)());
};

■ appManager.cpp（一部省略）
appManager::appManager()
{
}
appManager::~appManager()
{
}
// 登録した関数の実行
void appManager::ExecFunc()
{
	auto func_list = m_ParamList.size();
	for (int i = 0; i < func_list; i ++)
	{
		m_ParamList.at(i).m_pFunc;
	}
}
// 関数の登録
void appManager::EntryFunc(void (ParamClass::* LPFN_FUNC)())
{
	std::unique_ptr<ParamClass> class_ptr = std::make_unique<ParamClass>();
	class_ptr->m_pFunc = LPFN_FUNC;
	m_ParamList.push_back(*class_ptr);
	class_ptr.release();
}

■ appUpdate.h（一部省略）
class appUpdate
{
public:
	appUpdate();
	~appUpdate();

private:
	// appManagerのParamClassに登録する関数
	void UpdateRender();
};
■ appUpdate.cpp（一部省略）
appUpdate::appUpdate()
{
	appManager* pManager = new appManager();
	pManager->EntryFunc(&appUpdate::UpdateRender);
	delete pManager;
}
appUpdate::~appUpdate()
{
}
void appUpdate::UpdateRender()
{
}

宜しくお願いします

Answer 1

こんなん↓じゃダメっすか?

#include <iostream>
#include <functional>
#include <vector>

class appManager {
public:
    appManager() {}
    ~appManager() {}

private:

    std::vector<std::function<void(void)>> m_ParamList;

public:
    void ExecFunc() {
      for ( auto fn : m_ParamList ) fn();
    }
    
    // 関数の登録処理
    void EntryFunc(std::function<void(void)>&& func) {
      m_ParamList.emplace_back(func);
    }
};

void f1() {
  std::cout << "f1()\n";
}

class foo {
public:
  void f3() { std::cout << "f3()\n"; }
};

int main() {
  appManager mng;
  
  mng.EntryFunc(&f1); // 関数ポインタ
  mng.EntryFunc([](){ std::cout << "f2()\n"; }); // lambda式もOK
  foo f;
  mng.EntryFunc([&f]() { f.f3(); }); // メンバ関数はlambdaでくるんで
  
  mng.ExecFunc(); // 全部呼んじゃうぞ!
}

[追記] ぢゃ...コレじゃダメっすか?

#include <iostream>
#include <vector>

class appUpdate;

struct ParamClass {
    // 関数ポインタ
    typedef void (appUpdate::* LPFN_FUNC)(void);
    LPFN_FUNC  m_pFunc;
    // レシーバ
    appUpdate* m_pReceiver;
    ParamClass(appUpdate* recv, LPFN_FUNC func) : m_pReceiver(recv), m_pFunc(func) {}
    void execute();
};

class appManager {
public:
    appManager() {}
    ~appManager() {}

private:
    std::vector<ParamClass> m_ParamList;

public:
    // m_pFuncに登録された関数をコールする関数
    void ExecFunc(void) {
      for ( auto& param : m_ParamList ) param.execute();
    }
    
    // 関数の登録処理
    void EntryFunc(ParamClass param) {
      m_ParamList.emplace_back(param);
    }
};

class appUpdate {
public:
    appUpdate() {}
    ~appUpdate() {}

public:
    // appManagerのParamClassに登録する関数
    void UpdateRender() { std::cout << "appUpdate::UpdateRender()\n"; }
};

void ParamClass::execute() { (m_pReceiver->*m_pFunc)(); }

int main() {
  appManager mngr;
  
  appUpdate app1;
  appUpdate app2;
  
  mngr.EntryFunc(ParamClass(&app1, &appUpdate::UpdateRender));
  mngr.EntryFunc(ParamClass(&app2, &appUpdate::UpdateRender));

  mngr.ExecFunc();
}

Comments

[Iwan]

回答ありがとうございます。

自分としては今回は
struct ParamClass
{
// 関数ポインタ定義
};
class appManager {
　　　ParamClass
}
の形は変えずに実装可能なら実装したいと考えているのですが
難しいでしょうか。
この形を崩したくない理由としては今後メンバとして設定を
追加していきたいと考えている為、「設定専用構造体」を用意したいと
考えている為です。

[fana]

> 難しいでしょうか

「難しい」とは何を指してのことか？
ParamClass のメンバ m_pFunc の型を変えれば良いだけの話では．（そもそもそこが問題になってるわけだし）

[episteme]

↑たとえそうしたところで
void appManager::ExecFunc() で頓挫するんじゃないかな...
(やって見りゃわかるけど) メンバ関数はレシーバーとなるオブジェクトなしには呼び出せないから。

[episteme]

...追記しました。

[Iwan]

epistemeさん。
返信が遅くなり申し訳ありません。
追記して頂いたコードでエラーも出ず実行できました。
この方法だと今後追加していく時は
--------------------------------------------------------------
typedef void (appUpdate::* LPFN_FUNC)(void);
LPFN_FUNC m_pFunc;
// レシーバ
appUpdate* m_pReceiver;
ParamClass(appUpdate* recv, LPFN_FUNC func) : m_pReceiver(recv), m_pFunc(func) {}
--------------------------------------------------------------
と同じ記述をParamClass内に増やしていくと言う事でしょうか？

例）、appTitleの関数登録処理を増やしたい場合
--------------------------------------------------------------
// 関数ポインタ
typedef void (appTitle::* LPFN_FUNC)(void);
LPFN_FUNC m_pFuncT;
// レシーバ
appTitle* m_pReceiver;
ParamClass(appTitle* recv, LPFN_FUNC func) : m_pReceiver(recv), m_pFunc(func) {}
--------------------------------------------------------------
的な形で

[episteme]

僕の許可が要るわけじゃなし、やってみたらいいぢゃん。

> この方法だと今後追加していく時は
何に何を追加するんです?

[fana]

> ParamClass のメンバ m_pFunc の型を変えれば良いだけの話では

というのは……

回答内容が std::function
↓
それに対して，ParamClass とかいうのを使う形は崩したくないという話
↓
じゃあ ParamClass のメンバ m_pFunc の型を std::function<void(void)> に変えれば良いのでは

……っていう．

[episteme]

↑ いっそ typedef std::function<void(void)> ParamClass; でも良いんじゃないか...っていう

[fana]

でもそしたら

> 今後メンバとして設定を追加していきたいと考えている為、「設定専用構造体」を用意したい

っていう話が来て無限ループするんじゃないか…っていう
（管理側から見て未知な処理を登録する場所に　誰が　何の　設定をそこに入れる想定なのかわからないけども）

[Iwan]

epistemeさん
>この方法だと今後追加していく時は
>何に何を追加するんです?
こちらですが各シーン毎の処理関数（描画など）登録して一箇所で一括管理する事を想定していました。
そして今後プライオリティの変数等を追加して描画順を変更する実装を追加したいと考えています

[episteme]

...で、問題は解決しましたか?

[Iwan]

記載していただいたコードで実行でき
別シーンの処理関数を追加する際はappUpdateと同じ記述を追加していくことで
対応していきたいと思います。

[episteme]

んじゃcloseしといてね

Answer 2

引数の型が ParamClass型のメンバ関数ポインタ である箇所に
appUpdate型のメンバ関数ポインタを渡そうとしているのでダメだという話です．

---

[補足]

typedef void (ParamClass::* LPFN_FUNC)(void);

この LPFN_FUNC は
「引数無し戻り値無しの ParamClass のメソッド を指す用のポインタの型」
のtypedefです．