c++语言的历史和标准化
1979年4月,贝尔实验室的Bjarne Stroustrup(本贾尼·斯特劳斯特卢普)博士等人负责分析UNIX内核,但当时没有合适的工具能够有效地分析由于内核分布而造成的网络流量,将内核模块化,因此他们的工作进展缓慢。1979年10月,Bjarne Stroustrup为C语言增加了类似于Simula语言的类机制并设计开发了一个预处理器Cpre,来处理这些添加的元素和C语言的对应。在这个过程中,Bjarne Stroustrup产生了创建一门新语言的想法,这就是C++语言的萌芽。
1980年,C++的早期版本诞生,称作带类的C(C with Classes)。1983年Rick Mascitti建议将带类的C命名为C++(C Plus Plus),从此,C++作为一个优秀的程序设计语言被广为人知。C++是在C语言的基础上开发出来的,是C语言的超集,同时参考了很多其他语言的特性,例如Simula中的类概念,Algol68的运算符重载、引用及在任何地方声明变量的特性,BCPL的//注释和Ada语言中的模板、命名空间以及Ada、Clu和ML中的异常概念,它既具有C语言的高效性和灵活性,也提供了程序组织的高层特性。
1983年之后,C++使用的爆炸式增长。传统的面向用户遇到的问题及基于同事间讨论的演化方式已无法满足需求,迫切需要对C++语言进行标准化。1989年,《The Annotated C++ Reference Manual》发布,成为C++标准的基础。同年12月,ANSI的X3J16委员会成立并在华盛顿召开第一次技术会议,ANSI C++标准的制定开始提上日程。1991年7月ANSI C++标准化成为ISO标准化工作的一部分。1995年4月,C++标准草案提交公众审阅,1998年ISO C++标准通过ISO评审成为国际标准,称作C++98.
2003年,C++标准委员会对C++98中的问题进行了修订,发布了C++03版本,该版本并没有对核心语言进行修改。
2011年,新的C++标准C++11面世,增加了多线程支持、通用编程支持等,标准库也有很多变化,集成了C++技术报告1库(TR1)中的大部分内容。2014年12月15号,C++ ISO/IEC标准的最新版本C++14。C++14是对C++11的小范围的扩展,主要内容是修复bug和略微提高性能。
命令空间
-
作用
对标识符的名称进程本地化,以避免命名冲突或名字污染,使用namespace关键字
-
命令空间的定义
定义命名空间,需要使用到namespace关键字,后面跟命名空间的名字,然后接一对{}即可,{}中即为命令空间的成员。
namespace N1 {
int a;
int add(int left, int right){
return left + right;
}
}
-
命令空间的使用
加命名空间名称及作用域限定符
使用using将命名空间中成员引入
使用using namespace 命名空间名称引入
namespace N { int a = 10; } using std::cout; using std::endl; int main() { }
使用cout标准输出和cin标准输入(键盘)时, 必须包含, 头文件以及std标准命名空间
缺省参数
缺省参数是声明或定义函数时为函数的参数指定一个默认值。在调用该函数时,如果没有指定实参则采用该默认值,否则使用指定的实参
void TestFunc(int a = 0)
{
cout << a << endl;
}
int main()
{
TestFunc();
TestFunc(10);
}
缺省参数分类
-
全缺省参数
void TestFunc(int a = 10, int b = 20, int c = 20) { cout << a << b << c << endl; }
-
半缺省
void TestFunc(int x, int a = 0) { cout << a << endl; }
-
注意
- 半缺省参数必须从右往左依次来给出,不能间隔着给
- 缺省参数不能在函数声明和定义中同时出现
- 缺省值必须是常量或者全局变量
- c语言不支持缺省参数
函数重载
是函数的一种特殊情况,c++允许在同一作用域中声明几个功能类似的同名函数,这些同名函数的形参列表(参数个数或类型或顺序)必须不同.
名字修饰(name Mangling)
在c/c++中, 一个程序要运行起来,需要经历以下几个阶段: 预处理、编译、汇编、链接
Name Mangling是一种在编译过程中将函数、变量的名称重新改编的机制,简单来说就是编译器为了区分各个函数,将函数通过某种算法,重新修饰为一个全局唯一的名称
C语言的名字修饰规则非常简单,只是在函数名字前面添加了下划线
由于C++要支持函数重载,命名空间等,是的其修饰规则比较复杂,不同编译器在底层的实现存在差异
C++能够函数重载的原因是加载函数时,重载函数的修饰都不相同
extern “C”
在c++工程中可能需要将某些函数按照c的风格来编译, 在函数前加 extern “c” 意思是告诉编译器,将函数按照c语言规则来编译
引用
-
引用概念
引用不是新定义一个变量,而是给已经存在的变量取了一个别名, 编译器不会为引用变量开辟内存, 它和它引用的变量共用同一块内存空间
type& varnew = varold int a = 10; int& b = a;
注意: 引用类型必须和引用实体是同种类型的
-
引用特性
- 引用在定义是必须初始化
- 一个变量可以有多个引用
- 引用一旦引用一个实体,再不能引用其他实体
// 针对第三条 int x = 5; int y = 10; int& b = x; b = y; cout << "x=" << x << endl; cout << "y=" << y << endl; cout << "b=" << b << endl; // 当重新为引用赋值时, 之前引用的变量的值也将编程后来给引用赋值的值 // out: x=10 y=10 b=10
-
常引用
const int a = 10; const int& b = a; const int& c = 20;
-
引用的使用场景
-
做参数
void swap(int& a, int& b) { int temp = a; a = b; b = temp; }
-
做返回值
int& addSelf(int& a) { a += 10; return a; } // 可以正常输出 int& sum(int& a, int& b) { int sum = a + b; return sum; } // 输出值为随机值
注意: 如果函数返回时, 离开函数作用域, 其栈上分配的临时变量已经被系统回收,因此不能将栈上的空间作为引用类型返回。如果需要引用类型返回,返回值得生命周期必须不受函数限制
-
-
传值vs传引用
使用值作为参数或者返回值类型, 传参不会传递实参或者返回时不会将变量本身返回,而是传递实参的拷贝或返回临时变量, 因此性能底下
-
引用和指针的区别
在语法上引用是一个别名,并没有开辟独立空间,和其引用实体共用同一块空间
在底层实现上实际是有空间的,因为引用是按照指针方式来实现的
- 引用在定义时必须初始化,指针没有要求
- 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体
- 没有NULL引用,但有NULL指针
- 在sizeof中含义不同:引用结构为引用类型的大小,但指针始终是地址空间所占字节个数(32位4字节)
- 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小
- 有多级指针,但是没有多级引用
- 访问实体方式不同,指针需要显式解引用,引用编译器处理
- 引用比指针使用更加安全
-
内联函数
以inline修饰的函数叫做内联函数,编译时c++编译器会在调用内联函数的地方展开,没有函数压栈的开销,内联函数提升程序运行的效率。
注意: 在debug模式下inline不会生效 在release模式下生效
- 特性
- inline是一种空间换时间的做法,省去调用函数开销,所以代码很长或者存在循环递归的函数不适宜作为内联函数
- inline对于编译器而言只是一个建议,编译器会自动优化,如果定义为inline的函数体内有循环、递归等等,编译器优化时会忽略掉内联
- 内联不建议声明和定义分离,分离会导致链接错误。因为inline被展开,就没有函数地址,链接时会找不到
- 特性
-
宏的优缺点
优点: 增强代码的复用性, 提高性能
缺点:
- 不方便调试(因为预编译阶段被替换)
- 代码可读性差,可维护性差,容易误用
- 没有类型安全的检查
c++替代宏
- 常量定义 换用const
- 函数定义 换用内联函数
-
auto关键字
c++11 auto不再是一个存储指示符, 而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得
注意: 使用auto定义变量时必须对其进行初始化, 在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种类型的声明,而是一个类型声明时的占位符, 编译器在编译期会将auto替换为变量实际的类型
-
auto的使用细则
-
auto与指针和引用结合使用
用auto声明指针类型时, 用auto和auto*没有任何区别,但用auto声明引用类型时必须加&
int main() { int x = 10; auto a = &x; auto* b = &x; auto& = x; }
-
在同一行定义多个变量
当在同一行声明多个变量时, 这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其他变量
-
auto不能推导的场景
- auto不能作为函数的参数
- auto不能直接用来声明数组
- 为了避免与c++98中的auto混淆,c++11只保留了auto作为类型指示符的用法
- auto在实际中最常见的优势用法是新式for循环,和lambda表达式等进行配合使用
- auto不能定义类的非静态成员变量
- 实例化模板时不能使用auto作为模板参数
-
-
-
范围for的语法
int array[] = {1, 2, 3, 4}; for (auto i : array) { cout << i << endl; }
使用条件:
- 容器必须具备迭代器, 循环迭代的范围必须是确定的
- 迭代的对象要实现++和==的操作
-
指针空值nullptr
指针的初始化使用nullptr