c++ - 分区模块是否由主模块接口(interface)单元输出？

Question

考虑这个例子

// translation C
export module M:C;

// translation U
export module M:B;
import :C;

// translation unit T
export module M;
export import :B;  // #1 imports `M:B` and `M:C`

[module.unit] 说

All module partitions of a module that are module interface units shall be directly or indirectly exported by the primary module interface unit ([module.import]). No diagnostic is required for a violation of these rules.

[module.import] p7 说

When a module-import-declaration imports a translation unit T, it also imports all translation units imported by exported module-import-declarations in T; such translation units are said to be exported by T. Additionally, when a module-import-declaration in a module unit of some module M imports another module unit U of M, it also imports all translation units imported by non-exported module-import-declarations in the module unit purview of U. These rules can in turn lead to the importation of yet more translation units.

第一部分说如果 T 导入 中导出的 module-import-declaration 则 T 导出翻译单元> 他们。

由于 在 U 中有一个未导出的模块导入声明 import :C;，并且 module- M 的主要模块单元 #1 处的 import-declaration 导入 M 的另一个模块单元 U code>，因此 #1 处的 module-import-declaration 也 imports C，根据后面的部分“另外”。

同样，由于 T 中 #1 处的 module-import-declaration 被导出，它直接导入 M:B 和间接导入 M:C，因此M:B 和M:C 由 T 导出。

因此，所有分区模块接口(interface)单元都由主模块接口(interface)单元导出。但是用GCC编译例子:g++ -std=c++20 -fmodules-ts c.cpp u.cpp t.cpp，报错:

interface partition is not exported

是不是GCC的bug，还是C分区确实没有被T导出，这里的规则不明确？

更新:

// file c
export module C;
export int fun(){return 0;}

// file b
export module M:B;
import C;

// file a
export module M;
export import :B;  // #1
int d = fun();  // #2

// file main
import M;
int main(){}

#2 在此 example是良构的。原因是在 #1 导出的 module-import-declaration 不仅 imports M:B 而且还导入C 这样函数 fun 可以在 #2 找到。那么，为什么我们不同意 TU C imported 由 #1 处导出的 module-import-declaration> TU中的a是由a导出的，下面说的到底是什么？

all translation units imported by exported module-import-declarations in T; such translation units are said to be exported by T.

这是标准在这里含糊不清的部分，即使 GCC 实现了无法从规则中读取的正确内容。

Answer 1

Also, since there is a non-exported module-import-declaration import :C; in U, the module-import-declaration at #1 that imports U therefore also imports C.

这与您引用的标准所说的相反。 “由 T 导出”的定义需要使用“在 T 中导出的模块导入声明”。

您可能因为使用了非指示性名称而感到困惑。我将使用实际的模块名称而不是您的翻译单元名称。这里我们关心的是模块M、M:B和M:C之间的关系。 M 导入 M:B，后者导入 M:C。然而，当应用标准的措辞时，我们可以看到 M:C 的 M:B import 没有使用“exported module-import-declaration”。因此，M:C 不是由 M:B“导出”。

当M导入和导出M:B时，由此导出的翻译单元集不包括M:C 因为它不是由 M:B“导出”。

但是M:C是模块M的一个接口(interface)分区。根据您引用的第一条规则，它必须由 M 直接或间接“导出”。

因此，您的代码格式错误。