我有一个状态管理器，它应该管理从基本状态（如游戏状态，菜单状态等）派生的对象的unique_ptr-smartpointer。然而，基本状态需要能够访问来自状态管理器的功能，这可能导致循环依赖性。使用Forward-Declarations和普通头文件，可以通过以下方法避免这种情况，该方法工作正常：

使用Headers和Forward声明实现

// StateManager.hpp

#ifndef STATEMANAGER_HPP
#define STATEMANAGER_HPP

#include <vector>
#include <memory>

// receive all information about BaseState, so it can be used with unique_ptr
#include "BaseState.hpp" 

class StateManager {
public:
    StateManager() {
        m_states.emplace_back(std::make_unique<BaseState>(this));
    }
    ~StateManager() = default; 
    int provideImportantDataToStates();

private: 
    std::vector<std::unique_ptr<BaseState>> m_states;
};
    
#endif // STATEMANAGER_HPP

// BaseState.hpp
#ifndef BASESTATE_HPP
#define BASESTATE_HPP

class StateManager; // just forward declare StateManager to avoid cyclic dependency
export class BaseState {
public:
    BaseState(StateManager* l_stateManager);
    virtual BaseState() = default; 
};

#endif // BASESTATE_HPP

现在，我可以将StateManager包含在BaseState的实现文件（BaseState.cpp）并访问其功能：

//BaseState.cpp

#include "BaseState.hpp"
#include "StateManager.hpp"

BaseState::BaseState(StateManager* l_stateManager) {
    l_stateManager->provideImportantDataToStates();
}

使用无法编译的模块实现

不幸的是，这种方法似乎与模块不兼容。
下面是完全相同的模块实现，拒绝编译：

// StateManager.ixx
export module StateManager;

import <vector>;
import <memory>;
import BaseState; 

export class StateManager {
public:
    StateManager() {
        m_states.emplace_back(std::make_unique<BaseState>(this));
    }
    ~StateManager() = default; 
    int provideImportantDataToStates() {
        return 5; 
    }
private: 
    std::vector<std::unique_ptr<BaseState>> m_states;
};

// BaseState.ixx
export module BaseState;

class StateManager;
export class BaseState {
public:
    BaseState(StateManager* l_stateManager);
};

// BaseState.cpp
import BaseState;
import StateManager;

BaseState::BaseState(StateManager* l_stateManager) {

    l_stateManager->provideImportantDataToStates();
}

编译器会报告错误消息：

• 错误（活动）“StateManager”的E3344模块文件Map无效[。..] BaseState。CPP3
• 错误（活动）E0393指向不完整类类型的指针“StateManager”是不允许的BaseState。CPP7
• 错误C2665“BaseState：：BaseState”：没有重载函数可以转换所有参数类型3393

我的猜测是编译器在前向声明的“类StateManager;”在BaseState中。ixx和“真实的”（即StateManager中的完整StateManager类）。前向声明的StateManager似乎“覆盖”了BaseState中包含的完整的StateManager。使用命令“#include“StateManager调用cpp。hpp”

我不喜欢的可能解决方案

我发现的唯一可行的解决方案是下面的一个，我不认为它看起来特别好。另外，我对将StateManager和BaseState耦合到同一个模块接口单元中感觉不太好，因为它们在逻辑上是不同的东西。

// StateManager.ixx
export module StateManager;

import <vector>;
import <memory>;

class StateManager; 
export class BaseState {
public:
     BaseState(StateManager* l_stateManager);
    virtual ~BaseState() = default; 
};

export class StateManager {
public:
    StateManager() {
        m_states.emplace_back(std::make_unique<BaseState>());
    }
    ~StateManager() = default; 
    int provideImportantDataToStates();
private: 
    std::vector<std::unique_ptr<BaseState>> m_states;
};

BaseState::BaseState(StateManager* l_stateManager) {
    l_stateManager->provideImportantDataToStates();
}

这不可能是C++编程的“新方式”。...所以我想我仍然使用模块不正确的方式我所描述的情况。我做错了什么？