《白话C++》第7章 Page352 7.3.2初始化行为 列表式初始化 自动类型识别

列表式初始化：

为了突显格调，写代码时，我总是尽量使用“构造式初始化”。而为了用上“Point pt1(45, 190);”这样的代码，要不厌其烦地为Point结构加上响应的构造函数，像Point这样一个简单的结构，有必要搞一个构造函数吗？
确实，Point这么简单，搞个构造函数好像挺装的，但如果没有构造函数，又不方便初始化它的成员数据。

我们将Point结构剥除所有C++概念下的产物，当前是构造函数，得到一个回归C风格的结构：

struct Point
{
    int x, y;
};

而下面是一个和Point结构一致、使用花括号描述的字面量数据：

{
    90， 120
}

由花括号、数据、逗号组成的“东西”，称为“列表式的字面量”。

C语言允许使用“列表式的字面量”，为对应结构的数据进行初始化，比如：

Point pt{90, 120}; //或Point pt = {90, 120};

编译器会根据数据结构，将列表中的数据对应地作为对象成员的初始值。

本例中，90、120对应用于初始化x、y。甚至可以嵌套：

struct Point
{
    int x, y;
};

struct Line
{
    Point start_point;
    Point end_point;
};

Line对象可以这样初始化：

Line Line = {{0, 0}, {-10, 100}};

花括号中的数据，甚至可以不是字面量：

Point pt1{0, 0};
Line line2 {pt1, {-10, 100}};//pt1不是字面量

这就叫“列表式初始化”。

C++也支持列表式初始化，但对待初始化的目标数据有一些特定要求：

（1）C++内置类型数据都可以使用“列表式初始化”；

（2）struct和class要么没有构造函数，要么有参数正好匹配的构造函数。

先看第一点：以下代码都是合法的：

int a {100 + 1}; //或“int a = {100 + 1};”
char c {'C'}; //或“char c = {'C'};”
bool b {false}; //或“bool b = {false};”

堆数据也可以采用列表式初始化：

int* pa = new int{101};
Point* ppt = new Point {101};

简单，直接，竟隐约有一种霸气。

在说第二点：结构或类如果有构造函数，则参数需与“列表式构造”中花括号内的数据相匹配，比如Point若定义为：

struct Point
{
    Point(int ax, int ay)
    {
        x = ax;
        y = ay;
    }

    int x, y;
};

此时可以如此构造：“Point xy{5, 6};”。如果删除构造入参ay，则对应的“列表式构造”实例只能是：“Point xy{5};”。

自动类型识别

如果用于初始化的字面量就是待定义数据的类型，那么可以显式地指明类型。具体做法是使用“auto”关键字代替类型名称，例如：

auto i = 120; //int
auto c('d');  //char
auto s = "abc";//char const*
auto l(120L); //long
auto d = 1.20; //double
auto f(1.2of); //float

auto也可以用于函数返回值类型

bool is_file_exists(std::string const& file_name);

可以写为：

auto exist = is_file_exists("c:/abc/abc.doc");