2.2-2.5 变量和类型

2.2 变量

变量是一个具名的、可供程序操作的存储空间。

变量定义可同时多个进行：

int sum = 0, value, units_sold = 0; //同时定义，同时赋值

变量 variable
对象 object ：指一块能存储数据并具有某种类型的内存空间

初始化和赋值是两种不同意义的操作：初始化不是赋值，初始化的含义是创建变量时赋予其一个初始值，而赋值的含义是把对象的当前值擦除，而赋予一个新值来替代。
初始化：当对象在创建时获得了一个特定的值，我们说这个对象被初始化了。用于初始化变量的值可以是任意复杂的表达式。

// 正确：price先被定义并赋值，随后被用于初始化discount
double price = 109.99, discount = price * 0.16;

// 调用函数applyDiscount，然后用函数的返回值初始化salePrice
double salePrice = applyDiscount(price, discount);

变量声明和定义的关系
声明（declaration）：使得名字为程序所知，一个文件如果想使用别人定义的名字则必须包含的对那个名字的声明；
定义（definition）：负责创建与名字关联的实体。
*==不同点：都规定了变量的类型和名字，除此之外，定义还申请存储空间，也可能会为变量赋一个初始值。
变量只能被定义一次，但是可以被多次声明！==*

extern int i; //声明
int j;        //定义
extern double pi = 3.1416 //定义

任何包含了显式初始化的声明就是定义，也就是如果有初始值，那么就变成了定义。

嵌套的作用域

#include <iostream>
int reused = 42; //全局变量
int main)()
{
    int unique = 0;
    std::cout << reused << " " << unique << std::endl;  //输出 42 0
    int reused = 0; // 新建局部变量，覆盖了全局变量
    std::cout << reused << " " << unique << std::endl;  // 输出 0 0

    std::cout << ::reused << " " << unique << std::endl;   // 输出 42 0
    return 0;
}

第三条输出语句中使用全局作用域，::域操作符左侧为空时，默认向全局作用域发出请求，因为全局作用域本身没有名字。因此，第三条输出语句输出使用全局变量reused。

引用

int ival = 1024;
int &refVal = ival; //refVal指向ival，也就是是ival的另一个名字
int &refVal2; // 报错，引用对象必须被初始化

此外，引用只能绑定在对象上，而不能与字面值或某个表达式的结果绑定在一起。

int &refVal4 = 10; //错误
doubel dval = 3.14;
int &refVal5 = dval; // 错误：此处引用类型的初始值必须是int型对象

指针

指针与引用的不同：
1.指针本身就是一个对象，允许对指针赋值和拷贝，而且在指针的生命周期内它可以先后指向几个不同的对象；
2.指针无需在定义时赋值 ，在块作用域内若没有被初始化，将拥有一个不确定的值。

获取对象的地址
指针存放某个对象的地址，要想获取该地址，需要使用取地址符。

double dval;
double *pd = &dval; // 先将pd定义为一个指向int的指针，随后初始化pd使其指向名为dval的double对象。其初始值为double型对象的地址
double *pd2 = pd; //初始值是 指向double型对象的指针

int *pi = pd; //错误，指针类型和pd的类型不匹配
pi = &dval; // 错误，试图把double型对象的地址赋给int型指针

指针的类型一定要和指向对象的类型匹配。

利用指针访问对象
操作符* 解引用符

int ival = 42;
int *p = &ival; //p中存放的是ival的地址，p是指向变量ival的指针
cout << *p; //输出 42，由符号*得到p指向的对象。
*p = 0;
cout << *p; //输出0

对解引用的对象赋值，实际上就是给指针所指的对象赋值。

void*指针　
void *p = &obj; // 无需关心obj是什么类型的对象

对常量的引用

const int ci = 1024;
const int &r1 = ci; //正确：引用及其对应的对象都是const形式

r1 = 42; //错误。 r1的值无法改变
int &r2 = ci; // 错误，无法用非常量引用去指向常量对象。

顶层const指指针本身就是个常量
底层const指指针所指的对象是个常量
执行对象的拷贝操作时，顶层const不受影响，而底层const，对象必须具有相同的底层const资格。

2.4.4 节练习

int null = 0, *p = null;这句代码是否合法？
不合法。
指针并不能直接等于一个整型变量。
*p = &null ;

---

2.5 处理类型

dectype 类型指示符

：用于选择并返回操作数的数据类型。不实际计算表示式的值。
decltype(f()) sum = x; //sum的类型就是函数f的返回类型
编译器并不实际调用f，而是使用假设f被调用时返回值的类型作为sumde类型。


const int ci = 0, &cj == ci;
decltype(ci) x = 0; //x的类型就是const int
decltype(cj) y = x; //y的类型是ocnst int&，当使用的表达式是一个变量时，返回该变量的类型（包括顶层const和引用在内）