C++存在友元依赖的类是否需拆分到独立头文件？如何实现？

现有拆分代码的问题 #

你当前的拆分方式存在3个明显问题：

• window_mgr.h 中声明 std::vector<Screen> screens 时，Screen 仅为前置声明的不完整类型。C17 之前标准明确要求 std::vector 的元素类型必须是完整类型，这段代码在 C11/14 环境下会直接编译失败。即使是 C++17 及更高版本，这种写法也会限制你对 screens 成员的操作，大部分 vector 接口调用都要求元素类型完整。
• Window_mgr::clear 函数在 cpp 文件中被定义为 inline。inline 函数的定义必须在所有调用它的翻译单元中可见，放在 cpp 文件里的 inline 定义只有当前 cpp 能看到，其他调用这个函数的翻译单元会找不到符号，触发链接错误。
• 依赖顺序不符合友元声明要求：要声明 Window_mgr::clear 为 Screen 的友元，编译器必须先知道 Window_mgr 类的结构、内部的 ScreenIndex 类型别名、以及 clear 成员函数的声明，你当前的头文件包含顺序无法满足这个要求。

另外你最开始的合并代码本身也存在 C++ 版本依赖，C++17 之前同样无法编译通过。

推荐拆分方案（兼容所有 C++ 标准） #

如果要兼容旧标准，建议将 Window_mgr 的 screens 成员改为存储智能指针，解除类型完整度的依赖死锁：

1. window_mgr.h 头文件

#ifndef WINDOW_MGR_H
#define WINDOW_MGR_H

#include <vector>
#include <memory>

// 仅前置声明Screen即可，不需要完整类型
class Screen;

class Window_mgr {
public:
    using ScreenIndex = std::vector<std::unique_ptr<Screen>>::size_type;
    void clear(ScreenIndex);
private:
    // 改为存智能指针，只需要Screen的前置声明就能定义
    std::vector<std::unique_ptr<Screen>> screens;
};

#endif

2. screen.h 头文件

#ifndef SCREEN_H
#define SCREEN_H

#include <string>
// 包含window_mgr.h，保证友元声明时编译器已知Window_mgr的完整结构
#include "window_mgr.h"

class Screen {
    friend void Window_mgr::clear(ScreenIndex);
public:
    using pos = std::string::size_type;
private:
    pos height{0}, width{0};
    std::string contents;
};

#endif

3. window_mgr.cpp 实现文件

#include "window_mgr.h"
#include "screen.h"

// 去掉inline关键字，实现放在cpp中即可
void Window_mgr::clear(ScreenIndex i) {
    Screen& s = *screens[i];
    s.contents = std::string(s.height * s.width, ' ');
}

C++17 及以上版本的轻量化方案 #

如果你不需要兼容旧标准，可以保留 std::vector<Screen> 的成员写法，只需要调整头文件包含逻辑：

• window_mgr.h 保留 Screen 的前置声明，不需要包含 screen.h
• 所有操作 screens 成员的代码（包括 Window_mgr 的构造、析构、增删 Screen 等函数）全部放到 window_mgr.cpp 中实现，不要在头文件中写内联实现
• screen.h 正常包含 window_mgr.h 保证友元声明合法

这种拆分属于标准的循环依赖类拆分实践，没有可维护性问题，只要头文件保护宏书写正确，不会出现循环包含故障。

内容的提问来源于stack exchange，提问作者L.S. Roth