Идиома именованных параметров с использованием указателя на частный метод класса

this->func1 не образует указатель на функцию-член. Он должен выглядеть как &user::func1, если вы находитесь в классе user.

Я размещаю здесь полный ответ на мою проблему. Я разработал его после предложения Бо и после того, как понял, как указать на конкретный метод экземпляра с помощью указателя на него.

Короче говоря, действительно важно отметить две вещи:

1. Указатель на нестатическую функцию-член класса можно рассматривать как просто смещение, а не как «абсолютный адрес» (http://www.codeguru.com/cpp/cpp/article.php/c17401/C-Tutorial-PointertoMember-Function.htm ). Это означает, что вы не можете получить доступ к этой функции (это просто смещение) без предварительного указателя экземпляра. Когда у вас есть указатель экземпляра, с помощью этого «указателя смещения» вы можете вызвать этот метод, используя:

   (object_ptr->*method_ptr)(parameters_here)

   Лучшим способом было бы использовать макрос #define, поскольку этот синтаксис действительно подвержен ошибкам и сложен для чтения (https://isocpp.org/wiki/faq/pointers-to-members):

   #define CALL_MEMBER_FN(ptrToObject,ptrToMember) ((ptrToObject)->*(ptrToMember))

   а затем используйте его как:

   CALL_MEMBER_FN(object_ptr, method_ptr)(parameters_here)

2. Следуя первому пункту, если вы хотите, чтобы вложенный класс мог вызывать метод верхнего класса с помощью указателя на него, вам также необходимо передать указатель экземпляра верхнего класса для доступа к этой функции. В моем случае, поскольку я хотел иметь возможность решать в каждом конкретном случае, следует ли вызывать этот метод или нет, я использовал идиому именованных параметров (например, обратите внимание, что func2 не зарегистрирован).

Наконец, вот исправленный код, который работает (протестирован):

- - C ++ - - test.h

#include <iostream>

template <typename MODULE> class item;

template <typename MODULE>
class init {
public:
  typedef int  (MODULE::*funcPtr)(int);
  typedef bool (MODULE::*func2Ptr)(bool);
private:
  funcPtr  m_fp;
  func2Ptr m_fp2;
  MODULE* m_dad;
public:
  init& has_funcPtr(funcPtr fp) { m_fp = fp; return *this;}
  init& has_func2Ptr(func2Ptr fp2) { m_fp2 = fp2; return *this;}
  init(MODULE* dad) : m_dad(dad) { std::cout << "init constructor called\n"; }
  ~init() {}
private:
  friend class item<MODULE>;
};

template <typename MODULE>
class item {
public:
  typedef int  (MODULE::*funcPtr)(int);
  typedef bool (MODULE::*func2Ptr)(bool);
private:
  funcPtr  m_fp;
  func2Ptr m_fp2;
  MODULE*  m_dad;
public:
  item(init<MODULE> params) :
    m_fp(params.m_fp),
    m_fp2(params.m_fp2),
    m_dad(params.m_dad)
  {
    std::cout << "item constructor called\n";
  }
  ~item() {}
  // Method invoked externally
  int callback() {
    std::cout << "item class method callback invoked\n";
    // In the real case here do general stuff
    if(m_fp) {
      int i = (m_dad->*m_fp)(1); // call member function through its pointer
      return i;
    } else {
      std::cout << "callback not registered\n";
      return 0;
    }
  }
  // Method invoked externally
  bool callback2() {
    std::cout << "items class method callback2 invoked\n";
    // In the real case here do general stuff
    if(m_fp2) {
      bool b = (m_dad->*m_fp2)(true); // call member function through its pointer
      return b;
    } else {
      std::cout << "callback2 not registered\n";
      return false;
    }
  }
};

class user {
public:
  typedef init<user>::funcPtr funcPtr;
private:
  // Methods that optionally add more functionalities to the 2 callbacks
  int  func1(int i);
  bool func2(bool b);
public:
  // Item member
  item<user> m_item;
public:
  user();
  ~user();
};

- - C ++ - - test.cpp

#include "test.h"

user::user() : m_item(init<user>(this).has_funcPtr(&user::func1) ) {
  std::cout << "user constructor called\n";
}

int user::func1(int i) {return i;}
bool user::func2(bool b) {return b;} // func2 won't be registered


int main() {
  user* u = new user();
  // Test callbacks
  int i = u->m_item.callback();
  bool b = u->m_item.callback2();
  std::cout << "main is printing i=" << i << " and b=" << b << "\n";
  std::cout << "expected results are i=1 and b=0\n" << "END\n";
  return 0;
}

ВЫВОД:

init constructor called
item constructor called
user constructor called
item class method callback invoked
items class method callback2 invoked
callback2 not registered
main is printing i=1 and b=0
expected results are i=1 and b=0
END