如何在 C++20 中参数化模块？

Question

我的意思是这样的情况：

#define __STDC_FORMAT_MACROS 1
#include <inttypes.h>

这个例子可能很少用到，但它只是一个例子，这种方法使用得相当广泛，尤其是在项目内部。 为系统或编译器类型和版本定义的宏采用类似的方式，在编译器命令行中定义的宏也是如此。

我的问题是，当您已经有一个使用普通名称的模块时，是否存在某种机制可供即将使用import声明的开发人员使用，如下所示：

#define __STDC_FORMAT_MACROS 1
#export __STDC_FORMAT_MACROS
import std.inttypes;

或者，也许更好——指定导出到模块的参数专用于它（不会传播到其他模块）。 是否有任何机制可以实现它？

Answer 1

大约 80% 的整个模块点是模块是固定的 object，其定义完全不受模块本身之外的任何影响。 如果您可以“参数化”它们，那会使它们变得毫无价值，因为每次导入模块时，都必须重新编译它。 这正是存在要防止的问题模块。

模块采用的唯一参数是编译器的命令行 arguments，就像任何其他翻译单元一样。

Answer 2

如果您是模块的编写者，则可以使用模板和专业化来配置/参数化它。 考虑以下：

//=====================================
// Module
//=====================================
template<typename EnableIf = void>
struct FooConfig {
    static constexpr int value = -1;
};

template<typename Config = FooConfig<> >
void foo() {
  // Some functionality based on the configuration settings.
  std::cout << Config::value << std::endl;
}

//=====================================
// Module configuration
// (lives outside module)
//=====================================
template<>
struct FooConfig<void> {
  static constexpr int value = 2;
};

https://godbolt.org/z/df5185cP4

与宏不同，“参数化”发生在导入之后。 模块本身是固定的——尽管你可以在其中专门化一些东西，包括其他模板函数来启用你想要的任何自定义行为。

因此，按照其他答案之一的讨论，您可以放入不同加密库的所有实现（假设它们在构建模块的系统上都可用）并在它们之间使用 select 的配置参数。

或者更实际地，您可以让您的基础库提供一个加密接口（默认为无），然后让一个单独的模块提供实现，并使用配置参数或其他模板专门化机制来获取该实现。