高桥麻奈 C++ 入门教材第 5 版：16 课学习地图

按公开 16 课目录串联开发循环、语言基础、内存、模块、对象与文件证据。

学习目标

能按官方 16 课顺序解释每一阶段的输入、产出和前置依赖，而不是沿用旧的 8 个主题页
能设计并执行“预测、编译、运行、观察、解释、故障实验”的 C++ 学习证据循环
能用四个阶段闸门判断自己是否可以继续，并为变量、边界、生命周期、对象不变量和文件状态留下可复查证据

来源、版次与标准边界

“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”以 SB Creative 出版社书页核定高桥麻奈著、第 5 版、2017 年 6 月 14 日发行、ISBN 978-4-7973-9259-3；出版社页面标 596 页。CiNii Books 书目与 16 课目录记录正文 xxiii+571 页，日本国会图书馆书目记录 571 页。页数口径存在前置页差异，因此本课程不拿页码充当目录证据。

“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”的中文说明、示例、交互、练习和答案均为独立教学重写。公开资料只确认 16 个 Lesson 标题；本页列出的细分概念是课程教学映射，不冒充原书逐级小节。技术规则参考 ISO C++ 标准入口复核，但 2017 年教材的 Visual Studio 2017 语境不会被静默升级为 C++23；现代写法只能明确标为迁移说明。

围绕“16 课怎样从单文件运行闭环逐步扩展到对象生命周期、多态和文件往返？”，本页要求保留“16 课依赖图、每课正式节点、正常与失败轨迹、编译阶段和综合项目验收表。”。若故障“按“语法、面向对象、文件”三大主题粗分，跳过指针、数组和分离编译的中间合同”无法在同一输入下制造首个分岔，应拒绝当前解释，而不是追加随机样例。

为什么全书地图必须服从官方 16 课

高桥麻奈的 C++ 入门教材第 5 版按 16 个 Lesson 从首次编译运行推进到文件输入输出。它不是“基础、OOP、STL”三个模糊主题的合集：表达式与运算符、函数、指针、数组、大规模程序、各种类型、类的连续四课以及文件 I/O 都有独立责任。

旧地图只有第一个程序、变量、控制流、函数、类、继承、模板和 STL，既合并了关键课，也把非官方独立章节当成主线。新路线保留原书核心进阶关系：先证明代码如何变成结果，再证明路径如何执行，接着证明数据如何存在，最后证明对象和持久记录如何保持有效。

正式节点与章专属证据

Lesson 1：迈出第一步：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 1 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 2：C++ 的基本结构：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 2 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 3：变量：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 3 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 4：表达式与运算符：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 4 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 5：按情况处理：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 5 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 6：反复执行：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 6 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 7：函数：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 7 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 8：指针：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 8 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 9：数组：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 9 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 10：构建大型程序：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 10 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 11：各种类型：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 11 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 12：类的基本：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 12 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 13：类的功能：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 13 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 14：新的类：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 14 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 15：类的高级主题：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 15 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。
Lesson 16：文件输入输出：在“高桥麻奈 C++ 入门教材第 5 版：16 课学习地图”中核对输入、状态变化、失败模式和可复现证据；第 16 个节点必须能回到“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。

先用输入合同检查本页正式节点，再在相同初值下逐步比较正常和失败轨迹，最后只启用“按“语法、面向对象、文件”三大主题粗分，跳过指针、数组和分离编译的中间合同”完成反例与复位。三个交互都必须能独立重置，且重置后再次满足“每一课都能指出输入、状态变化、失败模式和可重放证据，并与相邻课程形成前后依赖。”。

输入与状态合同