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

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值