为何C++模块接口单元需导出/提前前置声明类才能正常工作？

问题场景 #

以下是一组使用C++模块的代码，在Visual Studio编译时会触发Error C2665 'MyNamespace::MyType1::MyType1': no overloaded function could convert all the argument types错误：

MyType1.ixx #

export module MyType1;

namespace MyNamespace {
    class MyType2;

    export class MyType1 {
    public:
        MyType1(MyType2* MyType2);
        void Print();
    private:
        MyType2* MyType2Instance{};
    };
}

Module1.cpp #

module MyType1;

import <iostream>;

import MyType2;

namespace MyNamespace {
    MyType1::MyType1(MyType2* MyType2) {
        MyType2->Print();
    }

    void MyType1::Print() {
        std::cout << "Hello MyType1\n";
        MyType2Instance->Print();
    };
}

MyType2.ixx #

export module MyType2;

import <iostream>;

namespace MyNamespace {
    export class MyType2 {
    public:
        void Print() {
            std::cout << "Hello MyType2\n";
        }
    };
}

Main.cpp #

import MyType1;
import MyType2;

using namespace MyNamespace;

void main() {
    MyType2 MyType2{};
    MyType1 MyType1(&MyType2);
    MyType1.Print();
    MyType2.Print();
}

针对这个错误，有两种可行的解决方案：

方案1：在MyType1.ixx中导出MyType2的前置声明

export module MyType1;

namespace MyNamespace {
    export class MyType2;

    export class MyType1 {
    public:
        MyType1(MyType2* MyType2);
    private:
        MyType2* MyType2Intance{};
    };
}

方案2：在模块声明前前置声明MyType2

namespace MyNamespace {
    class MyType2;
}

export module MyType1;

namespace MyNamespace {
    export class MyType1 {
    public:
        MyType1(MyType2* MyType2);
    private:
        MyType2* MyType2Intance{};
    };
}

核心问题解析 #

原始方案无效的原因 #

C++模块的作用域规则是：模块内部未导出的名字（包括类的前置声明）默认是模块私有的，外部导入该模块的代码无法访问这些私有名字。

在原始代码中，MyType1.ixx里的class MyType2;是MyType1模块内部的私有前置声明，而MyType2.ixx导出的是MyType2模块的公开MyType2类。当Main.cpp同时导入两个模块时，编译器会把这两个MyType2视为完全不同的类型——一个是MyType1模块私有的未完成类型，另一个是MyType2模块公开的完整类型。因此在main函数中，将MyType2的指针传给MyType1的构造函数时，编译器认为参数类型和形参类型不匹配，触发C2665错误。

方案1生效的原理 #

把class MyType2;改为export class MyType2;后，这个前置声明就变成了MyType1模块的导出名字。当Main.cpp导入MyType1时，会看到这个导出的前置声明，而它和MyType2模块导出的MyType2属于同一个命名空间下的同一实体（C++模块会合并同一命名空间下的导出名字）。此时编译器能识别出构造函数的形参类型（MyType1导出的MyType2*）和实参类型（MyType2模块的MyType2*）是同一类型，匹配成功。

方案2生效的原理 #

在export module MyType1;之前声明的namespace MyNamespace { class MyType2; }属于全局模块片段，这个片段里的名字不属于任何模块，而是处于全局作用域。当Main.cpp导入MyType1和MyType2时，全局作用域的MyType2前置声明会和MyType2模块导出的MyType2关联起来，MyType1构造函数使用的MyType2*（来自全局模块片段的声明）和实参的MyType2*会被识别为同一类型，从而解决类型不匹配的问题。

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