C++17嘗鮮：在 if 和 switch 語句中進行初始化

初始化語句

在C++17中，類似於 for 語句，在 if 和 switch 語句的判斷條件之前也能加上初始化語句，語法形式如下：

if (初始化語句; 條件) 語句 else 語句
switch (初始化語句; 條件) 語句

這里的初始化語句是可選的，它可以是初始化表達式，也可以是變量聲明。

// if (初始化語句; 條件) 語句 else 語句
// 相當於：
{
    初始化語句;
    if (條件) 語句 else 語句
}
// switch (初始化語句; 條件) 語句
// 相當於：
{
    初始化語句;
    switch (條件) 語句
}

示例

#include <iostream>
#include <set>
using namespace std;

int main()
{
    set<string> myset;
    if (auto [iter, success] = myset.insert("Hello"); success) 
       cout << *iter << endl; // Hello
}

示例代碼在 if 語句中使用結構化綁定聲明了兩個變量 iter 以及 success，然后把 success 作為條件進行判斷。

變量聲明

這是一個相對簡單的新特性，需要注意的是如果 if 和 switch 語句中的初始化語句是一個變量聲明，那么所聲明的變量的作用域僅限於該語句以及其附屬語句的范圍。

#include <iostream>
using namespace std;

int f() {return 1;}
int g() {return 2;}
int main()
{
    if (int a = f(); a != 1) {
        // 代碼塊A
        cout << a << endl;
    } else if (int b = g(); b != 2) {
        // 代碼塊B
        a += b;
        cout << a << endl;
    } else {
        // 代碼塊C
        a -= b;
        cout << a << endl;
    }

    switch(int c = f(); c) {
    case 1:
    case 2:
        cout << c << endl;
        break;
    default:
        cout << c + 1 << endl;
        break;
    }
}

// -1
// 1

變量 a 的作用域為它所聲明的 if 語句及其附屬的 else 語句，包括后者所附屬的 if 語句，所以它的作用域涵蓋代碼塊 A, B, 以及C。
變量 b 的作用域為它所聲明的 if 語句及其附屬的 else 語句，所以它的作用域涵蓋代碼塊 B 和 C。
變量 c 的作用域為它所聲明的 switch 語句。