C++ 初始化

考虑如下代码：

int main(){
     int x = 1;
     //int y = (1); //无用
     int z = { 1 };
     
     int a;  //没有初始化器，不考虑
     int b(1);
     int c{ 1 };
 }

眼花缭乱的初始化语法。带初始化器的，基本就是：=1   (1)   ={1} 或 {1} 这几种情况。变量名字和初始化器的分隔符是：=  ()  {}这三种

#include <iostream>

class S {
public:
    S(std::initializer_list<int> il) {
        std::cout << "S(std::initializer_list<int> il) called" << std::endl;
    }

    S(int i) {
        std::cout << "S(int i) called" << std::endl;
    }
};

int main(){
    S y = 1;
    S z = { 1 };
    S a(1);
    S b{ 1 };    
}

我们发现，对于用户定义类型，具有{} 初始化器的，优先匹配S(std::initializer_list<int> il)。这给人提了个醒，{}不是那么万能的初始化语法。如果想调用S(int)这个构造函数，还是要老实的用传统的S a(1)语法。

#include <boost/type_index.hpp> 
#include <iostream>

int main()
{
    auto x = (1);
    auto y = 1;
    auto z = { 1 };
    auto a(1);
    auto b{ 1 };

    using boost::typeindex::type_id_with_cvr;

    std::cout << type_id_with_cvr< decltype(x)>().pretty_name() << '\n';
    std::cout << type_id_with_cvr< decltype(y)>().pretty_name() << '\n';
    std::cout << type_id_with_cvr< decltype(z)>().pretty_name() << '\n';
    std::cout << type_id_with_cvr< decltype(a)>().pretty_name() << '\n';
    std::cout << type_id_with_cvr< decltype(b)>().pretty_name() << '\n';
}

auto使用另外的规则，={1} 会推导成std::initializer_list<int>{1}  而{1}会推导成 (int)1

总结：基本类型int：   ={1}    {1}  推导成 (int)1    

           自定义类型：   ={1}    {1}  推导成std::initializer_list<int>{1}      注：前提是自定义类型构造函数有std::initializer_list为参数的构造函数，就像S定义的那样。

           auto的情况：   ={1}     推导成std::initializer_list<int>{1} 

                                     {1}     推导成(int)1

规则还是比较复杂难记的，所以遇到{}初始化器还是小心为妙。

转载于:https://www.cnblogs.com/thomas76/p/8594576.html