C++17 是一次覆盖面很广的标准更新。它一方面让泛型与日常控制流更容易阅读，另一方面通过纯右值模型、内联变量等变化修正对象与链接语义，还把文件系统、字符串视图、词汇类型和多态内存资源等长期工程需求纳入标准库。
本专题面向掌握基本 C++ 语法的读者。需要的前置知识在各篇开头给出链接，先完成入门示例，再按需阅读深入规则。
所有标记为 cpp 的示例都由仓库验证器提取，并以 -std=c++17 -Wall -Wextra -pedantic 编译运行。普通示例同时面向 GCC 与 Clang；并行算法示例受本地标准库实现影响，由现有 Ubuntu CI 的 GCC 矩阵分支验证。
学习时不要只记新名字。C++17 中最容易出错的地方往往是边界：结构化绑定是否复制、纯右值与 NRVO 是否属于同一保证、视图是否悬空、并行回调是否允许重排，以及 PMR 资源是否比容器活得更久。
先掌握拆解值、限制变量作用域、区分拥有对象与非拥有视图，以及表达缺失结果。
- if constexpr，需要普通模板与类型萃取
- 折叠表达式
- 模板参数与属性
- 保证的复制消除
- 内联变量与嵌套命名空间
- apply 与 invoke
把“声明更短”与“对象模型改变”分开理解；不把 NRVO 当作必然发生的优化。
并行算法在基础并发之后，PMR 在容器与生命周期之后阅读。完成后进入 C++20。
从仓库根目录运行：
python3 tools/verify_examples.py --compiler clang++ --path docs/cpp17
python3 tools/verify_examples.py --compiler g++ --path docs/cpp17普通示例要求 GCC 与 Clang；请用 --version 确认编译器身份。GCC 专用示例在 Clang 下跳过，属于未验证项。
| 领域 | C++17 主要能力 | 对应专题 |
|---|---|---|
| 控制流 | 结构化绑定、选择语句初始化、if constexpr |
控制流增强 |
| 参数包 | 一元/二元、左/右折叠表达式 | 折叠表达式 |
| 模板推导 | 隐式指引、自定义指引、复制推导候选 | CTAD |
| 模板值与诊断 | auto 非类型模板参数、三项标准属性 |
模板参数与属性 |
| 对象模型 | 延迟实质化、保证场景、NRVO 边界 | 保证的复制消除 |
| ODR 与声明 | 内联变量、内联静态成员、嵌套命名空间 | 内联变量 |
| 只读文本 | 非拥有字符视图、切片、搜索 | string_view |
| 状态建模 | optional、variant、any |
词汇类型 |
| 文件系统 | path、状态查询、遍历与文件操作 |
Filesystem |
| 字符转换 | 无区域设置、无异常的低层数值转换 | Charconv |
| 调用适配 | 统一调用协议、tuple-like 实参展开 | invoke 与 apply |
| 关联容器 | 节点句柄、merge、插入与覆盖接口 |
容器增强 |
| 锁 | 多互斥量 RAII、共享读写互斥量 | 并发增强 |
| 算法 | 执行策略、归约与扫描 | 并行算法 |
| 内存分配 | memory_resource、PMR 容器与资源策略 |
多态内存资源 |
- 泛型 Lambda 属于 C++14；Lambda 显式模板参数列表要到 C++20；
if constexpr属于 C++17，C++20 的 Concepts 才能在声明层直接表达大量模板约束；- CTAD 属于 C++17，聚合类型的推导候选规则在后续标准继续扩展；
[[deprecated]]属于 C++14，[[nodiscard]]、[[maybe_unused]]与[[fallthrough]]属于 C++17；- C++17 保证若干同类型纯右值场景，但具名返回值优化 NRVO 仍不是强制保证；
string_view不拥有字符，C++20 才为字符串和视图补充starts_with、ends_with；optional、variant与any属于 C++17；expected不属于 C++17；shared_timed_mutex属于 C++14，非定时的shared_mutex与scoped_lock属于 C++17；- 执行策略属于 C++17，但不同标准库的实现完整度和运行时后端可能不同；
contains要到 C++20，C++17 关联容器应使用find或count；std::format、Ranges、Coroutines、span与 Modules 都属于 C++20，不应出现在 C++17 示例中。
完成本专题后，应能把 C++14 代码升级到 C++17，并为每项改动回答四个问题：它只减少语法还是改变对象模型；它是否创建或拥有对象；失败与异常怎样传播；跨翻译单元、线程或资源边界时还需满足什么条件。