C++对c的拓展之, 引用和const关键字
bool类型关键字
C++中的布尔类型
C++在C语言的基本类型系统之上增加了bool
C++中的bool可取的值只有true和false
理论上bool只占用一个字节，
如果多个bool变量定义在一起，可能会各占一个bit，这取决于编译器的实现
true代表真值，编译器内部用1来表示
false代表非真值，编译器内部用0来表示
#include <iostream> using namespace std; int main() { bool b1 = true; // 告诉c++编译器给我分配一个字节内存 cout << sizeof(b1) << endl; // bool 只有真或者假(0或非0) true或false b1 = 10; cout << b1 << endl; // 还是为1 return 0; } 结果: 1 1
三目运算符
三目运算符在C语言中是右值，右值不可以被赋值。但在C++中，三目运算符是左值，左值可以赋值。
左值和右值：
左值：可以放在赋值操作符左边的是左值，左值为Lvalue，L代表location，表示内存可以寻址，可以赋值。
右值：右值为Rvalue，R代表read，不可以被赋值。
#include <iostream> using namespace std; int main() { int a = 10; int b = 20; // a > b ? a : b = 100; // 在c++中三目运算可以当左值, 思考在c语言中如何实现的 // 实现方式: *(a > b ? &a : &b) = 100; a > b ? a : b = 100; cout << a << " " << b << endl; return 0; }
三目运算符在c语言中如何实现当左值
#include <stdio.h> int main() { int a = 10; int b = 20; *(a > b ? &a: &b) = 100; printf("a = %d, b = %d ", a, b); return 0; }
// 结果
a = 10, b = 100
可以看出,c++编译器帮我们做了一个&
const关键字
const int a = 10; int const b = 20;
这两种写法是等价的，都是表示变量的值不能被改变，需要注意的是，用const修饰变量时，一定要给变量初始化，否则之后就不能再进行赋值了，而且编译器也不允许不赋初值的写法
const int a; int const b; // a和b都是不可以修改的 const int *c; // 常量指针, c是本身可以修改, 但是他指向的值不可以修改 int * const d; // 指针常量: d这个指针本身是一个常量不可以修改,但是他指向的值可以修改 const int * const e ;// 指针e本身和他指向的值都不可以修改
#include <iostream> using namespace std; int main() { const int a = 1; int const b = 2; //这两个一样 int i = 0; int *const p1 = &i; // 不能改变p1的值，这是一个顶层const const int ci = 42; // 不允许改变ci的值，这是一个顶层const const int *p2 = &ci; // 不允许改变p2的值，这是一个底层const const int *const p3 = p2; // 靠右的const是顶层const，靠左的是底层const const int &r = ci; // 用于声明引用的const 都是底层const // const int *const e // 顶层const：表示指针本身是个常量 // 底层const：表示指针所指对象是一个常量 // c语言中const是个“冒牌货”，下面的代码在c文件下可以修改t的值 // c++中const是一个真正的常量 // 造成这样原因是：c++编译器对const进行了拓展 const int t = 10; int *p = NULL; p = (int*)&t; *p = 20; cout << t; // 还是10 // 但是*p是20 }
Const好处
//合理的利用const，
//1指针做函数参数，可以有效的提高代码可读性，减少bug；
//2清楚的分清参数的输入和输出特性
int setTeacher_err( const Teacher *p) p这个指针指向的值不可以被修改
Const修改形参的时候，在利用形参不能修改指针所向的内存空间
const 编译时进行分配内存
c和c++中const
结论： C语言中的const变量 C语言中const变量是只读变量，有自己的存储空间 C++中的const常量 可能分配存储空间,也可能不分配存储空间 当const常量为全局，并且需要在其它文件中使用 当使用&操作符取const常量的地址
const 和define
对比加深 C++中的const常量类似于宏定义 const int c = 5; ≈ #define c 5 C++中的const常量与宏定义不同 const常量是由编译器处理的，提供类型检查和作用域检查 宏定义由预处理器处理，单纯的文本替换
#include <iostream> using namespace std; void fun1() { #define a 10 const int b = 20; //#undef a # undef } void fun2() { printf("a = %d\n", a); //printf("b = %d\n", b); } int main() { fun1(); fun2(); cout << a << endl; return 0; }
总结
C语言中的const变量
C语言中const变量是只读变量，有自己的存储空间
C++中的const常量
可能分配存储空间,也可能不分配存储空间
当const常量为全局，并且需要在其它文件中使用，会分配存储空间
当使用&操作符，取const常量的地址时，会分配存储空间
当const int &a = 10; const修饰引用时，也会分配存储空间
const和define 详细介绍参考博客, 写的比较全
https://www.cnblogs.com/33debug/p/7199857.html
引用
为什么要有引用:
在c语言中传递参数的方式有值传递,址传递,如果想保存的参数的修改,就用址传递,如果不想保存就用值传递
但是很多时候址传递太危险了,易出现内存方面的各种问题,所以就有了引用
什么是引用:
变量名实质上是一段连续存储空间的别名，是一个标号(门牌号)
引用可以看作一个已定义变量的别名
引用的语法：Type& name = var;
引用（reference）不是新定义一个变量， 而是给已存在的对象取了 一个别名 ，引用类型，引用另外一种类型。 编译器不会为引用对象新开辟内存空间， 它和它引用的对象共用同一块内存空间 。
一般在初始化变量时，初始值会被拷贝到新建的对象中。在定义引用时程序把引用和他的初始值绑定在一起，而不是将初始值拷贝给引用。
一旦初始化完成引用就将和他的初始对象一直绑定在一块（同生共死）。你无法将引用重新绑定到另外一个对象上。
可以通过引用来修改变量的值
int num = 110; int &number = num; //number指向num（是num的另外一个名字）
void swap (int& left, int& right) { int temp = left; left = right; right = temp; }
引用的定义方式:
（1）允许在一条语句中定义多个引用，其中每个引用标识符都必须以&开头；
（2）因为无法将引用重新绑定到另外一个对象上，因此引用必须初始化。
（3）因为引用本身不是一一个对象，所以不能定义引用的引用。
（4）一个变量可以有多个引用，而一个引用只能给一个变量对象 。
（5）引用的类型要和与之绑定的对象严格匹配（不严谨）。
（6）引用只能绑定在对象上而不能和字面值或某个表达式计算的过程绑定在一起。
int i1 = 10, i2 = 20 ; //i1和i2都是int型 int &r1 = i1, &r2 = i2; //r1和r2都是引用 int &r3 ; //报错：引用必须初始化 int &r4 = i1, &r5 = i2; //r1, r4同为i1的引用，r2, r5同为i2的引用 int &r4 = i2, &r5 = i1; //报错：r4不能同时分别为i1和i2的引用 int &r6 = 10; //报错：引用类型的初始值必须是一个对象 double i3 = 3.14; int &r7 = i3; //报错：此处引用类型的初始值必须是int型对象
引用的本质
引用和其所引用的变量是同一个地址证明
#include <iostream> using namespace std; // 1第一点，单独定义引用时，必须初始化，说明像一个常量 int main() { int a = 10; int &b = a; // b很像一个常量 // 地址相同说明，a，b均是同一块内存的门牌号 cout << "&a=" << &a << "\n&b=" << &b << endl; return 0; }
#include <iostream> using namespace std; void modifyA(int &a) { a = 100; } // A函数的内部就是执行的A2 void modifyA2(int* const a) { *a = 10; } //3 引用的本质,c++编译器帮我们进行取地址 int main() { int a = 10; modifyA(a); // 执行这个函数时 程序员不需要进行取地址 cout << "a :" << a << endl; modifyA2(&a);// 如果是指针需要手动取地址 cout << "a2 :" << a << endl; return 0; }
#include <iostream> using namespace std; // 普通引用有自己的空间吗？ 有 struct Teacher { char name[64]; // 64 int age; // 4 int &a; // 4 很像指针，所占空间大小 double &b; // 4 }; int main() { cout <<"sizeof(Teacher)=" << sizeof(Teacher)<< endl; return 0; }
函数返回值为引用
当函数返回值为引用时
若返回栈变量 (临时对象,变量)
不能成为其它引用的初始值
不能作为左值使用
若返回静态变量或全局变量
可以成为其他引用的初始值
即可作为右值使用，也可作为左值使用
C++链式编程中，经常用到引用，运算符重载专题
注意 临时对象不能返回引用或者指针
当临时对象离开其作用域后,他的内存就释放了
#include <iostream> using namespace std; // 返回a的本身，返回a的副本 int getA1() { int a; a = 10; return a; } // 临时变量不能用返回其引用或者指针 // 因为当函数结束时,该变量就被释放了 // 所以getA2 和 A3是错误的 // 当是一个类的对象时,更要注意 int& getA2() { int a; // 如果返回的是一个栈上的引用（局部变量），可能会有问题 a = 10; return a; } int* getA3() { // 若返回栈变量，不能其他引用的初始值 int a; a = 20; return &a; } int main() { int a1 = getA1(); int a2 = getA2(); // int &a22 = getA2(); // 不同的编译器，结果可能不同（乱码）意味着可能会有bug cout << "a1=" << a1 << endl; cout << "\ta2=" << a2 << endl; return 0; } //不要在返回指向局部变量或者临时对象的引用。函数执行完毕之后，局部变量和临时对象将消失，引用将指向不存在的数据。
参考:
我们发现，在C++中，有些成员函数返回的是对象，而有些函数返回的又是引用。 返回对象和返回引用的最主要的区别就是函数原型和函数头。 Car run(const Car &) //返回对象 Car & run(const Car &) //返回引用 返回对象会涉及到生成返回对象的副本，这事调用函数的程序可以使用的副本，因此，返回对象的时间成本包括了调用复制构造函数来生成副本所需的时间和调用析构函数删除副本所需的时间。返回引用可以节省时间和内存。直接返回对象与按值传递对象类似，他们都生成临时副本。同样，返回引用与按引用传递对象类似，调用和被调用的函数对同一个对象进行操作。 并不是总是可以返回引用的，当函数不能返回在函数中创建的临时对象的引用，因为当函数结束时，临时对象将消失，因此这种引用是非法的，在这种情况下，应返回对象，以生成一个调用程序可以使用的副本。
RMB& RMB::operator++() { yuan++; return *this; } RMB RMB::operator++(int) { RMB temp(yuan); //创建对象 yuan++; return temp; //返回对象的副本 }
通用的规则是，如果函数返回在函数中创建的临时对象，则不要使用引用，如果先创建一个对象，然后返回改对象的副本，则可以使用返回对象，如上述第二种情况。
如果函数返回的是通过引用或指针传递给它的对象，则应当按引用返回对象。当按引用返回调用函数的对象或作为参数传递给函数的对象。如上面的第一种情况。
二:
返回值是静态变量
#include <iostream> using namespace std; // 变量是static 或者是全局变量 int j1() { static int a = 10; cout << &a << endl; a++; return a; } int& j2() { static int a = 10; cout << &a << endl; a++; return a; } // 若返回静态变量或全局变量 // 可以成为其他引用的初始值 // 即可作为左值，也可以作为右值使用 int main() { int a1 = j1(); int a11 = j1(); int a2 = j2(); int &a3 = j2(); // 因为是静态变量所以a3会是12 cout << "a1=" << a1 << "\ta11=" << a11<<endl; cout << "a2=" << a2 << "\ta3=" << a3 << endl; return 0; }
结果:
0x55ac0a859058 0x55ac0a859058 0x55ac0a85905c 0x55ac0a85905c a1=11 a11=12 a2=11 a3=12
#include <iostream> using namespace std; // 函数当左值 // 返回变量的值 int g1() { static int a = 10; a++; return a; } // 返回变量本身（地址） int& g2() { static int a = 10; a++; cout << "a = " << a << endl; return a; } int main() { // g1() = 100; // 就是 11 = 100所以错误 g2() = 100; // 函数返回值是一个引用，并且当左值,a = 100 g2(); // 101 int c = g2(); // 当右值 102 return 0; }
当返回值是一个非基础类型,如一个类
就要涉及到拷贝赋值,运算符重载,还可能涉及深浅拷贝
静态变量使用方法:
https://www.cnblogs.com/33debug/p/7223869.html
常引用
const 引用
#include <iostream> #include <cstdlib> using namespace std; // 常引用的知识架构 int main() { // 普通引用 int a = 10; int &b = a; cout << " b= " << b << endl; // 常引用 int x = 20; const int &y = x; // 常引用，让变量拥有只读属性,不能通过y来修改x // y++; 报错 cout << " y = " << y << endl; // 常引用 初始化 分为两种情况 // 1> 用变量初始化 常引用 { int x1 = 30; const int &y1 = x1; // 用x1变量去初始化 常引用 } // 2>用常量初始化，常量引用 { const int c = 10; // c++编译器把c放到符号表中 // int &t = 10; // 错误 ，普通引用，引用一个字面值，因为这个字面值没有内存地址 // 引用 就是给内存取多个门牌号(多个别名) const int &t = 100; // c++编译器 会分配内存空间给t } return 0; }
//思考：
//1、用变量对const引用初始化，const引用分配内存空间了吗？
//2、用常量对const引用初始化，const引用分配内存空间了吗？
//int &m = 10; //引用是内存空间的别名 字面量10没有内存空间 没有方法做引用
常引用总结
1）Const & int e(引用不能改变,引用所指对象也不能够改变) 相当于 const int * const e
2）普通引用 相当于 int *const e1
3）当使用常量（字面量）对const引用进行初始化时，C++编译器会为常量值分配空间，并将引用名作为这段空间的别名
4）使用字面量对const引用初始化后，将生成一个只读变量
const 的几种用法:
一
用const修饰函数参数
void test(const ClassA* a) { ClassA** b = &a; //编译错误,不能对const指针取地址 ClassA* c = a; //编译错误，不能将const指针转普通指针 (*b) = new ClassA(); } void test2(ClassA* a) { ClassA** b = &a; (*b) = new ClassA(); }
void test(const int a) { a++; //编译错误 int* c= &a; //编译错误，不能取地址，否则就具备了改a的能力 int b = a; //不用强转也可以编译通过，但还是没能力改a的值 }
修饰引用类型，参数的值不能被修改， 也就失去了引用类型的效果，但传递对象时，可以起到不copy对象的目的。
void test(const int& a) { a = 2; //编译错误，不能修改const引用类型的值 } void test(const ClassA& a) //传递的时候，不需要copy一个新的ClassA,又能保护a { }
二:
用const修饰局部或全局变量，功能类似函数参数
三:
用const修饰函数返回值，说明函数的返回类型是const的，功能类似于函数参数
const int test() { int a = 1; return a; }
四:
用const修饰函数，说明函数不会修改成员变量的值
class ClassA { public: int b; int test() const { b = 3; //编译错误，const修饰的函数不能修改类成员变量的值 return b; } }