C++模块迁移：外部引用PartBase时触发重复定义错误

我正在将一个C++图形应用从头文件迁移至模块，已初步解决循环依赖问题，但遇到了更复杂的情况：创建了包含三个分区的模块Module（Part1、PartBase、PartDerived），其中PartBase与Part1存在双向依赖，通过前向声明解决；PartDerived继承自PartBase。模块本身编译无问题，但外部客户端引用该模块时出现错误。

客户端代码：

import Module;

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

报错信息：

编译器在使用PartBase的行报错：unrecoverable error importing module 'Module': symbol 'PartBase' has already been defined

使用环境：Microsoft Visual Studio Community 2022（64位）17.3.3版本，优先排查自身问题，寻求解决方案。

模块代码如下：

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;

问题原因 #

在Module:Part1中使用了普通的class PartBase;前向声明，而主模块Module同时导出了:Part1和:PartBase两个分区。当客户端导入Module时，编译器会将Part1分区中的普通前向声明视为一个独立的符号，与PartBase分区中的实际定义冲突，从而触发重复定义错误。C++模块中，跨分区的符号需要保持一致性，普通前向声明无法与其他分区的导出定义关联。

解决方案 #

方案1：使用导出式前向声明

修改Module:Part1中的前向声明，添加export关键字，让该前向声明与PartBase分区的定义关联为同一个符号：

export module Module:Part1;

// 使用export修饰前向声明，关联到PartBase分区的定义
export class PartBase;

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;

方案2：合并循环依赖的分区

将存在双向依赖的Part1和PartBase合并到同一个模块分区中，彻底避免跨分区前向声明的问题：

export module Module:Core;

// 前向声明PartBase
export class PartBase;

// 定义Part1
export class Part1
{
    PartBase * pBase;
};

// 定义PartBase
export class PartBase
{
    Part1 * pPart1;
};


export module Module:PartDerived;

import :Core;

export class PartDerived : public PartBase {};


export module Module;

export import :Core;
export import :PartDerived;

额外建议

VS 2022 17.3版本对C++模块的支持尚未完全成熟，升级到17.4及以上版本可能会修复部分此类兼容性问题。如果上述方案仍无法解决，可以尝试更新编译器版本。

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