Files

T

张宗平 13b3ebbe14 课程代码仓库初始化：Part1 (144) + Part3 (29) 全量生成与验证

把川大 wiki「02.Qt方向」课程代码整理为 CMake 管理的可编译运行项目。

Part1 C/C++ 强化 (p01/, 144 目标, host gcc/g++ 构建, 全绿):
- 修复全部编译失败：补 <cstring>/<fstream>/<iomanip>/<vector> 等缺失头
  (common_fix + infer_stl_includes 自动检测注入)、修正 pause() 壳注入
  (改检测已转换后的 pause 调用)、namespace 提升出函数体、const 成员函数
  正确性、dedupe 不再破坏函数重载集、K&R 隐式 int / 动态异常规范等
  C++17 移除特性的可编译等价改写。
- 目录采用深缩写 p01/ch04/s03/ (原 part1_cpp/ch04_class_object/03_ctor_dtor)。

Part3 Qt 桌面 (p03/, 29 目标, 隔离 Qt 5.14.2 构建, 全绿):
- gen_part3.py: Qt 外壳模板 (main+QApplication+show, QTimer 自动退出便于
  offscreen 验证)、AUTOMOC + .moc include、rewrite_* 处理散文混入/重载/
  资源依赖、生成占位 png/gif + .qrc + rundata 样例数据。
- 修正 QLable 笔误、全角分号、.→->、Windows 路径、QApplication 阻塞事件
  循环改为 QCoreApplication 等。

任务1 概念/版本验证:
- tools/std_probe.py: 跨 -std= 编译探针 (--pedantic-errors 让已废除特性硬失败)。
- tools/demo_versions/: K&R 隐式 int、三目左值、void* 转换、enum 赋整、
  const 经指针、动态异常规范 共 6 个跨版本演示。
- docs/VERSION_NOTES.md: 每条「原文说法→C17/C++17 是否成立→何版本成立→已验证」。

文档: 顶层 README、docs/SOURCE_PAGES.md (页面→目录映射)、
docs/ERRATA.md (Part1 修正)、docs/ERRATA_part3.md (Part3 修正)。
另修复 tools/run.sh / run_qt.sh 的 ${1:?...} 引号语法 bug。

隔离 Qt 验证: ldd 0 系统 Qt 引用; 173/173 目标全绿; p03 offscreen 运行通过。

2026-06-30 14:16:55 +08:00

5.6 KiB

Raw Blame History

VERSION_NOTES — 概念/版本验证记录（任务 1）

本文件记录 wiki 课程代码中「与语言版本相关」的论断：原文说法 → 当前 C17/C++17 是否仍成立 → 不成立则在何版本成立 → 已编译验证的结果。

验证工具：tools/std_probe.py（逐 -std= 编译，报告 pass/fail/warning）。对照演示：tools/demo_versions/（每个论断一个最小可编译片段）。

基线：本仓库按 C17 / C++17 构建所有示例（见顶层 CMakeLists.txt）。验证编译器：宿主机 gcc/g++ 13.3.0（原生支持 C89…C23、C++98…C++23）。

验证方法

# 单片段跨版本探测（pedantic-errors 让已废除特性硬失败，便于对比）
tools/std_probe.py --lang c   --file tools/demo_versions/kr_implicit_int.c \
    --standards c89,c99,c11,c17 --pedantic-errors
tools/std_probe.py --lang c++ --file tools/demo_versions/dynamic_exception_spec.cpp \
    --standards c++11,c++14,c++17,c++20

1. K&R 隐式 int（函数/参数省略类型）

	C89	C99	C11	C17
结果	✅ PASS（仅警告）	❌ FAIL	❌ FAIL	❌ FAIL

原文论断（块 58954439:14「3.4 C++中所有的变量和函数都必须有类型」）： C89 允许 fun1(i){...}（隐式 int 返回 + 隐式 int 参数）。
C17 是否成立：否。C99 起废除隐式 int；C17 下非法（错误）。
在何版本成立：C89（及更早）。
本仓库处理：Part1 该块用 exact_fix 给出 C17 等价的显式类型版本（int fun1(int i)）；原始 C89 形式保留在 tools/demo_versions/kr_implicit_int.c，供跨版本对比。
已编译验证：std_probe 显示 c89 PASS、c99/c11/c17 FAIL（--pedantic-errors）。

2. 三目运算符作为左值

	C89	C99	C17	C++11	C++17
结果	❌ FAIL	❌ FAIL	❌ FAIL	✅ PASS	✅ PASS

原文论断（块 58954439:18「3.8 三目运算符功能增强」）： C 中三目返回右值；C++ 中三目返回两操作数公共类型的引用（可作左值）。
C17/C++17 是否成立：C++ 独有特性，C++17 成立；C（含 C17）不允许。
本仓库处理：该特性为 C/C++ 差异演示，保留在 tools/demo_versions/ternary_lvalue.cpp。
已编译验证：C++ 全版本 PASS；C 全版本 FAIL（lvalue required as left operand）。

3. `char* p = malloc(n)` 不显式转换

	C89	C17	C++17
结果	✅ PASS	✅ PASS	❌ FAIL

原文论断（块 58954439:15）：C 中 void* 隐式转任意指针合法；C++ 必须显式转换。
C17/C++17 是否成立：C 合法，C++ 非法（invalid conversion from void* to char*）。
本仓库处理：保留在 tools/demo_versions/malloc_no_cast.c。
已编译验证：C PASS；C++ FAIL。

4. 枚举变量直接赋整型值

	C17	C++17
结果	✅ PASS	❌ FAIL

原文论断（块 58954439:15 类型严格性对照）： C 中 enum Color c = 1; 合法（int 隐式转 enum）；C++ 需显式转换。
C17/C++17 是否成立：C 合法，C++ 非法（invalid conversion from int to Color）。
本仓库处理：保留在 tools/demo_versions/enum_assign_int.c。
已编译验证：C PASS；C++ FAIL。

5. 经指针改写 const 变量

	C89	C17	C++17
编译	✅ PASS	✅ PASS	✅ PASS

原文论断（块 58954439:21「3.8/C/C++ const 异同」）：通过 (int*)&const_var 强转改写 const 变量，C 多见改写生效，C++ 常因常量折叠仍读出原值。
C17/C++17 是否成立：两者都能编译，但均属未定义行为（UB）；「观察到的值」随编译器优化级别而变，不保证。教学价值在于说明 UB 不可依赖。
本仓库处理：保留在 tools/demo_versions/const_via_pointer.c，注释强调 UB。
已编译验证：C/C++ 均编译通过（行为属 UB，不作为「支持/不支持」结论）。

6. 动态异常规范 `throw(类型...)` / `throw()`

	C++11	C++14	C++17	C++20
结果	⚠️ PASS（弃用警告）	⚠️ PASS（弃用警告）	❌ FAIL	❌ FAIL

原文论断（块 58954474:4「7.2.4 异常接口声明」）：演示 throw(int,char,char*) 与 throw() 异常规范。
C++17 是否成立：否。动态异常规范在 C++11 弃用、C++17 移除，C++17 下是语法错误。 throw() 的等价物是 noexcept；带类型列表的动态规范在现代 C++ 中无法表达。
本仓库处理：Part1 该块用 exact_fix 改写为 noexcept / noexcept(false) 并注释说明；原始动态规范形式保留在 tools/demo_versions/dynamic_exception_spec.cpp（在 -std=c++14 下可编译）。
已编译验证：C++11/14 PASS（弃用警告），C++17/C++20 FAIL。

附：其它「平台相关」修正（非版本概念，记录于此）

system("pause")（多块）：仅 Windows 可用。common_fix 统一改为便携 pause() 壳函数（读一行 stdin 等回车），Linux 可编译运行，行为一致。
Qt 过时 API（Part3，Qt5.14 仍可用，保留并标注）：
- QMouseEvent::x()/y()（Qt6 建议用 position()）；
- QString::sprintf（Qt6 弃用）；
- Qt4 SIGNAL/SLOT 字符串写法（vs Qt5 函数指针）；
- static_cast 重载解析（QOverload<>::of 是 Qt5.7+ 的现代等价）。这些保留原写法以匹配 Qt 5.14 课程环境，相关说明见 docs/ERRATA_part3.md。

5.6 KiB Raw Blame History Unescape Escape