效率去哪儿了写 C 的人都有一个共同的执念——效率。编译速度要快、运行时不能有冗余开销、代码要简洁易维护。然而传统 C 的不少惯用法偏偏在拖后腿用std::optional写链式调用得像剥洋葱错误处理靠异常和输出参数两头凑容器转换要写一长串std::copy模板代码里const和的排列组合让人头疼……这些细节单个看都不致命但日积月累下来就是一笔不小的效率赤字。C23 没有像 C11 那样翻天覆地但它在实用层面做了一轮精准的效率补刀。本文盘点 C23 中五个真正能让你日常代码变快、变干净的特性每一个都值得立刻用起来。1. std::expected —— 让错误处理不再例外异常exception的争论几乎贯穿 C 的整个历史。抛出异常有运行时开销禁用异常又让错误处理变得残废——要么用输出参数要么靠std::optional传递有没有值而丢失为什么出错的信息。std::expectedT, E就是来填补这个空白的。它像一个带错误通道的std::optional成功时持有T类型的值失败时持有E类型的错误原因。核心接口一目了然#include expected #include string #include system_error std::expectedint, std::string parseInt(const std::string s) { try { return std::stoi(s); } catch (...) { return std::unexpected(Invalid integer: s); } } // 调用侧 auto result parseInt(42abc); if (result) { // 使用 *result 或 result.value() } else { // result.error() 拿到了具体错误信息 }更妙的是std::expected支持 monadic 操作and_then、or_else、transform可以像函数式编程那样把多个可能失败的操作串联起来不再需要层层嵌套的if-else。相比异常它没有栈展开的运行时代价相比std::optional它保留了出错原因——这才是务实的高效错误处理。2. std::optional 的 monadic 操作链 —— 告别洋葱代码如果说std::expected解决了带错误信息的可选值那 C23 给std::optional补上的三个 monadic 成员函数——and_then、or_else、transform——解决的就是可选值的链式处理。在 C17 时代对std::optional做链式调用只能一层层剥开// C17 写法if 金字塔 std::optionalUser user findUser(id); if (user) { auto profile user-getProfile(); if (profile) { auto city profile-getCity(); // ... } }C23 可以直接写成auto city findUser(id) .and_then([](auto u) { return u.getProfile(); }) .transform([](auto p) { return p.getCity(); });读起来一目了然找到用户 → 拿到个人资料 → 提取城市每一步可能为空空了整条链就断掉返回std::nullopt。这种写法消除了大量的样板缩进也减少了漏判空值的 Bug代码效率肉眼可见地提升。3. std::ranges::to —— 一句话完成范围到容器的转换C20 引入了 Ranges让算法链式调用成为可能但最后一步把结果装进容器却总是煞风景你得先声明一个空容器然后用std::ranges::copy或迭代器构造来收尾。这在管道风格的代码里特别割裂。C23 新增了std::ranges::to直接用管道语法把范围收集到任意容器#include ranges #include vector #include algorithm std::vectorint data {1, 2, 3, 4, 5, 6}; // C23过滤偶数翻倍直接收敛到 vector auto result data | std::views::filter([](int x) { return x % 2 0; }) | std::views::transform([](int x) { return x * 2; }) | std::ranges::tostd::vector(); // result {4, 8, 12}你甚至可以指定容器的 allocator 或预留容量std::ranges::tostd::vector(std::allocatorint{})。这一下就把 C 的管道流补齐到了最后一块拼图懒加载的视图和一次性求值的容器之间切换自如写起来非常痛快。4. deducing this —— 一个模板终结四份重载写过 C 类模板的人一定对这种四件套不陌生同一个成员函数要写、const 、、const 四个重载只为了在返回类型或逻辑上区分左值和右值。代码膨胀不说四个版本的逻辑还容易不同步。C23 引入的 deducingthis显式对象参数允许把this显式声明为第一个参数编译器自动推导调用对象的类型struct Value { int data; // 一个版本通吃 、const 、、const templatetypename Self auto get(this Self self) { if constexpr (std::is_lvalue_reference_vSelf) { return self.data; // 左值返回引用 } else { return std::move(self.data); // 右值移动 } } }; Value v{42}; auto a v.get(); // 拷贝v 仍可用 auto b Value{100}.get(); // 移动零开销这不仅减少了代码量更是把按值类别转发这件原本极其繁琐的事变成了一句if constexpr。对于需要实现 CRTP 或者递归 lambda 的场景deducingthis也是革命性的简化——从此不用再写std::function来间接递归了。5. import std —— 编译速度的物理外挂C 的编译速度一直是老大难问题。#include的本质是文本复制粘贴一个#include iostream能展开数万行代码每个翻译单元都要重新解析一遍。大型项目的增量编译时间常常以分钟计。C20 引入了 Modules 的语法但标准库本身没有模块化所以体验只是半截子。C23 终于把标准库也模块化了——你可以在支持的编译器上直接写import std; // 一个模块导入整个标准库 // 或者按需导入 import std.vector; import std.string; import std.iostream; int main() { std::vectorstd::string names {Alice, Bob}; std::println(Hello, {}!, names[0]); return 0; }模块是预编译的二进制接口不再需要每个翻译单元重新解析头文件。实测中将#include iostream换成import std;后编译时间可以减少 50% 以上对于大型项目来说这几乎是换编译器级别的提升。注意目前三大编译器GCC、Clang、MSVC对import std的支持程度不同MSVC 支持最完善Clang 和 GCC 也在快速追赶建议关注自己所用编译器的更新日志。结语效率藏在细节里C23 没有引入惊世骇俗的语言特性但它把 C20 开启的现代化之路又往前推了一大步。std::expected让错误处理无痛高效monadicstd::optional消灭了if-金字塔std::ranges::to补齐了管道语法的最后一环deducingthis终结了四份重载的噩梦import std则从编译层面解放了 CPU。这些特性彼此独立可以逐个引入没有迁移负担收益却立竿见影——Bjarne Stroustrup 说得没错C 的进化方向不是变得更庞大而是让正确的高效代码写起来更简单。下次有人问你C 的代码效率被谁吃了你可以理直气壮地回答C23 正在一口一口地把它吐回来。
)
