C++如何仅在cpp文件中定义无需在头文件声明的私有成员函数

你期望的直接在cpp中定义未在类声明中出现的成员函数的写法不符合C++语法规范，无法直接通过编译，可通过以下几种等价方案实现私有函数隐藏的需求：

方案1：cpp内静态辅助函数（无额外语法开销，适配绝大多数场景） #

如果func仅在类的其他成员函数内部调用，不需要对外暴露，也不需要强制为类成员，可直接改为cpp文件内的静态函数，仅需在头文件加一行友元声明即可访问私有成员，不会暴露任何实现细节：
头文件代码：

// header file
class Testclass { 
public:
    // ... 公共接口
private:
    friend void func_impl(const Testclass& obj); // 仅声明友元，无实现细节暴露
    const int m_i;
};

cpp文件代码：

// cpp file
#include "TestClass.h"

// 放在匿名命名空间，仅当前cpp可见，完全对外隐藏
namespace {
    void func_impl(const Testclass& obj) {
        int j = obj.m_i; // 正常访问私有成员
    }
}

// 类的其他成员函数要调用func时，直接调用func_impl(*this)即可

这种写法改动极小，比PIMPL的编码负担低很多。

方案2：简化版PIMPL（适合私有成员/函数较多的场景） #

如果你的类有大量私有函数和私有成员需要隐藏，可以用极简版PIMPL，冗余代码量非常小：
头文件代码：

// header file
#include <memory>
class Testclass { 
public:
    Testclass();
    ~Testclass();
    // ... 公共接口
private:
    struct Impl; // 仅前向声明，实现全在cpp内隐藏
    std::unique_ptr<Impl> m_impl;
};

cpp文件代码：

// cpp file
#include "TestClass.h"

struct Testclass::Impl {
    const int m_i;
    void func() const {
        int j = m_i; // 直接访问私有成员，不需要额外友元
    }
    // 所有其他私有成员、私有函数全放在这里
};

Testclass::Testclass() : m_impl(std::make_unique<Impl>(/* 初始化参数 */)) {}
Testclass::~Testclass() = default;

// 公共接口需要调用func时，直接调用m_impl->func()即可

这种方案除了隐藏私有函数，还能减少头文件改动的编译依赖，适合中大型项目使用。

方案3：C20模块（适配支持C20的项目） #

如果你的项目可以使用C++20标准，模块天然支持接口与实现分离，完全符合你想要的代码写法：

// 模块接口单元
export module TestClass;

export class Testclass { 
public:
    // ... 公共接口
private:
    const int m_i;
    // 不需要在这里声明func
};

// 模块实现单元
module TestClass;

// 可以直接在这里定义私有成员函数，不需要在接口单元声明
void Testclass::func() const {
    int j = m_i; // 正常访问私有成员
}

这种写法没有额外的语法负担，和你期望的代码逻辑完全一致。

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