C++20模块出现vtable重复定义链接错误，求非inline修复方案

问题场景 #

代码示例 #

以下是使用C++20模块编写的代码（修正了原代码中遗漏的返回类型）：

A.cppm

export module AMOD;
export class A {
public:
    virtual ~A() = default;
    virtual void foo() = 0;
};

B.cppm

export module BMOD;
import AMOD;
export class B : public A {
public:
    virtual void foo() override;
    virtual ~B() = default;
};
module :private;
void B::foo() {}

C.cppm

export module CMOD;
import BMOD;
export void bar() { B Bobj; Bobj.foo(); }

main.cpp

import BMOD;
int main() { B b; b.foo(); }

编译链接错误 #

编译时出现重复符号错误：

ld.lld: error: duplicate symbol: vtable for B@BMOD
>>> defined at main.cpp
>>>            CMakeFiles/test.dir/main.cpp.o:(vtable for B@BMOD)
>>> defined at CMOD.pcm
>>>            CMakeFiles/test.dir/C.cppm.o:(.data.rel.ro+0x0)

参考文档 #

根据GCC文档说明：

If the class declares any non-inline, non-pure virtual functions, the first one is chosen as the “key method” for the class, and the vtable is only emitted in the translation unit where the key method is defined.

临时将B类的首个虚函数设为inline可消除错误，但这只是权宜之计，需要找到正确的修复方式。

正确修复方案 #

问题根源在于：模块接口中声明的非纯虚函数，其实现放在模块私有片段时，导入该模块的翻译单元无法确定vtable的生成位置，导致每个翻译单元都生成一份vtable，最终引发链接冲突。

以下两种方案可以从根源解决问题：

方案1：将关键虚函数的实现与类定义放在同一模块接口单元并标记为inline #

确保类的**关键方法（即首个非纯、非inline虚函数）**的实现与类定义在模块接口中，且标记为inline（或直接在类内定义）：

修改后的B.cppm：

export module BMOD;
import AMOD;
export class B : public A {
public:
    // 直接在类内定义，自动成为inline函数，同时作为关键方法
    virtual void foo() override {}
    virtual ~B() = default;
};

或者保留类外定义，放在模块接口部分并标记inline：

export module BMOD;
import AMOD;
export class B : public A {
public:
    virtual void foo() override;
    virtual ~B() = default;
};

// 放在模块接口区域，而非私有片段，同时添加inline
export inline void B::foo() {}

这种方式下，编译器会将vtable视为inline符号，链接器会自动处理重复定义，同时避免冗余代码。

方案2：拆分模块为接口单元与实现单元 #

将类的声明放在模块接口单元（.cppm），将虚函数的实现放在单独的模块实现单元（.cpp），这样vtable只会在实现单元中生成：

BMOD.cppm（接口单元）

export module BMOD;
import AMOD;
export class B : public A {
public:
    virtual void foo() override;
    virtual ~B() = default;
};

BMOD.cpp（实现单元）

module BMOD;
import AMOD;

void B::foo() {}

这种方式遵循了“接口与实现分离”的设计原则，同时利用C++模块的特性，确保vtable仅在实现单元中生成，彻底避免重复定义问题。

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