【C++11】左值、右值、将亡值

值类别

C++表达式的两个独立的属性：类型、值类别；

值类别分为：左值、纯右值、将亡值；

 

有名字的将亡值->左值；没名字-->右值

左值

能用&取地址的表达式；

例如：int a；可以&a，所以a是左值；

所有具名对象都是左值。

纯右值

存粹的字面值，不能&

例如：NULL，false，10，4.21

纯右值都是没名字的，只可读不可写

将亡值

产生的临时量或临时对象，（如：函数调用时产生的临时空间）

若将亡值没有名字——右值；

若将亡值为内置类型（int、char、double、float、...）——纯右值。

例子：

int b=0;
b++ = 10;
/*表达式错误的原因：
先对b进行一次拷贝产生临时量（将亡值），将得到的副本作为返回结果，然后对这个将亡值+1，
由于该将亡值不具名，所以为右值，又因为它是int类型，所以为纯右值
因为纯右值只能读不能改写，所以是错误的
*/

将亡值在调用者的栈帧空间中，其数据由CPU数据寄存器存储。

int fun(int x)
{
	int a = x + 10;
	return a;
}
int main()
{
	int a = 10, b = 20;
	int c = 0;
	c = fun(a);
	cout << c << endl;

	return 0;
}

栈帧

每一个函数都会被分配一个栈帧；

当程序结束，栈帧被还给系统（程序应不再使用）；

当返回引用（临时变量的引用）时会出现以下情况

int* fun()
{
	int a = 10;
	return &a;
}

int main()
{
	int* p = fun();
	cout <<"*p:"<< *p << endl;
}

值是随机： 

 

所以： 不要返回局部变量的引用和指针

（除非函数活得久：全局变量，static变量，）

引用进的可以引用出/或函数不释放指针空间
局部释放，该指针为失效指针

类类型

类类型是程序员自己设计的类型，不是内置类型（产生的将亡值可写）

类：是抽象出来的新数据类型

任何一个对象只能被构建一次，不能自己调用自己的构造函数。
析构函数没有重载 -- 只有一种死法。

类类型空间是当它被调用时系统才分配的空间，有空间不一定有对象，有对象一定有空间；
空间的来源：1.malloc或new，2.函数被调用，系统分配空间

匿名对象：将亡值，只在表达式中生存，表达式结束，他也析构；

class A
{
    int m;
public:
    A(int x):m(x){}
    A& operator(const A&it)
    {
        if(this==&it)return *this;//防止this给自己赋值
        m = it.m;
        return *this;
    }

}
int main()
{
    A a;//具名对象
    A(20);//匿名对象--将亡值
    a = A(10);
}

不论全局变量在哪个位置，都比主函数先执行,进入主函数前全局量都被创建；

以下程序输出：1 3 2 析构2 析构3 析构1
所以全局--称为数据，局部量--称为变量

class A
{
public:
	A(int value) :a(value) { cout << value << endl; }
	~A() { cout << "析构" << a << endl; }
	int a;
};

A a(1);
int main()
{
	A b(2);
}
A c(3);