几天来我一直在努力解决这个问题，我阅读了很多关于新 C++20 模块的文档和帖子，其中这个官方模块，这个和另一个在 Stackoverflow 上，但我真的无法解决这个问题.
我正在使用随Visual Studio Preview 16.6.0 2.0提供的 MSVC 编译器。我知道它还不是一个稳定的版本，但我想弄乱新功能来开始学习它们。
基本上我写了一个模块（myModule）和这个模块的两个分区（mySubmodule1和mySubmodule2），我在两个模块实现文件（mySubmodule1Impl.cpp和mySubmodule2Impl.cpp）中实现了它们。
mySubmodule1依赖于mySubmodule2，反之亦然。这是来源：
mySubmodule1.ixx
export module myModule:mySubmodule1;
export namespace myNamespace{
class MyClass2;
class MyClass1{
public:
int foo(MyClass2& c);
int x = 9;
};
}
mySubmodule2.ixx
export module myModule:mySubmodule2;
import :mySubmodule1;
export namespace myNamespace{
class MyClass2 {
public:
MyClass2(MyClass1 x);
int x = 14;
MyClass1 c;
};
}
mySubmodule1Impl.cpp
module myModule:mySubmodule1;
import :mySubmodule2;
int myNamespace::MyClass1::foo(myNamespace::MyClass2& c) {
this->x = c.x-14;
return x;
}
mySubmodule2Impl.cpp
module myModule:mySubmodule2;
import :mySubmodule1;
myNamespace::MyClass2::MyClass2(myNamespace::MyClass1 c) {
this->x = c.x + 419;
}
我的模块.ixx
export module myModule;
export import :mySubmodule1;
export import :mySubmodule2;
正如你所看到的，我可以转发声明MyClass2，mySubmodule1但我不能转发声明MyClass1，mySubmodule2因为MyClass2我使用类型的具体对象MyClass1。
我用这一行编译：cl /EHsc /experimental:module /std:c++latest mySubmodule1.ixx mySubmodule2.ixx myModule.ixx mySubmodule1Impl.cpp mySubmodule2Impl.cpp Source.cppwhere Source.cppis just main.
我收到臭名昭著的错误 C2027: use of undefined type 'myNamespace::MyClass2' in mySubmodule1Impl.cppand mySubmodule2Impl.cppat the lines where I use MyClass2. 此外，编译器告诉我在有前向声明的地方查看 in 的声明MyClass2。mySubmodule1.ixx
现在，我真的不明白我的错误在哪里。我一遍又一遍地检查，但程序的逻辑对我来说似乎很完美。文件的编译顺序应该MyClass2在实现之前定义！
我尝试使用“旧”.h 和 .cpp 文件而不是模块来编译这个确切的程序，它编译并运行良好。所以我想我错过了关于这些新模块的一些东西。
我检查了第一个正式的模块提案（第 10.7.5 段），在第一个提案中有一个名为宣告所有权声明的构造，在这种情况下似乎是完美的。基本上，它允许您导入当前模块中另一个模块拥有的实体，但不导入模块本身。但在该提案的后期修订中，没有任何迹象。绝对没有。在新提案的“变更日志”部分甚至没有引用它。
请不要告诉我循环依赖是不好的。我经常知道它们很糟糕，但并非总是如此。即使您认为它们总是很糟糕，我也不会要求经验法则。我在问为什么我的代码用“旧” .h + .cpp 编译而不是新模块。为什么链接器看不到MyClass2.
编辑 1
这是答案中建议的新设计，但它仍然不起作用。我得到完全相同的错误：
mySubmodule1Impl.cpp
module myModule;
int myNamespace::MyClass1::foo(myNamespace::MyClass2& c) {
this->x = c.x-14;
return x;
}
mySubmodule2Impl.cpp
module myModule;
myNamespace::MyClass2::MyClass2(myNamespace::MyClass1 c) {
this->x = c.x + 419;
}
所有其他文件均未更改。