g++编译C++模块接口时出现‘引用内部链接实体’错误求助

问题复现 #

示例代码 #

// class.cxx
export module mod;

const int default_val { 0 };

export class Example
{
  // 此行引发问题
  int value { default_val };
};

编译命令 #

g++ -c -std=c++20 -fmodules-ts class.cxx

错误信息 #

class.cxx:5:14: error: ‘class Example’ references internal linkage entity ‘const int default_val’
    5 | export class Example
      |              ^~~~~~~
class.cxx:1:8: error: failed to write compiled module: Bad file data
    1 | export module mod;
      |        ^~~~~~
class.cxx:1:8: note: compiled module file is ‘gcm.cache/mod.gcm’

错误原因 #

C++中，文件作用域的const变量默认拥有内部链接（仅在当前编译单元可见）。而标记为export的Example类属于模块的对外接口，当其他模块导入mod时，必须能解析类定义中用到的所有实体。如果导出类引用了内部链接的实体，其他模块无法访问该实体，编译器会直接报错阻止这种违反模块接口一致性的行为。

解决方法 #

方法1：导出default_val使其成为模块对外接口的一部分 #

将default_val也标记为export，让它成为模块公开接口的一部分，这样其他导入模块的代码也能访问到它：

export module mod;

export const int default_val { 0 };

export class Example
{
  int value { default_val };
};

方法2：使用inline const赋予变量外部链接 #

C++17及以后，inline变量默认拥有外部链接，无需额外export即可在模块内被导出类引用：

export module mod;

inline const int default_val { 0 };

export class Example
{
  int value { default_val };
};

方法3：直接在类内部初始化成员 #

如果default_val仅用于该类的成员初始化，可直接在类内指定初始值，避免依赖外部变量：

export module mod;

export class Example
{
  int value { 0 };
};

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