C++：列表初始化

{}初始化

在C++98中，标准允许使用花括号{}对数组或者结构体元素进行统一的列表初始值设定。比如：

struct Point
{
    int _x;
    int _y;
};

int main()
{
    // 数组初始化
    int array1[] = { 1, 2, 3, 4, 5 };
    int array2[5] = { 0 };
    
    // 结构体初始化
    Point p = { 1, 2 };
    
    return 0;
}

C++11扩大了用大括号括起的列表(初始化列表)的使用范围，使其可用于所有的内置类型和用户自定义的类型，使用初始化列表时，可添加等号(=)，也可不添加。

C++11这一标准旨在实现：一切皆可用{}初始化，且可以不写=。

struct Point
{
    int _x;
    int _y;
};

int main()
{
    // 内置类型使用{}初始化
    int x1 = 1;
    // 可以省略=
    int x2{ 2 };
    
    // 原来的数组初始化也可以省略=
    int array1[]{ 1, 2, 3, 4, 5 };
    int array2[5]{ 0 };
    
    // 自定义类型初始化
    Point p{ 1, 2 };
    
    // 列表初始化也可以适用于new表达式中
    int* pa = new int[4]{ 0 };
    
    return 0;
}

创建对象时也可以使用列表初始化方式调用构造函数初始化

class Date
{
public:
    Date(int year, int month, int day)
        :_year(year)
        ,_month(month)
        ,_day(day)
    {
        cout << "Date(int year, int month, int day)" << endl;
    }
    
private:
    int _year;
    int _month;
    int _day;
};

int main()
{
    Date d1(2022, 1, 1); // old style
    
    // C++11支持的列表初始化，这里会调用构造函数初始化
    Date d2{ 2022, 1, 2 };
    Date d3 = { 2022, 1, 3 };
    
    return 0;
}

C++中， 一个参数的构造函数(或者除了第一个参数外其余参数都有默认值的多参构造函数)， 承担了两个角色。

1 是个构造；2 是个默认且隐含的类型转换操作符。

explicit关键字修饰构造函数可以防止隐式类型转换，如果我们给上述Date类的构造函数用explicit修饰，d3的构造就会报错：

class Date
{
public:
    explicit Date(int year, int month, int day)
        :_year(year)
        ,_month(month)
        ,_day(day)
    {
        cout << "Date(int year, int month, int day)" << endl;
    }
    
private:
    int _year;
    int _month;
    int _day;
};

int main()
{
    Date d1(2022, 1, 1); // old style
    
    // C++11支持的列表初始化，这里会调用构造函数初始化
    Date d2{ 2022, 1, 2 };
    
    // 编译报错，因为这里的初始化是隐式类型转换
    // Date d3 = { 2022, 1, 3 };
    
    return 0;
}

std::initializer_list

initializer_list是C++11中的一个新的类模板，在之前介绍STL容器的构造函数时稍有提及。

initializer_list的实例化要使用{}，可以认为：{}和其内容构成一个initializer_list。

int main()
{
	auto li = { 1,2,3,4,5 };
	cout << typeid(li).name() << endl;

	return 0;
}

输出：

class std::initializer_list<int>

所以我们上面所说的使用{}初始化，本质上就是使用列表初始化，即initializer_list来初始化。

那么STL中的容器是如何做到支持这一特性的呢？

C++11之后，STL的容器都增加了以初始化列表为形参的构造函数和赋值重载。

我们还可以使用多层初始化，比如：

int main()
{
    vector<int> v = { 1, 2, 3 };
    list<int> lt = { 1, 2, 3 };
    
    // 这里{"sort", "排序"}会先初始化构造一个pair对象
    map<string, string> =  { {"sort", "排序"}, {"insert", "插入"} };
    
    // 使用{}对容器赋值
    v = { 4, 5, 6, 7, 8 };
    
    return 0;
}

如果我们想要让之前模拟实现的vecor也支持{}初始化和赋值，只需增加对应的构造函数和赋值重载即可：

namespace xxm
{
    template<class T>
    class vector {
    public:
        typedef T* iterator;

        vector(initializer_list<T> l)
        {
            _start = new T[l.size()];
            _finish = _start + l.size();
            _endofstorage = _start + l.size();
            iterator vit = _start;
            typename initializer_list<T>::iterator lit = l.begin();
            while (lit != l.end())
            {
                *vit++ = *lit++;
            }
            //for (auto e : l)
            //    *vit++ = e;
        }

        vector<T>& operator=(initializer_list<T> l) {
            vector<T> tmp(l);
            std::swap(_start, tmp._start);
            std::swap(_finish, tmp._finish);
            std::swap(_endofstorage, tmp._endofstorage);
            return *this;
        }

    private:
        iterator _start;
        iterator _finish;
        iterator _endofstorage;
    };
}

auto

C++11标准中新增了auto关键字，可以自动推导类型。

其最多应用在迭代器类型推导中。

int main()
{
    int i = 10;
    auto p = &i;
    auto pf = strcpy;
    
    cout << typeid(p).name() << endl;
    cout << typeid(pf).name() << endl;
    
    map<string, string> dict = { {"sort", "排序"}, {"insert", "插入"} };
    //map<string, string>::iterator it = dict.begin();
    auto it = dict.begin();
    
    return 0;
}

decltype

关键字decltype将变量的类型声明为表达式指定的类型。

// decltype的一些使用使用场景
template<class T1, class T2>
void F(T1 t1, T2 t2)
{
    decltype(t1 * t2) ret;
    cout << typeid(ret).name() << endl;
}

int main()
{
    const int x = 1;
    double y = 2.2;
    
    decltype(x * y) ret; // ret的类型是double
    decltype(&x) p;      
    // p的类型是int*
    cout << typeid(ret).name() << endl;
    cout << typeid(p).name() << endl;
    
    F(1, 'a');
    
    return 0;
}

nullptr

由于C++中NULL被定义成字面量0，这样就可能回带来一些问题，因为0既能指针常量，又能表示 整形常量。所以出于清晰和安全的角度考虑，C++11中新增了nullptr，用于表示空指针。

#ifndef NULL
#ifdef __cplusplus
#define NULL    0
#else
#define NULL    ((void *)0)
#endif
#endif