早在2016-03-14，Thomas K?ppe 就提出了在if和switch使用初始化語句，使用時(shí)的代碼示例如下：

if (int s = check(); s != 0) {
return s;
}

在上面的代碼中，初始化語句是int s = check()。s的生命周期是整個(gè)if語句，這里也包含else語句。

1 帶初始化的if語句

if初始化語句中定義的變量在整個(gè)if語句范圍內(nèi)都是生效的。包括else if和else語句。例如：

std::ofstream getLogStrm(){
    std::ofstream file3("c:\x.123");
    return file3;
};
std::map coll;
int main()
{
   if (std::ofstream strm = getLogStrm(); coll.empty()) {
        strm << "
";
        }
        else {
        for (const auto& elem : coll) {
            strm << elem.first << '
';
        }
????}
    return 0;
}

如上，if語句中的strm的生命周期在執(zhí)行完if語句后就被析構(gòu)了。在來看下面這段代碼。這段代碼來源于https://wg21.link/p0305r0。如下：

if (std::lock_guard lk(mx_); v.empty()) {
    v.push_back(kInitialValue);
}

上面的這段代碼轉(zhuǎn)換成舊式代碼如下：

std::lock_guard lk(mx_)
if(v.empty(){
  v.push_back(kInitialValue);
}

可以看出，兩段代碼幾乎沒有什么區(qū)別，唯一的差別可能是lock_guard定義的位置不一樣。

同樣，為了讓lock_guard有效，就需要給它定義一個(gè)變量。如果沒有定義變量那么它在創(chuàng)建后就會(huì)立即被銷毀。如下：

if(std::lock_guard{mx_};
  v.empty()) //鎖已經(jīng)被銷毀
  {
    v.push_back(kInitialValue);
}

上面的代碼中，鎖被定義后就立即被銷毀，在執(zhí)行后面的語句時(shí)實(shí)際上是沒有加鎖的。

同樣，在if初始化語句中也可以初始化多個(gè)變量，如：

if (int x = qqq1(), int y = qqq2(); x != y) {
    std::cout << "return values " << x << " and " << y << "differ
";
}

最后，還可以在if語句中對(duì)map進(jìn)行插入操作，并對(duì)插入結(jié)果進(jìn)行檢查，代碼如下：

int main()
{
   std::map mymap;
   mymap.insert ({'a',100});
   if(auto [pos,ok] = mymap.insert({'a',100});!ok){
       auto [key,var] = *pos;
       std::cout << "already there: " << key << '
';
   }
  return 0;
}

2 帶初始化的switch語句

在switch語句中使用初始化語句和if中相似，如下代碼，可以在switch中獲取一個(gè)實(shí)例，然后根據(jù)實(shí)例的狀態(tài)做不同的處理。代碼如下：

switch (Foo x = make_foo(); x.status()) {
  default: /* ... */
  case Foo: /* ... */
  case Foo: /* ... */
  case Foo: /* ... */
}