第二章 语言可用性的强化——变量及其类型初始化

2.2 变量及其类型初始化

if/switch 变量声明强化

​在传统C++中，可以在 for 循环内声明一个临时变量 int，但是始终没有办法再 if 和 switch语句中声明一个临时变量。C++17解除了这一限制，使我们可以在 if/switch 中完成这一操作。

std::vector<int> vec = { 1, 2, 3, 4 };
if (const vector<int>::iterator itr = std::find(vec.begin(), vec.end()), 3; itr != vec.end())
{
 *itr = 4;
}

书上的代码样例不是很好，本来挺简单的一个东西，弄得好像有点复杂。

初始化列表

初始化是一个非常重要的语言特性，最常见的就是在对象进行初始化的时候调用。在传统C++中，不同的对象有不同的初始化方法。普通数组、POD(Plain Old Data，没有构造、析构和虚函数的类或结构体)类型都可以使用 {} 进行初始化，也就是我们所说的初始化列表。而对于类对象的初始化，要么需要通过拷贝构造、要么就需要用 () 。这些方法都有各自针对的对象，不能通用。

C++11首先把初始化列表绑定到了类型上，称之为 std::initializer_list，允许构造函数或其他函数像参数一样使用初始化列表，这就为类对象初始化与普通数组和POD初始化方法提供了统一的桥梁。

class Foo
{
public:
    std::vector<int> vec;
    Foo (std::initializer_list<int> list)
    {
        for (std::initializer_list<int>::iterator itr = list.begin(); it != list.end(); ++it)
        {
            vec.emplace
        }
    }
}

initializer_list<T> 采用迭代器的方式访问，但是这种方式还是有一个缺点，如下代码：

class Student
{
public:
    int age;
    string name;
    Student(int value, string str):age(value), name(str) {}  //可以采用这种方式
}

这样，大部分类型的初始化方式，都可以采用统一的方式，如下代码：

Foo foo = { 1, 2, 3, 4 };
Strdent student = { 18, "Jay" };

现代C++中，通过initializer_list<T> 来实现了初始化的统一。现在，C风格数组、STL容器、自定义对象类型都可以通过统一的方式进行初始化，降低了语言的复杂程度。

结构化绑定

结构化绑定提供了类似其他语言中提供的多返回值的功能。C++增加了 std::tuple 容器用于构造一个元组，进而囊括多个返回值。但是，C++11/14 中并没有提供一种简单的方法直接从元组中拿到定义元组的元素，尽管可以使用 std::tid 对元组进行拆包，但是实际上非常麻烦。

C++17提供了结构化绑定这一特性，代码如下：

tuple<int, double, string> func()
{
    return make_tuple(1, 2, 3, "456");
}

auto [x, y, z] = func();