第十三章 C++23 新特性详解

← 返回目录

本章目标：std::print/println、std::expected、std::mdspan（了解）、 std::flat_map（了解）、deducing this（了解）、 其他实用小特性。C++23 是"补全体验"的版本， 没有颠覆性大特性，但每天都在改善你的代码。

13.1 std::print / std::println（已在第一章用到，重点）

#include <print>
std::println("你好，{}！", name);
std::print("不换行输出");

• 类型安全：格式和参数不匹配 → 编译期报错，而不是乱码
• 性能：底层格式化一次到位，通常比 iostream 快
• 支持自定义类型的格式（需要你实现 formatter 特化，进阶）

自 C++23 起，新代码的输出一律用 print/println。

13.2 std::expected：比异常更优雅的错误处理（重要）

#include <expected>
enum class Err { BadInput, OutOfRange };

std::expected<int, Err> parse_int(std::string_view s) {
    int v = 0;
    // ... 解析逻辑 ...
    if (解析失败) return std::unexpected(Err::BadInput);
    return v;
}

auto r = parse_int("42");
if (r) {
    std::println("值是 {}", *r);       // 正常分支
} else {
    std::println("出错了：{}", r.error());   // 错误分支
}
// 也可以变换：
auto doubled = r.transform([](int x){ return x * 2; });  // 成功则变换
auto handled = r.value_or(-1);         // 失败给默认值

人话：expected<T, E> = "要么是 T，要么是 E（错误）"。 和 optional 的区别：optional 只知道"有没有"， expected 还告诉你"为什么没有"。

适用场景：函数可能失败，且调用方通常需要处理错误。 （比异常快、比错误码安全、可组合。详见第十五章。）

13.3 std::mdspan：多维数组视图（了解）

#include <mdspan>
std::vector<double> data(24);
std::mdspan matrix(data.data(), 4, 6);   // 把一维数据当 4x6 矩阵
matrix[2, 3] = 1.5;                       // 下标语法

• 零开销：只是"指针 + 维度"的视图，不拷贝数据
• 支持任意步长、子视图
• 是科学计算/图形库的基石，但日常应用较少

知道即可，用到再学。

13.4 std::flat_map / flat_set（了解）

#include <flat_map>
std::flat_map<std::string, int> m;
m["a"] = 1;                       // 用法和 map 几乎一样

和 map 的区别：

• map：红黑树，节点散落内存，插入 O(log n)，缓存不友好
• flat_map：底层就是两个排好序的 vector，内存连续，

查找 O(log n) 但缓存命中率高，小数据量大胜出

• 代价：插入会搬动元素 O(n)

结论：数据量小（几百上千）且读多写少 → flat_map 更快。 游戏开发常用它。

13.5 deducing this（理解即可）

以前成员函数里的 this 是固定类型：

struct Widget {
    void foo() const;      // this 是 const Widget*
};

复制粘贴 const/& 版本非常烦人。

C++23：给 this 起名字，让它自动推断：

struct Widget {
    void foo(this auto&& self) {    // 自动匹配 const/&
        // self 就是对象自己，类型自动
    }
};

好处：

1. 一个函数通吃 const 和非 const 版本
2. 递归 lambda（lambda 里调自己）
3. CRTP（奇异递归模板）可以简化

知道这是"给 this 起名"就行，高级用法按需学。

13.6 更多 C++23 小特性（扫一遍留印象）

• std::string::contains（第六章已用）：判断包含子串
• std::views::zip(a, b)：两个容器按位置配对遍历

  for (auto [x, y] : std::views::zip(v1, v2)) { ... }

• std::views::enumerate：遍历带下标

  for (auto [i, x] : std::views::enumerate(v)) { ... }

• std::views::adjacent / chunk：滑动窗口、分块
• std::ranges::fold_left / fold_right：range 版折叠（新 libc++ 才有；

你的 Termux 版暂时没有，用 accumulate 替代，见下节注释）

• std::stacktrace：崩溃堆栈追踪（调试利器）
• std::format 的扩展：print 家族全家桶
• static operator()（忽略）
• 多维下标 operator[]（支持 mdspan 风格）
• 新增头文件 <stdfloat>：float16/32/64 固定宽度类型
• std::unreachable()：告诉编译器"这里到不了"

13.7 C++23 实战示例：现代感拉满

#include <print>
#include <ranges>
#include <string>
#include <vector>

int main() {
    std::vector<std::string> names{"bob", "alice", "carol", "dave"};

    // 打印带编号的名字（enumerate 是 C++23，
    // 你的 Termux libc++ 暂时没有，用下标循环代替，效果一样）
    for (std::size_t i = 0; i < names.size(); ++i) {
        std::println("{}. {}", i + 1, names[i]);
    }

    // 过滤 + 变换 + 收集成新 vector
    // （std::ranges::to<vector> 也暂缺，手动构造即可）
    std::vector<std::string> long_names;
    for (const auto& s : names
            | std::views::filter([](const std::string& s) {
                   return s.size() >= 4;
               })) {
        long_names.push_back(s);
    }
    std::println("有 {} 个长名字", long_names.size());
}

注：enumerate / fold_left / ranges::to 是 C++23 新增， 新版 libc++（clang 19+ 自带）才完整。你的 Termux 环境 libc++ 版本略旧，本书示例已全部换成等价写法， 等系统更新后可直接换回新写法（语法见 13.6）。

13.8 从 C++17 到 C++23 的代码风格进化（总结）

C++17 时代：optional、结构化绑定、filesystem、if constexpr C++20 时代：ranges 管道、concepts、三路比较、span、chrono C++23 时代：print、expected、fold、zip/enumerate、to<vector>

现代 C++（17+）写代码的固定姿势：

1. 输出用 println，绝不用 printf
2. 容器 + 算法 + lambda + ranges，能不写循环就不写
3. 错误处理：先 expected，再考虑异常
4. 所有权：unique_ptr/shared_ptr + RAII，不碰 new/delete
5. 类型：auto 推断，{} 初始化，const 能加就加

本章小结

• print/println 是新时代输出标配（类型安全 + 快）
• expected<T, E> 表达"可能失败且有原因"，比 optional 更强
• flat_map 内存连续更快；mdspan 多维视图——了解即可
• deducing this 给 this 起名，一个函数通吃 const/&
• zip / enumerate / fold 让 ranges 更顺手（libc++ 更新后可用）
• C++23 整体是"把好体验补齐"的版本

练习题

---

1. 用 expected<int, Err> 写一个除法函数（除以 0 返回错误）。
2. 用两个下标循环同时遍历两个 vector 并打印对应元素

（等价于 views::zip 的效果）。

1. 打印带行号的文件内容（每行一个 string，下标循环即可）。
2. 用 accumulate 求 vector 的平均值（求和 + size）。
3. 把 13.7 的示例改成用 accumulate 计算长名字的平均长度。