C++模板类成员函数传递特化成员函数语法及设计模式求助

问题描述 #

正在深入学习C++模板编程，查阅资料后未找到相关示例，希望实现调用一个模板成员函数并向其传递另一个模板成员函数，但始终无法掌握正确语法。

为练习设计了如下结构：

• Foo类负责管理T_Report对象
• Bar类通过组合包含Foo成员，供其他类（如线程）提供Update函数来更新Foo中的报表（已知该设计会破坏封装）

同时希望了解适用于此类场景的设计模式。

尝试的思路代码（无法编译，仅用于展示逻辑）：

struct T_Report{};
class Mutex{};


class Foo
{
public:
   template <typename T, void (T::*func)(T_Report&)> 
   void Update();

private:
   T_Report report;
   Mutex m_mutex();
};


template <typename T, void (T::*func)(T_Report&)>
void Foo::Update()
{
   // const std::lock_guard<std::mutex> lock(m_mutex);
   
   // call passed function here
   (T::*func)(T_Report &report);
};


class Bar
{
public:
   // passes through the call to Foo
   template <typename T, void (T::*F)(T_Report &)>
   void Update_Report<(T::*F)>() 
   { 
      m_foo.Update<(T::*F)>(); 
   };

private:
   class Foo m_foo;
};


class User
{
public:
   // user implements a function to update report - passed function
   Do_Update(T_Report &) {/*...*/};

   // indirectly start the report update by passing Update function
   void do_it()
   {
      m_bar.Update_Report<User, Do_Update>();
   };
   
private:
   Bar m_bar;
};

语法修正与可编译代码 #

原代码存在多处语法错误，以下是修正后的完整可编译版本：

#include <mutex>

struct T_Report{};

class Foo
{
public:
    template <typename T, void (T::*func)(T_Report&)> 
    void Update(T& obj)
    {
        const std::lock_guard<std::mutex> lock(m_mutex);
        // 通过具体对象调用成员函数指针
        (obj.*func)(report);
    }

private:
    T_Report report;
    std::mutex m_mutex; // 修正：移除括号，改为成员变量声明
};

class Bar
{
public:
    // 修正模板语法，直接传递模板参数
    template <typename T, void (T::*F)(T_Report&)>
    void Update_Report(T& obj) 
    { 
        m_foo.Update<T, F>(obj); 
    }

private:
    Foo m_foo; // 修正：移除多余的class关键字
};

class User
{
public:
    // 修正：显式声明public权限，确保外部可访问
    void Do_Update(T_Report&) {/* 实现报表更新逻辑 */};

    void do_it()
    {
        // 修正：传递成员函数指针需使用&类名::函数名的完整形式
        m_bar.Update_Report<User, &User::Do_Update>(*this);
    }
    
private:
    Bar m_bar;
};

关键语法要点说明 #

1. 成员函数指针的传递：作为模板参数传递成员函数指针时，必须使用&类名::函数名的完整写法，不能省略&和所属类名。
2. 成员函数指针的调用：调用成员函数指针必须依赖具体对象，语法为(对象.*成员函数指针)(参数)；若对象是指针类型，则使用(对象->*成员函数指针)(参数)。
3. 成员变量声明：原代码中Mutex m_mutex()是函数声明而非成员变量，需移除括号改为std::mutex m_mutex;。
4. 模板函数语法：Bar类中Update_Report的模板写法错误，无需额外的模板参数特化，直接声明模板参数并调用Foo的Update即可。

适用设计模式推荐 #

针对这种"外部提供逻辑修改内部状态"的场景，推荐以下设计模式来优化封装性和灵活性：

• 策略模式：将报表更新逻辑封装为独立的策略类，定义统一的更新接口（如ReportUpdateStrategy），Foo/Bar依赖该接口而非具体实现。User可以实现不同的策略类来完成不同的更新需求，既避免暴露内部状态，又保持扩展灵活性。
• 命令模式：把更新操作封装为命令对象，命令对象包含执行更新所需的逻辑和上下文。Bar/Foo只需执行命令，无需关心具体更新逻辑，适合需要记录、撤销或批量执行更新操作的场景。
• 访问者模式：如果T_Report存在多种类型，或需要多种不同的操作逻辑，访问者模式可将操作逻辑与数据结构分离。User作为访问者实现对T_Report的修改逻辑，Foo提供接受访问者的接口，既保证数据封装，又支持扩展新的操作。

内容的提问来源于stack exchange，提问作者Dodomac