预处理:定义"导入"的简写是否合法

Preprocessing: Is defining a shorthand for `import` legal?

本文关键字：quot 是否 导入 定义 预处理      更新时间：2024-09-30

为了解决代码高尔夫挑战，我希望生成尽可能小的代码。我有了定义import:的简写的想法

#define I import
I<vector>;

短导螺杆示例

当然，这里的意图是重用I来实际节省字节。

这在C++20中合法吗？

到目前为止我发现的想法：

  • 根据cpprreference；模块指令和导入指令也是预处理指令"；。所以我认为这可以归结为一个问题，我们是否可以保证预处理器首先必须用我们的定义替换I
  • 我认为处理import指令应该发生在转换阶段4，对于整个阶段，除非另有规定，否则不应该对I进行宏扩展([cpp.pre]-7(。对于这种情况，是否另有规定
  • 这可能是预处理器重新扫描的一部分吗
  • godbolt上的Clang和GCC不编译，但AFAIK他们还不支持在没有额外步骤的情况下导入标准库头，并且他们在简写版本中给出了相同的错误消息，这表明它可以工作(？(
  • 同样的方法，但使用include而不是import，不适用于gcc和clang，因此可能不合法

否。

[cpp.pre]/1:

预处理指令由一系列预处理组成满足以下约束的内标识：在翻译阶段4，序列中的第一个令牌，称为引入令牌的指令，以源文件(可选在不包含新行的空白之后字符(或在包含至少一个新行的空白后面字符，并且是[…]

在任何宏替换之前，在转换阶段4开始时确定预处理指令性。因此，I<vector>;不会被识别为指令，并且I的宏扩展中的import不会被导入关键字令牌替换。这反过来意味着，在转换阶段7，它不会被识别为模块导入声明，而只是在没有先前声明的情况下使用标识符import的错误尝试。

这种舞蹈的目的是确保构建系统可以知道文件的依赖性，而不必对文件进行完全预处理——如果可以从宏替换中形成导入，则需要进行预处理。

相关文章：