10

正如这个答案中所解释的，模板实例化允许通过不需要为使用它们的每个新文件中的每个新类型重新编译模板来减少编译时间和大小。

我也对C++20 模块应该如何提供一个干净的解决方案来向外部项目公开模板并减少 hpp/cpp 重复感到兴奋。

允许它们一起工作的语法是什么？

例如，我希望模块看起来有点像（未经测试，因此可能是错误的代码，因为我没有足够新的编译器/不确定它是否已实现）：

你好世界.cpp

export module helloworld;
import <iostream>;

template<class T>
export void hello(T t) {
    std::cout << t << std::end;
}

helloworld_impl.cpp

export module helloworld_impl;
import helloworld;

// Explicit instantiation
template class hello<int>;

主文件

// How to prevent the full definition from being imported here, which would lead
// hello(1) to instantiate a new `hello<int>` instead of reusing the explicit instantiated
// one from `helloworld_impl.cpp`?
import helloworld;

int main() {
    hello(1);
}

然后将在https://quuxplusone.github.io/blog/2019/11/07/modular-hello-world中提到的编译（？）

clang++ -std=c++2a -c helloworld.cpp -Xclang -emit-module-interface -o helloworld.pcm
clang++ -std=c++2a -c -fprebuilt-module-path=. -o helloworld_impl.o helloworld_impl.cpp
clang++ -std=c++2a -fprebuilt-module-path=. -o main.out main.cpp helloworld_impl.o

理想情况下，我还希望模板定义可用于外部项目。

我认为我想要的是一种导入模块的方法，并在导入时决定：

  • 使用模块中的所有模板，就好像它们只是声明一样（我将在另一个文件上提供我自己的实例化）
  • 使用模块中的模板，就好像它们是定义一样

这基本上是我在 C++20 之前在“从包含的标头中删除定义，但也将模板公开为外部 API”中实现的，但该设置需要复制接口两次，这似乎是模块系统基本上可以为我们做的事情。

4

1 回答 1

3

模块使“快速单一构建”案例变得非常容易。它们对于“支持客户端实例化但避免重建显式实例化专业化的客户端”的情况并没有做太多；该理论认为，避免重复工作通常更快的构建使得无需扭曲程序以节省更多时间。

您所做的只是在模块接口中放置一个显式的实例化定义：

export module A;
export template<class T>
inline void f(T &t) {++t;}
template void f(int&);
template void f(int*&);

导入器不必f为这两种类型中的任何一种进行实例化，即使函数模板是内联的（这可能需要在非模块化代码中进行额外的实例化）。一个典型的实现将这些实例化的结果缓存在已编译的模块接口文件中，并具有足够的细节以在导入器中内联调用（以及缓存模板本身具有足够的细节以进一步实例化它）。

当然，您也可以使用显式实例化声明，仅在接口中声明模板并定义模板并将显式实例化定义放在模块实现单元中，但这与头文件的工作方式没有什么不同。

于 2020-05-14T03:05:56.607 回答