if (auto it m.find(k); it ! m.end())是 C17 之后出现频率极高的一行代码它解决的不是「少写一行」而是「it到底该活多久」。这篇把 C17 的 if / switch 初始化语句init-statement拆开讲重点落在变量的作用域与生存期这件事上因为这才是它相对于旧写法真正的收益。1. 引子一个只用一次的迭代器凭什么活到函数结束查找容器里有没有某个 key旧写法长这样// 片段无 main不进校验旧写法把 it 声明到外层#includemap#includestringvoidtouch_old(std::mapstd::string,intm){std::mapstd::string,int::iterator itm.find(bob);if(it!m.end()){it-second1;}// 到这里 it 依然可见、依然可解引用 —— 但它可能已经等于 m.end()// 继续写 it-second 编译器不会拦运行时直接是未定义行为。}it的使命只有一件事在下一行跟m.end()比一次。可它的名字却一直活到函数结束多出来的每一行都是误用的机会。想把它关起来C17 之前只能额外加一对花括号// 片段无 main不进校验C17 之前的手工收窄voidtouch_old_braced(std::mapstd::string,intm){{std::mapstd::string,int::iterator itm.find(bob);if(it!m.end()){it-second1;}}// 靠这层显式的 { } 把 it 困住 —— 但多了一层缩进意图也不明显}C17 的 init-statement 把这对花括号「内置」进了语句本身// 片段无 main不进校验C17 写法作用域由 if 本身界定voidtouch_new(std::mapstd::string,intm){if(autoitm.find(bob);it!m.end()){it-second1;}// it 在这里已经销毁越界使用直接编译错误}三行代码意图完全一致但新写法里it的生存期恰好等于它被需要的区间——不多一行不少一行。这就是这条特性的全部价值剩下的都是细节。官方文档if statement含 init-statement 一节— cppreference2. 语法与作用域init-statement 到底覆盖哪几行语法形式是if ( init-statement condition )分号之前是初始化语句分号之后是条件。初始化语句里声明的名字作用域覆盖条件表达式和整个if / else语句含else分支。switch同理写作switch ( init-statement condition )。作用域与生存期对比同一段逻辑两种写法 C17 之前变量活到代码块结束 C17 起变量活到 if 语句结束 ────────────────────────────────── ────────────────────────────────── { { auto it m.find(k); - 出生 if (auto it m.find(k); if (it ! m.end()) { it ! m.end()) { - 出生 use(it); use(it); } } // it 仍可见、仍可解引用 ✗ // it 已销毁 ✓ use(it); // 编译器不拦 use(it); // 编译错误 } } it 的可见区间 it 的可见区间 ████████████████████████ ██████████ └── 覆盖整个 {} ──────────┘ └ if ──┘ 关键差别每多一行「变量还活着」的代码就多一次误用的机会。作用域收窄带来的收益可以拆成三条维度C17 之前手工收窄 / 放任泄漏C17 的 init-statement变量可见范围整个函数或{}块靠显式花括号只有if/else语句内误用风险可跨分支解引用失效迭代器静默 UB越界使用编译错误名字复用同一函数内两个查找要起it1/it2每个if自带作用域都叫it书写成本需要多一层花括号 多一层缩进与普通if完全同形返回结果的判断auto v f(); if (v.ok())v泄漏if (auto v f(); v.ok())一行搞定可读性「判断」与「取值」被拆成两行读者要自己连线取值与判断同屏可见意图自洽官方文档switch statement — cppreference3. 最实用的场景容器查找map::find是 init-statement 最典型的用武之地返回迭代器、只跟end()比一次、命中后立即取值用完即弃。下面这段是完整可运行版本注意同一个名字it在三个if里重复出现// if_init_find.cpp — 编译: g -stdc17 -Wall -O2 if_init_find.cpp -o find#includecstdio#includemap#includestringintmain(){conststd::mapstd::string,intages{{alice,30},{bob,25}};if(autoitages.find(bob);it!ages.end()){std::printf(找到 bob年龄 %d\n,it-second);}if(autoitages.find(carol);itages.end()){std::printf(carol 不在表里\n);}// 同一个名字 it 可以重复用 —— 每个 if 自带独立作用域for(conststd::stringkey:{alice,carol}){if(autoitages.find(key);it!ages.end()){std::printf(%s - %d\n,key.c_str(),it-second);}else{std::printf(%s - 未找到\n,key.c_str());}}}找到 bob年龄 25 carol 不在表里 alice - 30 carol - 未找到第三个if里it在else分支中依然有定义只是逻辑上知道它等于end()——作用域覆盖整个if / else这一点常被误记成「只在 then 分支里有效」。从性能角度看这条特性是零成本的init-statement 只是给了编译器一个更小的符号作用域生成的机器码与旧写法完全一致it本来就是一个栈上的指针。它买到的是编译期的错误拦截不是运行期的加速——但它也确实能挡掉一类真实的线上事故用已经失效的迭代器去-second。4. switch 的初始化语句switch的初始化语句最常见的用途是把「算出来的值」和「判断」绑在一起典型是解析字符串得到枚举再分发// if_init_switch.cpp — 编译: g -stdc17 -Wall -O2 if_init_switch.cpp -o sw#includecstdio#includestringenumclassCmd{kStart,kStop,kUnknown};Cmdparse(conststd::strings){if(sstart)returnCmd::kStart;if(sstop)returnCmd::kStop;returnCmd::kUnknown;}intmain(){for(conststd::strings:{start,stop,hup}){// C17解析结果 c 的作用域就是整个 switch含所有 caseswitch(constCmd cparse(s);c){caseCmd::kStart:std::printf(%-6s - 启动\n,s.c_str());break;caseCmd::kStop:std::printf(%-6s - 停止\n,s.c_str());break;default:std::printf(%-6s - 不认识\n,s.c_str());break;}}}start - 启动 stop - 停止 hup - 不认识没有 init-statement 的年代Cmd c parse(s);只能写在外面和switch之间隔着的那一段就成了「可以插别的东西」的缝隙。现在c的出生地紧贴switch读者不需要向上搜索就知道它从哪来。官方文档enum classscoped enumeration— cppreference5. 和if constexpr组合C17 两个特性一起用init-statement 与if constexprC17 的另一个编译期分支特性是同一年进标准的两件事叠起来用会得到一个很干净的结构外层在编译期决定走哪条路内层在运行时把这条路上的中间值收进自己作用域。// if_init_constexpr.cpp — 编译: g -stdc17 -Wall -O2 if_init_constexpr.cpp -o ice#includecstdio#includetype_traits#includevectortemplateclassTvoiddescribe(constTv){ifconstexpr(std::is_integral_vT){// 编译期选定这一支后这个 n 只在这条路径上存在if(constautonstatic_castlonglong(v);n0){std::printf(负数整型 %lld\n,n);}else{std::printf(非负整型 %lld\n,n);}}else{if(constautosv.size();s0){std::printf(空容器\n);}else{std::printf(容器大小 %zu\n,s);}}}intmain(){describe(-3);describe(7);describe(std::vectorint{1,2,3});describe(std::vectorint{});}负数整型 -3 非负整型 7 容器大小 3 空容器注意else分支里的v.size()describeint那次实例化会整个丢弃这一支所以给int调.size()这件事根本不会进类型检查——if constexpr的「丢弃分支不实例化」和 init-statement 的「作用域收窄」在这里互不干扰各干各的事。官方文档if statementconstexpr if 一节 — cppreference6. 配合卫语句guard clause风格卫语句的思路是「不满足条件就立刻返回别把主逻辑埋进层层缩进」。init-statement 正好是卫语句的天然搭档——把取到的中间值直接喂给卫语句的条件// 片段无 main不进校验两种卫语句写法对比#includeoptional#includestring#includevectorstructConn{std::string host;intport{};};std::optionalConnparse_addr(conststd::strings);// ✗ 旧写法v 泄漏到函数作用域后面任何一个 auto 名字冲突都要回来改这里std::stringconnect_old(conststd::strings){autovparse_addr(s);if(!v)return地址非法;returnv-host:std::to_string(v-port);}// ✓ C17v 的作用域就是这条卫语句函数体后半段完全干净std::stringconnect_new(conststd::strings){if(constautovparse_addr(s);!v)return地址非法;// 注意走到这里 v 已经出了作用域要取值得在 if 内部处理returnok;}这里有个必须点明的坑作用域收窄是双刃剑。卫语句if (init; !ok) return;之后init里声明的变量就不可用了——因为控制流往下走时它已经离开了作用域。所以下面的写法是错的// 片段无 main不进校验反例不要这么写#includeoptional#includestringstd::optionalstd::stringlookup(conststd::string);std::stringbad_guard(conststd::stringkey){if(constautohitlookup(key);!hit)return缺省值;return*hit;// 反例不要这么写hit 出了 if 作用域编译错误// error: hit was not declared in this scope}正确做法有两条要么把lookup的结果提到if之外此时变量本来就该活得久一点要么把「用值」的逻辑放进if的 then 分支。判断标准很简单这个变量在if之后还要不要用。要用就别塞进 init-statement。7. 边界条件部分仍然是bool无论初始化语句里声明的是什么类型条件部分都要能按语境转换成bool。语法里没有「把条件声明成变量」这回事那是while的写法所以if (init; cond)里的cond永远是一个表达式只是它允许explicit operator bool——这让「只在布尔语境里成立」的类型天然适合当条件// 片段无 main不进校验explicit operator bool 的类型直接当条件#includeoptional#includestringstd::optionalintparse(conststd::string);voiddemo(conststd::strings){if(constautovparse(s);v){// std::optional 的 explicit operator bool// v 是「有值」的}// 反过来把 optional 直接拿去算术 / 比较是不行的 —— explicit 就是要拦这个// if (parse(s) 1) { } // 反例不要这么写optionalint 与 int 没有 }另外两个常见误解值得顺手澄清init-statement 在同一个if里只能声明变量不能放for那种a 1; b 2;的多语句形式那只有for的 init 允许以及 init-statement 声明的名字不能在条件里被再次声明if (int x 1; int x 2)直接报重复定义。哪些语句支持 init-statement速查如下语句init-statement引入版本备注for支持C98三种形式声明 / 表达式 / 空是其他语句的模板if支持C17if (init; cond)条件必须是表达式switch支持C17switch (init; cond)名字覆盖所有case范围for支持C20需要 C20写法与if同形while/do-while不支持—只能靠外层花括号或for(;;)绕if constexpr支持C17与if同一条语法规则C20 把范围for也补齐了这对「即将升 C20」的项目很实用// verify: stdc20// if_init_for.cpp — 编译: g -stdc20 -Wall -O2 if_init_for.cpp -o rf#includecstdio#includeiterator#includemap#includestringintmain(){conststd::mapstd::string,intages{{alice,30},{bob,25}};// C20init-statement 里算好的 limit 在循环体内可见且不泄漏到循环外for(constautolimitstd::size(ages);constauto[name,age]:ages){std::printf(%s 年龄 %d共 %zu 人\n,name.c_str(),age,limit);}}alice 年龄 30共 2 人 bob 年龄 25共 2 人需要 C20本文其余示例按 C17 编译这一段用了 C20 的范围for初始化语句编译命令必须写-stdc20。官方文档range-based for loop — cppreference8. 完整示例一个配置查询小工具把前面的要点串起来——map::find收窄迭代器、std::optional直接当条件、switch 分发、卫语句提前返回// if_init_full.cpp — 编译: g -stdc17 -Wall -O2 if_init_full.cpp -o full#includecstdio#includemap#includeoptional#includestringnamespace{structLimits{intmax_conn{};inttimeout_ms{};};conststd::mapstd::string,LimitskProfiles{{small,{4,500}},{medium,{32,2000}},{large,{256,5000}},};std::optionalLimitslookup(conststd::stringname){if(autoitkProfiles.find(name);it!kProfiles.end()){returnit-second;// it 出了这个 if 就销毁值安全地拷出来}returnstd::nullopt;}// 卫语句不满足就立刻返回主逻辑不被缩进淹没boolaccept(constLimitslim,intwant){if(want0)returnfalse;returnlim.max_connwant;}}// namespaceintmain(){constexprintkWanted8;for(conststd::stringname:{small,large,huge}){// optional 直接当条件lim 的作用域关在这条 if 里if(constautolimlookup(name);lim){std::printf(%-6s: max_conn%d timeout%dms\n,name.c_str(),lim-max_conn,lim-timeout_ms);std::printf( 申请 %d 条连接 - %s\n,kWanted,accept(*lim,kWanted)?允许:拒绝);if(constintleftlim-max_conn-kWanted;accept(*lim,kWanted)left0){std::printf( 还剩 %d 条余量\n,left);}}else{std::printf(%-6s: 没有这个 profile\n,name.c_str());}}}small : max_conn4 timeout500ms 申请 8 条连接 - 拒绝 large : max_conn256 timeout5000ms 申请 8 条连接 - 允许 还剩 248 条余量 huge : 没有这个 profile这个程序里所有为判断而生的变量都只有一个语句的寿命it、lim、left各自在出生的那行旁边就指定了死亡位置。整个程序没有裸new/delete对象声明即初始化能const/constexpr的地方都加了kWanted、kProfiles、lookup的返回值符合 Core Guidelines 的 ES.20总是初始化与 ES.22不要声明了变量却留到之后再赋值。9. 延伸阅读if statementinit-statement 与 constexpr if — cppreference —— 语法规则原文尤其是「名字在哪些子语句里可见」switch statement — cppreference —— 初始化语句与case作用域的准确边界range-based for loop — cppreference —— C20 给范围for补的 init-statementC Core Guidelines: ES.20 / ES.22 / ES.23 —— 「总是初始化、就近声明、优先{}」的原始出处P0305R1: Selection statements with initializer — open-std.org —— 这条特性当年的提案动机一节写得比教程清楚10. 一句话总结if (init; cond)与switch (init; cond)的价值不在少写一行而在把「为判断而生的变量」的生存期压到恰好等于它被需要的区间作用域一收跨分支误用失效迭代器这类静默 UB 就直接变成编译错误同一个名字也能在多个if里重复使用。它和if constexpr在 C17 同年落地是最实用的一对组合代价是变量出了if就没了所以「后面还要用」的值不要塞进去——判断标准只有一条这个值在if之后还需不需要。
if / switch 初始化语句：C++17 把变量作用域关进笼子
if (auto it m.find(k); it ! m.end())是 C17 之后出现频率极高的一行代码它解决的不是「少写一行」而是「it到底该活多久」。这篇把 C17 的 if / switch 初始化语句init-statement拆开讲重点落在变量的作用域与生存期这件事上因为这才是它相对于旧写法真正的收益。1. 引子一个只用一次的迭代器凭什么活到函数结束查找容器里有没有某个 key旧写法长这样// 片段无 main不进校验旧写法把 it 声明到外层#includemap#includestringvoidtouch_old(std::mapstd::string,intm){std::mapstd::string,int::iterator itm.find(bob);if(it!m.end()){it-second1;}// 到这里 it 依然可见、依然可解引用 —— 但它可能已经等于 m.end()// 继续写 it-second 编译器不会拦运行时直接是未定义行为。}it的使命只有一件事在下一行跟m.end()比一次。可它的名字却一直活到函数结束多出来的每一行都是误用的机会。想把它关起来C17 之前只能额外加一对花括号// 片段无 main不进校验C17 之前的手工收窄voidtouch_old_braced(std::mapstd::string,intm){{std::mapstd::string,int::iterator itm.find(bob);if(it!m.end()){it-second1;}}// 靠这层显式的 { } 把 it 困住 —— 但多了一层缩进意图也不明显}C17 的 init-statement 把这对花括号「内置」进了语句本身// 片段无 main不进校验C17 写法作用域由 if 本身界定voidtouch_new(std::mapstd::string,intm){if(autoitm.find(bob);it!m.end()){it-second1;}// it 在这里已经销毁越界使用直接编译错误}三行代码意图完全一致但新写法里it的生存期恰好等于它被需要的区间——不多一行不少一行。这就是这条特性的全部价值剩下的都是细节。官方文档if statement含 init-statement 一节— cppreference2. 语法与作用域init-statement 到底覆盖哪几行语法形式是if ( init-statement condition )分号之前是初始化语句分号之后是条件。初始化语句里声明的名字作用域覆盖条件表达式和整个if / else语句含else分支。switch同理写作switch ( init-statement condition )。作用域与生存期对比同一段逻辑两种写法 C17 之前变量活到代码块结束 C17 起变量活到 if 语句结束 ────────────────────────────────── ────────────────────────────────── { { auto it m.find(k); - 出生 if (auto it m.find(k); if (it ! m.end()) { it ! m.end()) { - 出生 use(it); use(it); } } // it 仍可见、仍可解引用 ✗ // it 已销毁 ✓ use(it); // 编译器不拦 use(it); // 编译错误 } } it 的可见区间 it 的可见区间 ████████████████████████ ██████████ └── 覆盖整个 {} ──────────┘ └ if ──┘ 关键差别每多一行「变量还活着」的代码就多一次误用的机会。作用域收窄带来的收益可以拆成三条维度C17 之前手工收窄 / 放任泄漏C17 的 init-statement变量可见范围整个函数或{}块靠显式花括号只有if/else语句内误用风险可跨分支解引用失效迭代器静默 UB越界使用编译错误名字复用同一函数内两个查找要起it1/it2每个if自带作用域都叫it书写成本需要多一层花括号 多一层缩进与普通if完全同形返回结果的判断auto v f(); if (v.ok())v泄漏if (auto v f(); v.ok())一行搞定可读性「判断」与「取值」被拆成两行读者要自己连线取值与判断同屏可见意图自洽官方文档switch statement — cppreference3. 最实用的场景容器查找map::find是 init-statement 最典型的用武之地返回迭代器、只跟end()比一次、命中后立即取值用完即弃。下面这段是完整可运行版本注意同一个名字it在三个if里重复出现// if_init_find.cpp — 编译: g -stdc17 -Wall -O2 if_init_find.cpp -o find#includecstdio#includemap#includestringintmain(){conststd::mapstd::string,intages{{alice,30},{bob,25}};if(autoitages.find(bob);it!ages.end()){std::printf(找到 bob年龄 %d\n,it-second);}if(autoitages.find(carol);itages.end()){std::printf(carol 不在表里\n);}// 同一个名字 it 可以重复用 —— 每个 if 自带独立作用域for(conststd::stringkey:{alice,carol}){if(autoitages.find(key);it!ages.end()){std::printf(%s - %d\n,key.c_str(),it-second);}else{std::printf(%s - 未找到\n,key.c_str());}}}找到 bob年龄 25 carol 不在表里 alice - 30 carol - 未找到第三个if里it在else分支中依然有定义只是逻辑上知道它等于end()——作用域覆盖整个if / else这一点常被误记成「只在 then 分支里有效」。从性能角度看这条特性是零成本的init-statement 只是给了编译器一个更小的符号作用域生成的机器码与旧写法完全一致it本来就是一个栈上的指针。它买到的是编译期的错误拦截不是运行期的加速——但它也确实能挡掉一类真实的线上事故用已经失效的迭代器去-second。4. switch 的初始化语句switch的初始化语句最常见的用途是把「算出来的值」和「判断」绑在一起典型是解析字符串得到枚举再分发// if_init_switch.cpp — 编译: g -stdc17 -Wall -O2 if_init_switch.cpp -o sw#includecstdio#includestringenumclassCmd{kStart,kStop,kUnknown};Cmdparse(conststd::strings){if(sstart)returnCmd::kStart;if(sstop)returnCmd::kStop;returnCmd::kUnknown;}intmain(){for(conststd::strings:{start,stop,hup}){// C17解析结果 c 的作用域就是整个 switch含所有 caseswitch(constCmd cparse(s);c){caseCmd::kStart:std::printf(%-6s - 启动\n,s.c_str());break;caseCmd::kStop:std::printf(%-6s - 停止\n,s.c_str());break;default:std::printf(%-6s - 不认识\n,s.c_str());break;}}}start - 启动 stop - 停止 hup - 不认识没有 init-statement 的年代Cmd c parse(s);只能写在外面和switch之间隔着的那一段就成了「可以插别的东西」的缝隙。现在c的出生地紧贴switch读者不需要向上搜索就知道它从哪来。官方文档enum classscoped enumeration— cppreference5. 和if constexpr组合C17 两个特性一起用init-statement 与if constexprC17 的另一个编译期分支特性是同一年进标准的两件事叠起来用会得到一个很干净的结构外层在编译期决定走哪条路内层在运行时把这条路上的中间值收进自己作用域。// if_init_constexpr.cpp — 编译: g -stdc17 -Wall -O2 if_init_constexpr.cpp -o ice#includecstdio#includetype_traits#includevectortemplateclassTvoiddescribe(constTv){ifconstexpr(std::is_integral_vT){// 编译期选定这一支后这个 n 只在这条路径上存在if(constautonstatic_castlonglong(v);n0){std::printf(负数整型 %lld\n,n);}else{std::printf(非负整型 %lld\n,n);}}else{if(constautosv.size();s0){std::printf(空容器\n);}else{std::printf(容器大小 %zu\n,s);}}}intmain(){describe(-3);describe(7);describe(std::vectorint{1,2,3});describe(std::vectorint{});}负数整型 -3 非负整型 7 容器大小 3 空容器注意else分支里的v.size()describeint那次实例化会整个丢弃这一支所以给int调.size()这件事根本不会进类型检查——if constexpr的「丢弃分支不实例化」和 init-statement 的「作用域收窄」在这里互不干扰各干各的事。官方文档if statementconstexpr if 一节 — cppreference6. 配合卫语句guard clause风格卫语句的思路是「不满足条件就立刻返回别把主逻辑埋进层层缩进」。init-statement 正好是卫语句的天然搭档——把取到的中间值直接喂给卫语句的条件// 片段无 main不进校验两种卫语句写法对比#includeoptional#includestring#includevectorstructConn{std::string host;intport{};};std::optionalConnparse_addr(conststd::strings);// ✗ 旧写法v 泄漏到函数作用域后面任何一个 auto 名字冲突都要回来改这里std::stringconnect_old(conststd::strings){autovparse_addr(s);if(!v)return地址非法;returnv-host:std::to_string(v-port);}// ✓ C17v 的作用域就是这条卫语句函数体后半段完全干净std::stringconnect_new(conststd::strings){if(constautovparse_addr(s);!v)return地址非法;// 注意走到这里 v 已经出了作用域要取值得在 if 内部处理returnok;}这里有个必须点明的坑作用域收窄是双刃剑。卫语句if (init; !ok) return;之后init里声明的变量就不可用了——因为控制流往下走时它已经离开了作用域。所以下面的写法是错的// 片段无 main不进校验反例不要这么写#includeoptional#includestringstd::optionalstd::stringlookup(conststd::string);std::stringbad_guard(conststd::stringkey){if(constautohitlookup(key);!hit)return缺省值;return*hit;// 反例不要这么写hit 出了 if 作用域编译错误// error: hit was not declared in this scope}正确做法有两条要么把lookup的结果提到if之外此时变量本来就该活得久一点要么把「用值」的逻辑放进if的 then 分支。判断标准很简单这个变量在if之后还要不要用。要用就别塞进 init-statement。7. 边界条件部分仍然是bool无论初始化语句里声明的是什么类型条件部分都要能按语境转换成bool。语法里没有「把条件声明成变量」这回事那是while的写法所以if (init; cond)里的cond永远是一个表达式只是它允许explicit operator bool——这让「只在布尔语境里成立」的类型天然适合当条件// 片段无 main不进校验explicit operator bool 的类型直接当条件#includeoptional#includestringstd::optionalintparse(conststd::string);voiddemo(conststd::strings){if(constautovparse(s);v){// std::optional 的 explicit operator bool// v 是「有值」的}// 反过来把 optional 直接拿去算术 / 比较是不行的 —— explicit 就是要拦这个// if (parse(s) 1) { } // 反例不要这么写optionalint 与 int 没有 }另外两个常见误解值得顺手澄清init-statement 在同一个if里只能声明变量不能放for那种a 1; b 2;的多语句形式那只有for的 init 允许以及 init-statement 声明的名字不能在条件里被再次声明if (int x 1; int x 2)直接报重复定义。哪些语句支持 init-statement速查如下语句init-statement引入版本备注for支持C98三种形式声明 / 表达式 / 空是其他语句的模板if支持C17if (init; cond)条件必须是表达式switch支持C17switch (init; cond)名字覆盖所有case范围for支持C20需要 C20写法与if同形while/do-while不支持—只能靠外层花括号或for(;;)绕if constexpr支持C17与if同一条语法规则C20 把范围for也补齐了这对「即将升 C20」的项目很实用// verify: stdc20// if_init_for.cpp — 编译: g -stdc20 -Wall -O2 if_init_for.cpp -o rf#includecstdio#includeiterator#includemap#includestringintmain(){conststd::mapstd::string,intages{{alice,30},{bob,25}};// C20init-statement 里算好的 limit 在循环体内可见且不泄漏到循环外for(constautolimitstd::size(ages);constauto[name,age]:ages){std::printf(%s 年龄 %d共 %zu 人\n,name.c_str(),age,limit);}}alice 年龄 30共 2 人 bob 年龄 25共 2 人需要 C20本文其余示例按 C17 编译这一段用了 C20 的范围for初始化语句编译命令必须写-stdc20。官方文档range-based for loop — cppreference8. 完整示例一个配置查询小工具把前面的要点串起来——map::find收窄迭代器、std::optional直接当条件、switch 分发、卫语句提前返回// if_init_full.cpp — 编译: g -stdc17 -Wall -O2 if_init_full.cpp -o full#includecstdio#includemap#includeoptional#includestringnamespace{structLimits{intmax_conn{};inttimeout_ms{};};conststd::mapstd::string,LimitskProfiles{{small,{4,500}},{medium,{32,2000}},{large,{256,5000}},};std::optionalLimitslookup(conststd::stringname){if(autoitkProfiles.find(name);it!kProfiles.end()){returnit-second;// it 出了这个 if 就销毁值安全地拷出来}returnstd::nullopt;}// 卫语句不满足就立刻返回主逻辑不被缩进淹没boolaccept(constLimitslim,intwant){if(want0)returnfalse;returnlim.max_connwant;}}// namespaceintmain(){constexprintkWanted8;for(conststd::stringname:{small,large,huge}){// optional 直接当条件lim 的作用域关在这条 if 里if(constautolimlookup(name);lim){std::printf(%-6s: max_conn%d timeout%dms\n,name.c_str(),lim-max_conn,lim-timeout_ms);std::printf( 申请 %d 条连接 - %s\n,kWanted,accept(*lim,kWanted)?允许:拒绝);if(constintleftlim-max_conn-kWanted;accept(*lim,kWanted)left0){std::printf( 还剩 %d 条余量\n,left);}}else{std::printf(%-6s: 没有这个 profile\n,name.c_str());}}}small : max_conn4 timeout500ms 申请 8 条连接 - 拒绝 large : max_conn256 timeout5000ms 申请 8 条连接 - 允许 还剩 248 条余量 huge : 没有这个 profile这个程序里所有为判断而生的变量都只有一个语句的寿命it、lim、left各自在出生的那行旁边就指定了死亡位置。整个程序没有裸new/delete对象声明即初始化能const/constexpr的地方都加了kWanted、kProfiles、lookup的返回值符合 Core Guidelines 的 ES.20总是初始化与 ES.22不要声明了变量却留到之后再赋值。9. 延伸阅读if statementinit-statement 与 constexpr if — cppreference —— 语法规则原文尤其是「名字在哪些子语句里可见」switch statement — cppreference —— 初始化语句与case作用域的准确边界range-based for loop — cppreference —— C20 给范围for补的 init-statementC Core Guidelines: ES.20 / ES.22 / ES.23 —— 「总是初始化、就近声明、优先{}」的原始出处P0305R1: Selection statements with initializer — open-std.org —— 这条特性当年的提案动机一节写得比教程清楚10. 一句话总结if (init; cond)与switch (init; cond)的价值不在少写一行而在把「为判断而生的变量」的生存期压到恰好等于它被需要的区间作用域一收跨分支误用失效迭代器这类静默 UB 就直接变成编译错误同一个名字也能在多个if里重复使用。它和if constexpr在 C17 同年落地是最实用的一对组合代价是变量出了if就没了所以「后面还要用」的值不要塞进去——判断标准只有一条这个值在if之后还需不需要。
