C++变量的初始化，默认初始化,值初始化的区别等(作为初学的临时理解)

William-Adolphe Bouguereau

读C++primer有一些强迫症，里面一些杂乱的知识点不理清楚总觉得不好

于是总结了C++primer和网上的一些文章，在g++上做过一些测试，临时的写下了这些笔记

初学C++，很多地方都是猜测，是为了方便自己理解

发出来希望有高手可以指出错误，救我于歧途，或者加以补充

本意不是作为教程，只是个人总结，而且本人较懒，以前的源码找不到也懒得写了，所以本文高清无码

1.初始化方式的区别

---

直接初始化——拷贝初始化 （容易区分，只在下面列表做个分类）

默认初始化——值初始化 （重点谈）

符号	类型	说明
no	不初始化	（本质上都是默认初始化）
=	拷贝初始化	（元素必须相同）
()	直接初始化	（根据构造函数的不同）
={} / {}	直接初始化	（给元素初始化）

字面值和对象名可以通用，只要是同一类型 （string不是同一类型也可以，但加法有问题）

值初始化 :有显式初始化（即只要存在上述后三种，包括括号或列表元素过少） + 全局/静态内置类型
默认初始化 :无显式初始化（不包括括号或列表元素过少） - 全局/静态内置类型

内置类型的全局静态一定会值初始化，就算啥也没写。

执行类的默认构造函数，属于默认初始化。

2.内置类型

---

无显式初始化

• 静态或全局：执行值初始化

• 块内：未初始化（默认初始化）

猜测
内置类型的默认初始化就是地址上原先的值；所以全局、静态、列表元素过少等情况，其实执行的是值初始化；为了某种现实原因，全局、静态、列表元素过少，自动执行值初始化；空的 {} / ={} / () 属于值初始化；

有显式初始化

通通属于值初始化

1.有字面值或对象时

符号	说明
=x	可以
(x)	可以
={x} / {x}	可能报错，信息丢失风险

2.字面值或对象为空时

符号	说明
=	非法
()	new数组 、 普通内置等可以执行值初始化 ，一般数组不可以
={} / {}	数组、一般情况等可以执行值初始化，参考列表成员过少，执行值初始化

3.标准库类

---

1.有字面值或对象时

符号	说明
=x	只能是同一类型的字面值或对象
(x)	取决于构造函数 ； 容器往往可以批量赋值，如（n，‘a’）
={x} / {x}	填入同一类型 ； 容器往往可以批量赋值，如 {n，‘a’} ,不懂实现，可能是运算符重载

2.字面值或对象时为空

符号	说明
=	非法
()	不确定，取决于库函数的代码怎么写的
={} / {}	参考列表成员过少，执行值初始化，实际调用的是默认构造函数，同默认初始化

4.初学者自定义的简单类

---

1.有字面值或对象时

符号	说明
=x	只能是同一类型的字面值或对象
(x)	构造函数决定
={x} / {x}	只能是同一类型的字面值或对象

2.字面值或对象为空

符号	说明
=	非法
()	非法
={} / {}	参考列表成员过少，执行值初始化，实际调用默认构造函数，同默认初始化

总结性记(wu)忆(jie)

---

1. 除开静态内置安全方便起见，什么都不写就执行默认初始化

   只不过内置类型默认初始化就是不初始化，直接用地址上的原有数据，效率高

   类还有个默认构造函数，效率低。

2. 有 = 和（）和 {} 这些符号。只要你这个类型支持，就属于值初始化。关键是有一些不支持它为空！

   那属于什么？属于ERROR！错误！

3. =不谈，两边必须是一种东西，对于容器或内置数组，右边写它的一个元素，如，int a[10]=2或者vector v1="yeats"，肯定错

4. ( )的话。用在类上空就错！因为不写才是默认构造！内置类型和有些标准库可以为空，不知道是什么骚操作。运算符重载好像。

5. {} 列表好理解。就列表里面填它的同类或者元素。是个数，里面就填数，是个数组，里面依然填数。用列表只是为了方便一堆一样的类型， 一起给你填进去。

---

6. 列表元素只有一个？甚至就只有个括号？没关系 ，用了列表就是一条龙服务，剩下空着的都给你尽量填上 ， 归类上属于值初始化

   为什么归类成值初始化？因为要负责，必须得让剩下的有个值。人家花括号都摆那了。

7. 依然是空或者不够的列表。类的话。默认初始化本来就有个数（默认构造函数），你都有括号了，那就算作值初始化吧，好歹人家也有个值。

   内置类型的话。按静态或者全局的规矩来，给你值初始化一个数。

8. 用空的（）想要执行默认构造函数是不对的，内置类型和有些库函数可以用空的（）得到一个基础值并且不报错，是因为编译器语法或者重载运算符自己考虑到这方面，有相应处理。

---

9. 经常提到（xxx）要取决与构造函数，这样说可能有些模糊，举几个例子

   对于内置类型，C++自己有自己的一套规定，单个变量，就按常理用。数组没法用，new数组可以用，可能和指针有关，不知道

   类的话不同的类不一样，也即所谓构造函数不一样,比方说

   string str1(“yeats”)是对的，string str2('y')是错的！ 当然，可以写一个构造函数，形参是char，字符传进去再把它弄成字符串，但很多时候没这样

---

10. 为什么 vector v1("yeats")是错误的，而 vector v2{"yeats"}正确？

vector是个模板，类模板还没学到，暂时将其理解为待确定类型的数组。就像数组不能int a[10](7)一样，（）更多的是对你定义的这 个对象，整体进行操作。{}才是主要面向有很多单一元素的容器或内置数组中的元素，它把你的对象看作很多个小对象的组合，关注很多个小对象。如果你的变量没有这种特性，那这个变量就是光杆司令，自己既是长官（对象）也是士兵（元素）。

---

• 空： 什么情况都可以，算你定义了，默认初始化，方式不同而已
• () ： 构造函数 或 重载运算符 （ 前者不可以空，后者可以）
• {} ： 正常同类 或 重载运算符 （随便空）
• = ： 正常拷贝初始化

12. 如果你和我一样是初学者，请敲码测试！
    我的g++不知道为什么，动态局部内置类型，也有初值，int是0
    如有错误或疏漏，感谢友情告知