重载选择、返回路径与回调实验室
编译器的候选表
设置调用，观察每个候选的转换等级。重载决议必须找到唯一最佳匹配。
小挑战：哪个调用必然歧义？
让每条控制路径有明确终点
为 int classify(int x) 的三个条件分支选择行为，再用输入追踪实际路径。
小挑战：哪种路径无需带值 return，却能合法终止？
Predicate 插槽
using Predicate = bool (*)(int); 只接收“一个 int → 一个 bool”的函数地址。
不兼容签名在赋值阶段被拒绝；空指针则必须在调用前检查。