能否基于Pimpl惯用法在多个CPP文件中拆分实现单类函数且不重定义变量？

问题根源 #

你之前用static定义全局指针PB，每个包含头文件的CPP编译单元都会生成独立的PB实例，两个文件里的PB根本不是同一个对象，互相访问自然会出现读取违例。

解决方案 #

1. 修正全局变量的声明与定义 #

• 头文件中用extern声明全局变量，不要加static，这样所有编译单元共享同一个变量声明；
• 选择其中一个CPP文件（比如Cpp1）来定义这个全局变量，确保只有一份实例。

2. 拆分Pimpl类的函数实现 #

Pimpl的核心是把私有结构体的实现放到CPP里，完全可以拆分到不同文件：

• PRIVATE类的成员函数（比如构造函数）可以在任意一个CPP实现；
• 公开结构体Test的实现放一个CPP，私有结构体Test2的实现放另一个CPP。

完整代码示例 #

头文件（private.h） #

#include <memory>

class PRIVATE {
    struct Test2; // 私有Pimpl结构体声明

public:
    struct Test; // 公开结构体声明

    std::shared_ptr<Test> Client_ptr;

    PRIVATE(); // 构造函数声明
};

// 全局变量声明：用extern，不要static
extern std::shared_ptr<PRIVATE> PB;

Cpp1.cpp #

#include "private.h"

// 实现公开结构体Test
struct PRIVATE::Test {
    void test_func() {
        // Test的成员函数逻辑
    }
};

// 实现PRIVATE的构造函数
PRIVATE::PRIVATE() {
    Client_ptr = std::make_shared<Test>();
}

// 全局变量定义：只在一个CPP里写这一行
std::shared_ptr<PRIVATE> PB = std::make_shared<PRIVATE>();

// 非类成员函数，直接使用PB
void func_in_cpp1() {
    PB->Client_ptr->test_func();
}

Cpp2.cpp #

#include "private.h"

// 实现私有结构体Test2（只有PRIVATE类内部能访问）
struct PRIVATE::Test2 {
    void test2_func() {
        // Test2的成员函数逻辑
    }
};

// 非类成员函数，使用同一个PB
void func_in_cpp2() {
    // 可以通过PRIVATE类的成员访问Test2（如果有接口的话）
    // 比如PRIVATE里加个get_test2()方法，这里就能调用
}

关键说明 #

• extern声明告诉编译器：这个变量在其他地方定义，当前编译单元只需引用；
• 全局变量的定义只能出现一次，否则会触发重复定义错误；
• Pimpl的结构体实现拆分到不同CPP完全没问题，只要每个结构体的实现只在一个CPP里完成即可。

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