C++ 模块 - 为什么从 C++0x 中删除它们？他们以后会回来吗？

Question

我刚刚发现了这个 old C++0x draft关于 C++0x 中的模块。

我们的想法是通过只编写 .cpp 文件来摆脱当前的 .h/.cpp 系统，然后在编译期间生成模块文件，然后再由其他 .cpp 文件使用。

这看起来是一个非常棒的功能。

但我的问题是:他们为什么要从 C++0x 中删除它？是不是因为技术难度太大？时间不够？你认为他们会考虑为 C++ 的隐秘版本而努力吗？

Answer 1

C++ 模块草案(C++17 之后的技术规范)

WG21 发布了 C/C++ 模块规范的草稿和几个更新版本。在 open-std.org 上。我将只链接到这里的最新文档:

• 工作草案，C++ 模块扩展 N4610 (2016 年 10 月)。
• 第四版发布为 P0142R0 (2016 年 3 月)。
• 以 P0143R2 发布的模块措辞(2016 年 3 月)。
• clang 团队发布了他们更改的第二次修订: P0273R1 (2016 年 10 月)。

以下博客文章包含标准 session 摘要，尤其是模块草案当前状态的摘要:

• 旅行报告:C++ Standards Meeting in Lenexa (2015 年 5 月)。
• 旅行报告:C++ Standards Meeting in Kona (2015 年 10 月)。
• 旅行报告:C++ Standards Meeting in Jacksonville (2016 年 2 月)。
• 旅行报告:C++ Standards Meeting in Oulu (2016 年 6 月)。
• 旅行报告:C++ Standards Meeting in Issaquah (2016 年 11 月)。

更新: 正如我在上面链接的 Kona 之旅报告中所解释的，目前有两个竞争提案，一个来自 Microsoft，一个来自 Clang。 Microsoft 提出的解决方案不允许导出宏，而 Clang 团队的解决方案将支持导出宏。到目前为止，只有微软正式提交了模块规范草案。

微软提出的模块规范

以下是此提案包含的最重要概念的简要概述。作为草案，这可能仍然会改变。新的模块标准将包括以下内容:

module关键字声明一个模块，多个文件可以声明这个来构建一个模块(但对于每个模块只有一个compilation-unit可以包含一个导出 {} 部分):

module M;

一个 import 关键字来导入模块，而不是 import 它也可能决定使用 using module 代替，所以一个新的 import 关键字可以避免的。

import std.io;
import module.submodule;

export 语法，它定义了作为该模块一部分的公共(public) declarations，不应导出为的非接口(interface) declarations模块的一部分将在导出 block 之外定义。 声明可以是 C/C++ 中的任何一种声明，即不仅是函数，还包括变量、结构、模板、命名空间和类:

export {
    int f(int);
    double g(double, int);

    int foo;

    namespace Calc {
         int add(int a, int b);
    }        
}

void not_exported_function(char* foo);

模块的一个重要变化是宏和预处理器定义将是模块本地的，不会被导出。因此宏对导入的模块没有任何影响:

#define FILE "my/file"
import std.io;   //will not be impacted by the above definition

重要的一点是，当前的预处理器系统和模块将能够共存，并且头文件仍然可以用于例如包含宏。

有关更多详细信息，我建议阅读草稿。

Clang 模块

Clang 一直致力于模块实现，可在 the clang modules page 找到。 .然而，clang 目前并没有为模块实现具体的语法，也就是说，上面提到的语法都没有被 Clang 实现。为了解释这一点，该页面包含以下声明:

At present, there is no C or C++ syntax for import declarations. Clang will track the modules proposal in the C++ committee. See the section Includes as imports to see how modules get imported today.

Clang 目前实现的主要部分是“模块映射语言”，它允许为仍然使用头文件的现有代码编写模块映射。

从模块导出宏

如上所述，宏导出是否会成为最终 Modules TS 的一部分仍不清楚。在 P0273R1为导出宏提出了以下语法:

#export define MAX(A,B) ((A) > (B)) ? (A) : (B);