c++ - 从模块导出全局常量的正确方法是什么？

Question

声明全局常量可能很方便，但在 C++ 中并不容易。例如，请参阅Fluent C++ 上的这篇最新文章。它主要解释了如何做到这一点，但没有提到 C++20 模块。

在命名空间级别的常规头文件中，我会声明一个像这样的常量：

// Constants.h
inline constexpr int Count = 42;
inline const std::vector<int> Numbers = { 1, 2, 3 };  // cannot use constexpr

在这里我需要inline，因为符号可能包含在几个翻译单元中。IIUC，导出符号的模块定义单元是一个单独的翻译单元。所以我会简单地声明如下：

// Constants.ixx
export module constants;

export constexpr int Count = 42;
export const std::vector<int> Numbers = { 1, 2, 3 };  // cannot use constexpr

这是正确的做法，还是我错过了什么？

Answer 1

你做对了。还要注意一个重要的特性，就像inline在 C++17 中一样，依赖关系通过C++20 中的import 约束初始化顺序（有或没有inline）来表达。