C++ 变量和基本类型

2. 变量和基本类型

2.1 基本内置类型

C++的基本数据类型包括算术类型和空类型。
算术类型分为两类：整型（包括字符和布尔类型在内）和浮点型。
字符型：char
宽字符：wchar_t
Unicode字符：char16_t, char32_t
布尔型：bool
整型：int, short, long, long long
浮点型：float, double, long double
除去布尔型和扩展的字符型外，其他整型可以划分为带符号的和无符号的两种。

如果表达式中既有带符号类型又有无符号类型，当带符号类型取值为负时会出现异常结果，这是因为带符号数会自动地转换成无符号数。

2.2 变量

变量定义的基本形式是：首先是类型说明符，随后紧跟由一个或多个变量名组成的列表，其中变量名以逗号分隔，最后以分号结束。

初始化不是赋值，初始化的含义是创建变量时赋予其一个初始值，而赋值的含义是把对象的当前值擦除，以一个新值来代替。

声明与定义

声明使得名字为程序所知，一个文件如果想使用别处定义的名字则必须包含对那个名字的声明。
定义负责创建与名字关联的实体。

1. 变量声明：规定了变量的类型和名字。
2. 变量定义：除了规定变量的类型和名字外，定义还为变量分配内存空间，同时可以选择指定初始值。变量有且仅有一个定义，但可以被多次声明。
3. 定义也是声明：当定义变量时我们声明了它的类型和名字。

如果想声明一个变量而非定义它，就在变量名前添加关键字extern，而且不要显式地初始化变量：

extern int i; // 声明i而非定义i
int j; // 声明并定义j
extern double pi = 3.1416; // 定义，任何显式地初始化的声明即成为定义

2.3 复合类型

引用和指针

引用并非对象，它只是为一个已经存在的对象所起的另一个名字。一般在初始化变量时，初始值会被拷贝到新建的对象中。然而定义引用时，程序把引用和它的初始值绑定到一起，而不是将初始值拷贝给引用。一旦初始化完成，引用将和它的初始值对象一直绑定在一起。因为无法令引用重新绑定到另一个对象，因此引用必须初始化。

引用只能绑定在对象上，不能与字面值或某个表达式的计算结果绑定到一起。引用的类型都要和与之绑定的对象严格匹配（除例外情况）

int &refVal = 10; // 错误：引用类型的初始值必须为一个对象
double dval = 3.14;
int &refVal1 = dval; // 错误：引用类型的初始值必须是int型对象

指针本身就是一个对象，允许对指针赋值和拷贝，而且在指针的生命周期内它可以指向几个不同的对象；指针无需在定义时赋初值。

在创建指针时，计算机将分配用来存储地址的内存，但不会分配用来存储指针所指向的数据的内存。一定要在对指针应用解除引用运算符（*）之前，将指针初始化为一个确定的、适当的地址。建议初始化所有的指针，并且在尽可能的情况下等定义了对象之后再定义指向它的指针。

// &和*的多重含义
int i = 42;
int &r = i;   // &紧跟随类型名出现，因此是声明的一部分，r是一个引用
int *p;       // *紧跟随类型名出现，因此是声明的一部分，p是一个指针
p = &i;       // &出现在表达式中，是一个取地址符
*p = i;       // *出现在表达式中，是一个解引用符
int &r2 = *p; // &是声明的一部分，*是一个解引用符

// 指针引用的声明多个变量的定义方式
int *p1, *p2 // 1.将修饰符和变量标识符写在一起

int* p1;
int* p2;     // 2.将修饰符与类型名写在一起，并且每条语句只定义一个变量

指针从本质上讲就是存放变量地址的一个变量，在逻辑上是独立的，它可以被改变，包括其所指向的地址的改变和其指向的地址中所存放的数据的改变。

而引用是一个别名，它在逻辑上不是独立的，它的存在具有依附性，所以引用必须在一开始就被初始化，而且其引用的对象在其整个生命周期中是不能被改变的（自始至终只能依附于同一个变量）。

参数传递：

指针传递参数本质上是值传递的方式，它所传递的是一个地址值。值传递过程中，被调函数的形式参数作为被调函数的局部变量处理，即在栈中开辟了内存空间以存放由主调函数放进来的实参的值，从而成为了实参的一个副本。值传递的特点是被调函数对形式参数的任何操作都是作为局部变量进行，不会影响主调函数的实参变量的值。

而在引用传递过程中， 被调函数的形式参数虽然也作为局部变量在栈中开辟了内存空间，但是这时存放的是由主调函数放进来的实参变量的地址。被调函数对形参的任何操作都被处理成间接寻址，即通过栈中存放的地址访问主调函数中的实参变量。正因为如此，被调函数对形参做的任何操作都影响了主调函数中的实参变量。

引用传递和指针传递是不同的，虽然它们都是在被调函数栈空间上的一个局部变量，但是任何对于引用参数的处理都会通过一个间接寻址的方式操作到主调函数中的相关变量。而对于指针传递的参数，如果改变被调函数中的指针地址，它将影响不到主调函数的相关变量。如果想通过指针参数传递来改变主调函数中的相关变量，那就得使用指向指针的指针，或者指针引用。

编译角度的区别：

程序在编译时分别将指针和引用添加到符号表上，符号表上记录的是变量名及变量所对应地址。指针变量在符号表上对应的地址值为指针变量的地址值，而引用在符号表上对应的地址值为引用对象的地址值。符号表生成后就不会再改，因此指针可以改变其指向的对象（指针变量中的值可以改），而引用对象则不能修改。

最后，总结一下指针和引用的相同点和不同点：

• 相同点：都是地址的概念；指针指向一块内存，它的内容是所指内存的地址；而引用则是某块内存的别名。

• 不同点：

   1. 指针是一个实体对象，而引用仅是个别名；
   2. 引用只能在定义时被初始化一次，之后不可变；指针可变；
   3. 引用没有const，指针有const，const的指针不可变；
   4. 引用不能为空，指针可以为空；
   5. “sizeof 引用”得到的是所指向的变量(对象)的大小，而“sizeof 指针”得到的是指针本身的大小；
   6. 指针和引用的自增(++)运算意义不一样；
   7. 引用是类型安全的，而指针不是 (引用比指针多了类型检查）