fix(build.mcpp): 规则包能用 import std; 与 import mcpp; (2026.8.5.2)

[speak-agent]

问题

host-module = true 是 2026.8.5.1 加的:一条构建规则以普通 mcpp 包分发,消费者在 build.mcpp 里 import 它。机制成立,但两个缺陷叠在一起,使它只能承载「手工 printf 指令」的玩具规则 —— 规则一旦去用它本该用的那套 API 就编不过。

第一个真实使用者(grpc-m 的 protoc/gRPC codegen 规则)在第一分钟同时撞上了两个。

e2e 189 一直是绿的,因为它的规则只 #include <cstdio> 再 printf —— 恰好把两个缺陷都绕开了。这条 PR 里它被扩到覆盖真实用法。

1. 规则里的 import std;

build_program.cppm 先编 host module、后建 std 模块,规则拿到的 stdFlags 是空的:

fatal error: module 'std' not found

而且「是否需要 std」只扫 build.mcpp 的源码 —— 一条只有规则用 import std; 的构建根本不会去建 std 模块。

修法:扫描把规则接口一并计入(usesStd / usesStdCompat / usesModule 三者取并集),std 那一段整体挪到编译 host module 之前,stdFlags 传进 build_host_module 的 extraUseFlags。

顺序是承重的,不是风格问题:BMI 必须先存在、stdFlags 必须先指向它,规则才可能 import 它。

2. 规则里的 import mcpp;

host-module = true 只做了「注册这个模块」。prepare.cppm 从头到尾只读 spec.hostModule,从没把这个包移出消费者的普通依赖图 —— 同一个 .cppm 又被当成消费者的一个普通库编了一遍,而那次编译里内置 mcpp 模块并不存在:

failed: obj/grpcgen/src/grpcgen.m.o
fatal error: module 'mcpp' not found

修法:一条构建规则是纯构建期的东西,本来就不该进消费者的二进制 —— Cargo 用 [build-dependencies] 划的是同一条界线。只经由 root 的 host-module 边到达的包会被清空源码集(与 feature-gated sources 的丢弃用同一套机制),不再参与编译与链接。解析不动,因为 lib 根要从磁盘上读。

有护栏:同一个包完全可以既是规则、又是别处(或 root 另一种拼法)的普通库。只在「指向它的边全部来自 root」时才清空 —— 否则会变成一个离现场很远的 undefined reference。

效果

消费者的 build.mcpp 从约 60 行降到 3 行,而那 60 行搬进了一个有版本、能测试、能发布的包:

import mcpp;
import grpcgen;
int main() { return grpcgen::generate({"helloworld"}) ? 0 : 1; }

验证

• e2e 189 扩了两条断言,并且先验证过它们在 2026.8.5.1 上是红的(不是空断言):
  • 一条同时 import std; 和 import mcpp; 的规则必须能建,指令必须落地;
  • obj/rules/**.o 必须不存在 —— 规则包被当普通库编译过就会留下它。
• 本地 e2e 全量:除 03_multi_module / 07_static_library / 09_path_dependency 三条既有的环境性失败外全绿(已对 released 2026.8.4.1 核对过,与本改动无关)。
• 真实回归:grpc-m 的 grpcgen 规则包在打了本 PR 的二进制上跑通,生成→编译→链接→真实 RPC 全链路。

文档

docs/05-mcpp-toml.md 的示例写的是 import mcpp.rules.protobuf;,做不到:mcpp 用依赖的裸 package.name 注册 host 模块,而 SPEC-001 要求 name 是单一原子段。顺带写明一条会咬人的约束:规则包的名字必须是合法 C++ 模块名(grpcgen 可以,grpc-rules 不行),否则报的是 module 'grpc_rules' not found,不会提示你名字有问题。中英文档同步。

版本

2026.8.5.2。bootstrap pin 不动(仍 2026.8.4.1)—— 它是自举起点,不随发布走。