是否可以通过自定义CROSSTOOL和云雀规则在bazel中使用C ++ 20模块？

问题描述

Bazel不直接支持模块（请参见Issue #4005）。

但是，可以为bazel提供自定义的CROsstOOL。

来自https://docs.bazel.build/versions/0.22.0/crosstool-reference.html：

默认情况下，Bazel会自动为您的构建配置CROsstOOL，但是您可以选择手动配置它。

并且可以使用自定义规则扩展bazel。

来自https://docs.bazel.build/versions/master/skylark/rules.html：

Bazel本身内置了一些规则。这些本机规则（例如cc_library和java_binary）为某些语言提供了一些核心支持。通过定义自己的规则，您可以为Bazel本身不支持的语言和工具添加类似的支持。

Bazel的模块问题上的这个comment建议您即使没有本地支持，也可以使用自定义CROsstOOL来支持模块：

有关模块的所有内容（仅适用于clang）已经开源。唯一缺少的部分是CROsstOOL，可以利用它们并提供所有必要的功能。

任何人都可以展示如何为clang编写自定义CROsstOOL，以及如何使用它为模块（例如cc_module）编写自定义C ++规则，以便您可以执行以下操作：

编写基本模块

// helloworld.cc
module;
#include <stdio.h>

export module helloworld;
export void hello();

module :private;
void hello() { puts("Hello World!"); }

使用模块

// main.cc
import helloworld;
int main() { hello(); }

将零件集成到构建系统中

cc_module(
   name = "helloworld",srcs = ["helloworld.cc"],) # Compiles to a precomiled module file (PCM)

cc_binary(
  name = "main",srcs = [
    "main.cc",],deps = [
     ":helloworld",) # Compiles against the helloworld PCM

解决方法

是的，是的。以下是操作方法的概述。

添加用于跟踪模块信息的自定义提供程序：

ModuleCompileInfo = provider(doc = "",fields = [
    "module_name","module_file","module_dependencies",])

添加自定义规则 cc_module 以生成 C++20 模块。然后你可以写一些类似

cc_module(
   name = "A",src = "a.cc",# a.cc exports the module A
   impl_srcs = [
     "a_impl1.cc",# optionally you can provide additional implementation sources for A
     "a_impl2.cc",],deps = [
     ":B",# dependencies can be either other modules or other cc_libraries
     ":C",)

自定义规则将

1. 为A的模块依赖创建一个模块映射
2. 为 A 的模块生成一个静态库打包 A 的对象和一个 cmi 文件
3. 返回 A 的 CcInfo 提供程序和 ModuleCompileInfo 提供程序以跟踪模块信息。

因为其他标准 bazel 规则（例如 cc_binary、cc_library）不知道 c++20 模块，您还需要提供自定义 cc_module_binary 和 cc_module_library 规则，以便您可以使用具有其他 C++ 构造的模块。例如，

cc_module_binary(
   name = "exe",srcs = ["main.cc"],# main.cc can import A
   deps = [":A"],# we can depend on modules
)

有关提供 c++20 模块规则的项目，请参阅 https://github.com/rnburn/rules_cc_module。有关如何使用它的示例，请参阅 here。