1、C++关键字
在C++98中,有63个关键字。(注意不能遗漏标准名称,任何不带标准名称来说关键字个数都是耍流氓。。)
2、命名空间
1、定义命名空间,需要用到namespace关键字,后面跟命名空间的名字,然后接一对{}即可,{}中即为命名空间的成员。
- 普通的命名空间
- 命名空间嵌套
- 同一个工程中允许存在多个相同名称的命名空间,编译器最后会合成同一个空间。
注意:一个命名空间就定义了一个新的作用域,命名空间中的所有内容都局限于该命名空间中。
2、命名空间的使用
先给出一个命名空间:
namespace N
{
int a = 10;
int b = 20;
int Add(int left, int right)
{
return left + right;
}
int Sub(int left, int right)
{
return left - right;
}
}
- 加命名空间名称及作用域限定符
int main()
{
printf("%d\n", N::a);
return 0;
}
- 使用using将命名空间中成员引入
using N::b;
int main()
{
printf("%d\n", N::a);
printf("%d\n", b);
return 0;
}
- 使用using namespace命名空间名称引入
using namespace N;
int main()
{
printf("%d\n", N::a);
printf("%d\n", b);
Add(10, 20);
return 0;
}
3、C++输入与输出
与C语言不同,C++使用cout和cin来完成标准输出与标准输入。
- 使用cout标准输出(控制台)和cin标准输入(键盘)时,必须包含<iostream>头文件以及std标准命名空间。
- 使用C++输入输出更方便,省掉了数据格式控制这一步骤。
4、缺省参数
1、缺省参数概念
缺省参数是声明或定义函数时为函数的参数指定一个默认值。在调用该函数时,如果没有指定实参则采用该默认值,否则使用指定的实参。
2、缺省参数分类
- 全缺省参数
void TestFunc(int a = 10, int b = 20, int c = 30)
{
cout << "a= " << a << endl;
cout << "b= " << b << endl;
cout << "c= " << c << endl;
}
- 半缺省参数
void TestFunc(int a, int b = 20, int c = 30)
{
cout << "a= " << a << endl;
cout << "b= " << b << endl;
cout << "c= " << c << endl;
}
注意:
- 半缺省参数必须从右往左依次来给出,不能间隔着给
- 缺省参数不能在函数声明和定义中同时出现(因为如果声明与定义位置同时出现,恰巧两个位置提供的值不同,那编译器就无法确定到底该用哪个缺省值。)
- 缺省值必须是常量或者全局变量
- C语言不支持。
5、函数重载
1、函数重载的概念
函数重载:是函数的一种特殊情况,C++允许在同一作用域中声明几个功能类似的同名函数,这些同名函数的形参列表(参数个数或类型或顺序)必须不同,常用来处理实现功能类似数据类型不同的问题。
int Add(int left, int right)
{
return left + right;
}
double Add(double left, double right)
{
return left + right;
}
long Add(long left, long right)
{
return left + right;
}
int main()
{
Add(10, 20);
Add(1.0, 2.0);
Add(10L, 20L);
return 0;
}
注意:如果函数仅仅只是返回值类型不一样,是不能构成函数重载的,因为编译器在根据类型参数类型判断应该使用哪个函数的时候是不能够知道返回值类型的,所以不能构成重载。
2、名字修饰
我们知道在C/C++中,一个程序要运行起来,需要经历这么几个阶段:预处理、编译、汇编、链接。而名字修饰(Name Mangling)是一种在编译过程中,将函数、变量的名称重新改编的机制,简单来说就是编译器为了区分各个函数,将函数通过某种算法,重新修饰为一个全局唯一的名称。
C语言的名字修饰规则:只是在函数名字前面添加了一个下划线。也就是说对于Add函数,它会改编成为:_Add,那么工程中存在相同函数名的函数时,就会产生冲突。
由于C++要支持函数重载、命名空间等,它的修饰规则肯定不会这么简单,而不同的编译器在底层的实现方式可能都有差异。
int Add(int left, int right);
double Add(double left, double right);
int main()
{
Add(10, 20);
Add(1.0, 2.0);
return 0;
}
在vs下,对上面这段代码进行编译链接,最后我们可以见到编译器会报错以下内容:
通过这个错误信息我们可以看出编译器在底层实际使用的并不是Add名字,而是一个重新被修饰过的一个比较复杂的名字,被重新修饰后的名字中包括:函数的名字以及参数类型。那么我们也就可以想到函数重载时,几个同名函数只要其参数列表不同,编译器在编译时,通过对函数名字进行重新修饰,将参数类型包含在最终的名字中,就可以保证名字在底层的全局唯一性。
那么这个被修饰过的名字又该如何理解呢?
?Add@@YAHHH@Z:修饰后名字由"?"开头,后面紧跟函数名,并以@表示函数名的结束,第二个@是表示类名或命名空间名称的结束,此处我们并没有类名以及命名空间。A后面跟的是参数类型,在C++中,用H表示int类型,N表示double类型。最后再以@Z表示整个名字的结束。(此处没有深入解析名称修饰规则,以后再详谈)
3、extern "C"
现在要考虑一个情况:我们都知道C++是完全兼容C语言的,也就是说,C语言的代码在C++环境下是完全可以运行的,那么如果在C++的工程下,我们要添加一个C语言实现的库,这个库中有一个Add函数,在编译的时候它被编译器重新将名字修饰成了一长串,库中其它地方使用这个函数的时候一直在找的函数名是_Add,这时就会出现问题----找不到。那该怎么办?这时就需要介绍一下接下来要说到的东西了:extern "C"。
在C++工程中可能需要将某些函数按照C的风格来编译,在函数前加extern "C",意思是告诉编译器,将该函数按照C语言规则来编译。
6、引用
1、引用概念
引用不是新定义一个变量,而是给已存在的变量取了一个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间。
使用方法:类型& 引用变量名(对象名)=引用实体;
void TestRef()
{
int a = 10;
int& ra = a;
printf("%p\n", &a);
printf("%p\n", &ra);
}
此时我们可以看出确实它们俩的地址是一模一样的。
注意:引用类型必须和引用实体是同种类型的。
2、引用特性
- 引用在定义时必须初始化。
- 一个变量可以有多个引用。
- 引用一旦引用一个实体,再不能引用其他实体。
3、常引用
void TestConstRef()
{
const int a = 10;
//int& ra = a; //该语句编译时会出错,a为常量
const int& ra = a;
//ra = 20;
//int& b = 10; //该语句编译时会出错,b为常量
const int& b = 10;
double d = 10.21;
//int& rd = d; //该语句编译时会出错,类型不同
const int& rd = d;//此时由于类型改变,rd的值变为10
}
4、使用场景
- 做参数
void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}
- 需要通过形参改变外部的实参:T&
- 不需要通过形参改变外部实参:const T&
- 做返回值
int& TestRefReturn(int& a)
{
a += 10;
return a;
}
接下来看一段代码:
int& Add(int a,int b)
{
int c = a + b;
return c;
}
int main()
{
int& ret = Add(1, 2);
Add(3, 4);
cout << "Add(1,2)= " << ret << endl;
return 0;
}
预期运行结果应该为3,可是实际运行结果却是7.这是为什么?这就要说到函数的调用过程(栈帧)了。
此时引用做返回值,下图为函数调用过程图。
我们可以看到在程序运行结束后,在栈中之前ret=3的结果被后来ret=7所覆盖,因为这段空间在函数调用完成后其实已经被释放了,所以vs其实会做报错警告的。
由此我们可以知道:如果函数返回时,离开函数作用域后,其栈上空间已经还给系统,因此不能用栈上的空间作为引用类型返回。如果以引用类型返回,返回值的生命周期必须不受函数的限制(即比函数声明周期长)。
比如:1、全局变量 2、static类型的变量 3、返回引用类型的变量
5、传值、传引用效率比较
以值作为参数或者返回值类型,在传参和返回期间,函数不会直接传递实参或者将变量本身直接返回,而是传递实参或者返回变量的一份临时拷贝,因此用值作为参数或者返回值类型,效率是非常低下的,尤其是当参数或者返回值类型非常大时,效率更低。而传引用与传指针的效率相当。
6、引用和指针的区别
int main()
{
int a = 10;
int& ra = a;
ra = 20;
int* p = &a;
*p = 20;
return 0;
}
看一下引用与指针的汇编代码:
引用与指针的汇编代码一模一样,我们可以知道在底层实现上,引用是按照指针方式来实现的。
实际上:引用类型的变量也有空间,空间中实际存放的是引用实体的地址 T&<==>T* const constT& <==>const T* const
概念上:引用只是其实体的一个别名,与其实体共用同一块内存空间。
引用和指针的不同点:
- 引用在定义时必须初始化,指针没有要求。
- 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体。
- 没有NULL引用,但有NULL指针。
- 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占4个字节)。
- 引用自加即引用的实体加1,指针自加即指针向后偏移一个类型的大小。
- 有多级指针,但是没有多级引用。
- 访问实体方式不同,指针需要显示解引用,而引用编译器自己就处理了。
- 引用比指针使用起来相对更安全。
7、内联函数
概念:以inline修饰的函数叫做内联函数,编译时C++编译器会在调用内联函数的地方展开,没有函数压栈的开销,内联函数提升程序运行的效率。
特性:
- inline是一种以空间换时间的做法,省去调用函数的开销,所以代码很长或者有循环/递归的函数不适宜使用作为内联函数。
- inline对于编译器来说只是一个建议,编译器会自动优化,如果定义为inline的函数体内有循环/递归等,编译器优化时会忽略掉内联。
- inline不建议声明和定义分离,分离会导致链接错误。因为inline被展开,就没有函数地址了,链接就会找不到。
说到编译期展开函数,不由得会联想到C语言中的宏,那么宏有哪些优缺点呢?
优点:增强代码的复用性;提高性能
缺点:不方便调试宏(因为预编译阶段进行了替换);导致代码可读性差,可维护性差,容易误用;没有类型安全的检查;
为了一定程度上解决宏的这些缺点,在C++中有内联函数以及常量定义换用const这两个方法来处理,内联函数上面说到了,下面简单说说常量定义换用const。看如下的一段代码:
int main()
{
const int a = 10;
int* pa = (int*)&a;
*pa = 100;
return 0;
}
运行这个代码后,因为在编译期便替换了a的值,所以最终我们看a的值仍然等于10,类似于宏的预编译阶段替换的特性,但相比来说却可以参加类型检测,更安全易用。
8、auto关键字(C++11)
1、auto简介
在早期C/C++中auto的含义是:使用auto修饰的变量,是具有自动存储器的局部变量,在使用完成后,编译器会自动释放这个变量的空间,但实际上,对于一个局部变量来说,函数调用完成后,相应的空间原本就会释放,因此实际上并没有人去使用它。
C++11中,标准委员会赋予了auto全新的含义:auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。
注意:
使用auto定义变量时必须对其进行初始化,在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种“类型”的声明,而是一个类型声明时的“占位符”,编译器在编译期会将auto替换为变量实际的类型。
2、auto的使用细则
- auto与指针和引用结合起来使用,用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须加&。
- 在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其它变量。
3、auto不能推导的场景
- auto不能作为函数的参数。
- auto不能直接用来声明数组。
- 为了避免与C++98中的auto发生混淆,C++11只保留了auto作为类型指示符的用法。
- auto最常见的优势用法就是跟C++11中提供的新式for循环,还有lambda表达式等进行配合使用。
- auto不能定义类的非静态成员变量。
- 实例化模板时不能使用auto作为模板参数。
9、基于范围的for循环(C++11)
1、范围for的语法
对于一个有范围的集合而言,由程序员来说明循环的范围是多余的,有时候还会容易出错。因此C++11中引入了基于范围的for循环。for循环后的括号由冒号" : "分为两部分:第一部分是范围内用于迭代的变量,第二部分则表示被迭代的范围。
在C++98中如果要遍历一个数组,需要这样完成:
int array[ ] = { 1 ,2 ,3 ,4 ,5 };
for (int i = 0; i < sizeof( array ) / sizeof (array [ 0 ]); ++i )
array[ i ] *= 2;
而使用范围for则这样表示:
for( auto& e : array ) //e引用数组中的每一个元素
e *= 2;
与普通循环类似,可以用continue来结束本次循环,也可以用break跳出整个循环。
2、范围for的使用条件
- for循环迭代的范围必须是确定的,对于数组而言,就是数组中第一个元素和最后一个元素的范围;对于类而言,应该提供begin和end的方法,begin和end就是for循环迭代的范围。
- 迭代的对象要实现++和--的操作。
10、指针空值nullptr(C++11)
1、C++98中的指针空值
如果一个指针没有合法的指向,通常我们是使用NULL对其进行初始化的,NULL实际是一个宏,NULL可能被定义为字面常量0,或者被定义为无类型指针(void*)的常量。在C++98中,字面常量0既可以是一个整形数字,也可以是无类型的指针(void*)常量,但是编译器默认情况下将其看成是一个整形常量,如果要将其按照指针方式来使用,必须对其进行强转(void*)0。
2、nullptr与nullptr_t
为了避免混淆,C++提供了nullptr,即:nullptr代表一个指针空值常量。nullptr是有类型的,其类型为nullptr_t,仅仅可以被隐式转化为指针类型,nullptr_t被定义在头文件中:
typedef decltype ( nullptr ) nullptr_t;
注意:
- 在使用nullptr表示空值指针时,不需要包含头文件,因为nullptr是C++作为新关键字引入的。
- 在C++中,sizeof(nullptr)与sizeof((void*)0)所占的字节数相同。
- 为了提高代码的健壮性,在后续表示指针空值时建议最好使用nullptr。