Skip to content

feat: 标准库子集在零 libc 档上可用 —— 94/103 个头 - #231

Merged
Sunrisepeak merged 1 commit into
mainfrom
feat/nolibc-headers
Aug 20, 2026
Merged

feat: 标准库子集在零 libc 档上可用 —— 94/103 个头#231
Sunrisepeak merged 1 commit into
mainfrom
feat/nolibc-headers

Conversation

@Sunrisepeak

Copy link
Copy Markdown
Member
  • std-freestanding-nolibc 0.2.0 —— 五个函数 + 四份 C 头
  • std-freestanding 0.4.0 —— nolibc feature

⭐ 障碍从来不是「子集想要 C 库」:libc++ 为 C 头带了包装头,靠 #include_next 到真正
那份去取 size_t / mbstate_t / time_t / EOF。没有 C 库时这条链无处可续,而包装头报的是
缺类型不是缺头 —— 所以从错误信息里看不出原因。

⚠️ 顺序是整个机制:shim 目录必须排在 libc++ 之后。实测:放前面解锁 0 个,
放后面解锁 79 个。

九个真需要 C 库的头(cinttypes/cmath/complex/cstdlib/exception/format/print/random/
valarray)由 feature 宏摘掉,连同各自的导出表。

验证:零 libc 工程用 std::array + std::ranges::sort(带比较器)+ std::string_view,
qemu 中打印 54321 / zero-libc std ok,11156 字节,底下没有任何 C 库。

  * std-freestanding-nolibc 0.2.0 —— 五个函数 + **四份 C 头**
  * std-freestanding 0.4.0 —— nolibc feature

⭐ 障碍从来不是「子集想要 C 库」:libc++ 为 C 头带了包装头,靠 #include_next 到真正
那份去取 size_t / mbstate_t / time_t / EOF。没有 C 库时这条链无处可续,而包装头报的是
**缺类型**不是缺头 —— 所以从错误信息里看不出原因。

⚠️ 顺序是整个机制:shim 目录必须排在 libc++ **之后**。实测:放前面解锁 0 个,
放后面解锁 79 个。

九个真需要 C 库的头(cinttypes/cmath/complex/cstdlib/exception/format/print/random/
valarray)由 feature 宏摘掉,连同各自的导出表。

验证:零 libc 工程用 std::array + std::ranges::sort(带比较器)+ std::string_view,
qemu 中打印 54321 / zero-libc std ok,11156 字节,底下没有任何 C 库。
@Sunrisepeak
Sunrisepeak merged commit da21eb7 into main Aug 20, 2026
8 checks passed
@Sunrisepeak
Sunrisepeak deleted the feat/nolibc-headers branch August 20, 2026 09:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants