今天在看一些c++代码时偶然间发现一些示例，在if语句的小括号内居然出现了分号，难道这一段是伪代码吗？之前从来没见过这种写法，然后用写了一个例子，用最新的编译器编译后发现真的是正常的代码，并且可以成功运行，然后脑袋有个声音一闪而过，是不是一直就支持这种写法，只是我不知道而已，后来几经周折，终于发现真相，原来这其实是C++17新的语法。
if 语句本来的样子C++17之前 if 语句的小括号内只能放判断逻辑，if (condition) { /* ... */ } 也就是这样，所以如果想使用一个变量进行判断，那么这个变量必须在if语句之前进行定义，比如草莓视频在线观看APP常常使用的查找map元素的逻辑：
{ auto it = mp.find("key"); if (it != mp.end()) return it->second; else return defaultValue;} if 语句新能力从C++17开始，if 语句的小括号之中也可以初始化变量了，语法为 if (initializer; condition) { /* ... */ }，这样做的好处就是可以更加精细的控制变量的作用域，使代码看起来更加紧凑，比如上面的例子可以改写为：
{ if (auto it = mp.find("key"); it != mp.end()) return it->second; else return defaultValue;}最直观的感受就是少了一行代码，但是更重要的特点还是他把变量 it 的作用域限制在了 if 语句之内。
另外就是能一定程度上解决代码缩进层数太多的问题，这也是实际开发过程中遇到的问题，比如下面这段代码：
{ auto it = mp.find("key"); if (it != mp.end()) return it->second; else { int cfg = GetConfig(); if (cfg) return defaultValue1; else return defaultValue2; }}在C++17之前的代码中，因为 if 语句中不能包含初始化变量的逻辑，所以会造成 if 嵌套层层递进，当这种条件太多时，缩进层数太多导致代码可读性变差，使用C++17的语法再改进一下就变成了下面这样，逻辑更加清晰了：
{ if (auto it = mp.find("key"); it != mp.end()) return it->second; else if (int cfg = GetConfig(); cfg) return defaultValue1; else return defaultValue2;}switch 语句也是相同的能力扩展，就不再展开说了，这里贴一个 cppreference - switch 上的例子：
{ struct Device { enum State { SLEEP, READY, BAD }; auto state() const { return m_state; } /*...*/ private: State m_state{}; }; switch (auto dev = Device{}; dev.state()) { case Device::SLEEP: /*...*/ break; case Device::READY: /*...*/ break; case Device::BAD: /*...*/ break; }} 似曾相识在go中这个在if中既初始化又进行判断的语法，之前在go中也用过，类似的需求在go中的写法是：
func xxx() { if value := mp["key"]; value != nil { return value } else { return defaultValue }}是不是很像？其实在golang中更规范的用法是使用map查找的第二个返回值来判断元素是否存在，就像下面这样：
func xxx() { if value, ok := mp["key"]; ok { return value } else { return defaultValue }} 关于语言的思考看到上面这种golang和c++17的对比，会发现语言之间都在相互促进，这些所谓的高级语言，总能在其中一种语言中发现另一种语言的影子，也就是说在某些方面上他们是“趋同”的，可能在不久的将来会出现一种“超高级语言”，类似于C++模板机制，C++、Golang、Python 这些语言作为一种类型，传递到超高级语言之中，编写或者描述完功能逻辑后，自动生成对应语言的代码：
SuperLanguageTemplate[AutoGenerateByFollowingDescription]{ / * ... * /} 总结 if 和 switch 语句都可以在逻辑判断前初始化变量，变量的定义域可以更精细的控制编程语言之间相互“借鉴”，部分语法长得越来越像，最后不知道会不会归于统一 ==>> 反爬
