通过宏实现Pimpl惯用法以减少代码冗余的技术咨询

问题背景 #

使用Pimpl惯用法实现的Foo类，其每个公开API方法都包含重复逻辑：实例化Measure、调用FooImp对应方法、实例化Logger。随着后续API数量增加，重复代码会大幅增加，需要找到简洁的实现方式减少冗余。

现有代码 #

头文件Foo.h #

class FooImp;

class Foo
{
public:
    void A(int x);
    void B(int x, double b);

private:
    FooImp* _imp;
};

实现文件 #

class FooImp
{
public:
    void A(int x) {}
    void B(int x, double b) {}
};

class Logger{};
class Measure{};

void Foo::A(int x)
{
    Measure m;
    _imp->A(x);
    Logger log;
}

void Foo::B(int x, double b)
{
    Measure m;
    _imp->B(x, b);
    Logger log;
}

原有宏方案的问题 #

你尝试的宏存在语法错误：宏定义换行未加反斜杠延续，参数传递逻辑错误（用了ptr而非_imp），且参数拆分方式不符合预处理器语法，导致无法编译。

可行实现方案 #

方案一：修正宏定义 #

通过明确拆分函数签名的各个部分，编写合法的宏来生成重复代码：

#define PIMPL_FUNC(RET_TYPE, FUNC_NAME, PARAM_LIST, ARG_LIST) \
RET_TYPE Foo::FUNC_NAME PARAM_LIST \
{ \
    Measure m; \
    _imp->FUNC_NAME ARG_LIST; \
    Logger log; \
}

// 调用示例
PIMPL_FUNC(void, A, (int x), (x));
PIMPL_FUNC(void, B, (int x, double b), (x, b));

说明：宏的四个参数分别对应返回类型、函数名、方法参数列表（带括号）、传给FooImp方法的实参列表（带括号），预处理器会将其展开为完整的方法实现。

方案二：C++模板包装（推荐） #

利用模板和通用转发实现类型安全的逻辑封装，避免宏的预编译问题：

首先在Foo类的私有部分添加模板包装函数：

// Foo.h中Foo类的private部分补充
private:
    template<typename Func, typename... Args>
    void wrap(Func func, Args&&... args)
    {
        Measure m;
        std::invoke(func, _imp, std::forward<Args>(args)...);
        Logger log;
    }

然后每个公开方法的实现简化为：

void Foo::A(int x)
{
    wrap(&FooImp::A, x);
}

void Foo::B(int x, double b)
{
    wrap(&FooImp::B, x, b);
}

说明：std::invoke可以统一处理成员函数指针的调用，std::forward保证参数完美转发，这种方式类型安全、可读性强，适合作为库代码的实现方式。

方案对比 #

• 宏方案：代码更简洁，新增方法只需一行宏调用，但存在预编译语法陷阱，类型检查不严格。
• 模板方案：类型安全、无宏的潜在问题，代码易维护，适合长期迭代的库项目。

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