C++ 模块：编译器报告多个定义

Question

我正在将 C++ 图形应用程序从 header 文件迁移到模块。 最初解决了循环依赖问题（ C++ 模块和循环 class 参考）。 但现在我陷入了一个稍微复杂的情况。 我有一个包含三个分区的模块：Part1、PartBase 和 PartDerived。 其中两个参与者（PartBase 和 Part1）具有相互依赖关系，这是通过前向声明来解决的。 此外，PartBase 和 PartDerived 具有 inheritance 关系。 实际情况当然更复杂，但这是一个精简配置，我可以在其中重现该问题。

export module Module:Part1;

// :import PartBase would create circular dependency 
class PartBase;  // forward declaration is ok

export class Part1
{
    PartBase * pBase;
};


export module Module:PartBase;

import :Part1;

export class PartBase
{
    Part1 * pPart1;
};


export module Module:PartDerived;

import :PartBase;

export class PartDerived : public PartBase {};


export module Module;

export import :Part1;
export import :PartBase;
export import :PartDerived;

该模块编译没有任何问题。 但是，当从外部客户端模块引用模块中定义的类时

import Module;

export class Client
{
    PartDerived* pDerived;
    PartBase* pPartBase;
};

编译器在使用 PartBase 的那一行报错：

“导入模块‘模块’时出现不可恢复的错误：符号‘PartBase’已被定义”

我使用 Microsoft Visual Studio Community 2022（64 位）- 版本 17.3.3。

我无法解释此消息并怀疑这是编译器错误。 但我了解到，在指责工具之前，最好先找出自己的错误。 有人有想法吗？

Answer 1

看起来像是一个编译器错误，但实际上很难验证，因为所有编译器都有模块错误。

使用当前的编译器，我可以在:Part1中导出前向声明：

export class PartBase;  // forward declaration is ok

export class Part1
{
    PartBase * pBase;
};

活生生的例子