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

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍;

也有高质量的技术群，里面有嵌入式、搜广推等BAT大佬

原创文章受到原创版权保护。转载请注明出处：https://www.ccppcoding.com/archives/397562

非原创文章文中已经注明原地址，如有侵权，联系删除

关注公众号【高性能架构探索】，第一时间获取最新文章

转载文章受原作者版权保护。转载请注明原作者出处！

C++ 初始化

相关推荐