大魔王(已黑化)

大魔王(已黑化)

C++入门知识点——解决C语言不足-LMLPHP
C++入门知识点——解决C语言不足-LMLPHP

一、前言

C++的产生

各种语言的关系

二、关键字

  • C++共有63个关键字,C语言有32个关键字。

C++入门知识点——解决C语言不足-LMLPHP

三、命名空间

介绍

  • 在C/C++中,变量、函数和后面要学到的类都是大量存在的,这些变量、函数和类的名称将都存
    在于全局作用域中,可能会导致很多冲突。使用命名空间的目的是对标识符的名称进行本地化
    以避免命名冲突或名字污染,namespace关键字的出现就是针对这种问题的。

命名空间的使用

  • 命名空间的使用有三种:
  1. 指定访问:加命名空间名称及域作用限定符(::),作用为特定只访问::前面那个空间里的成员。当::前面什么都不加时表示访问全局变量(暴露到全局也相当于全局变量)。其他的和C一样,比如不加::的话还是局部优先。
  2. 部分展开:使用using将命名空间中的某个成员引入。eg:using std::cout; 作用为将该命名空间中的这一个成员暴露到全局。暴露到全局就相当于全局变量了,所以不能和原本的全局变量有重名,否则就是重定义了。
  3. 全部展开:把这个命名空间全部暴露到全局。eg:using namespace std;这个的意思就是把C++标准库(C++库和STL)暴露到全局。

总结

  • 命名空间和#define区别:#define是把包含的那个文件拷贝过来,但是命名空间是指能去访问这一块空间,所以他们是不一样的。
  • 定义了一个命名空间后不用像结构体一样在大括号后面加分号。
  • 局部域没有展开命名空间这一说,也就是都是在全局域展开命名空间的。
  • 既要包含头文件也要使用命名空间:包含头文件是因为让库里该头文件对应的拷贝过来,但是它们是在std域内,所以如果想用,还要展开或某个展开或直接指定到std域内搜索我们相用的库函数。只展开std是只能访问std的空间,但是没包含头文件的话就相当于那些东西没有拷贝过来,那么在std空间里就没有你想访问的那些东西了。

四、cin、cout

  • cin、cout:自动识别类型。cout的输出格式化不用掌握,需要输出格式的话用printf就好了。头文件是iostream。endl相当于C语言中的‘\n’,是C++中的换行符,头文件也是iostream。
  • <<流插入运算符,>>流提取运算符。
  • 速度C语言的scanf和printf比cin,cout快一点点点。scanf和printf更加底层和高效那么一点点点。
  • 注意:早期标准库将所有功能在全局域中实现,声明在.h后缀的头文件中,使用时只需包含对应
    头文件即可,后来将其实现在std命名空间下,为了和C头文件区分,也为了正确使用命名空间,
    规定C++头文件不带.h;旧编译器(vc 6.0)中还支持<iostream.h>格式,后续编译器已不支持,因
    此推荐使用iostream+std的方式

五、缺省参数

缺省参数概念

  • 缺省参数是声明或定义函数时为函数的参数(形参)指定一个缺省值。在调用该函数时,如果没有指定实参则采用该形参的缺省值,否则使用指定的实参。

缺省参数分类

全缺省参数

半缺省参数

注意点

  • 半缺省参数必须从右往左依次来给出,不能间隔着给。
  • 声明和定义不能同时给缺省参数,如果一个函数既有声明又有定义,那么应该只在声明时给缺省参数。
  • 缺省值必须是全局变量或者常量
  • C语言不支持(编译器不支持)。
  • 给缺省(默认参数)是从右向左给的(也就是函数里的参数从右向左给默认值)。传参是从左向右传的(函数里对应接收传的参数是从函数参数的左边开始一个个对应着接收的)(只能从左向右依次传参)。因此可以说如果有一个没给缺省,那么就至少需要传一个参数。
  • 缺省参数只能在声明时给缺省值,首先一定是声明和定义选一个给,不然给的不一样不知道用哪个,然后就是分析选哪一个,如果是定义给声明不给,那么在编译阶段处理单独的源文件时就过不去,因为假如传了一个参数,但是函数可以接收两个,但是声明的时候没给缺省值,那么第二个参数就没有接收的值了,编译阶段就通不过。但是如果是声明的时候给,那就相当于在调用该函数传参时把缺少实参的写上了缺省值,那么就等于没有少传参数,编译就能通过。
  • 函数声明是函数的接口,它提供了函数的信息,包括函数名、参数列表和返回类型。默认参数的值需要在函数声明中给定,以便在函数调用时让编译器知道该函数的信息,通过参数类型匹配来确定到底调用哪个函数。

六、函数重载

介绍

原因

  • 函数名修饰规则(编译结束开始更新函数名,编译阶段是根据参数来判断调用哪个同名函数的):会对函数进行语法分析和语义分析,将函数名和参数列表作为函数的标识符。修改的是汇编阶段产生的符号表里的函数名,并不是全部地方都修改了。

其他

  • C++自动识别类型都是用到了函数重载。
  • 全局变量在全局域时只能定义时初始化,不能进行赋值。
  • C++支持函数重载的原因:首先是编译阶段能过:C++因为支持函数重载(同名的需要参数不同,不然就报错了:这个函数已有主体(报错“函数已有主体”意味着在函数的声明和定义之间存在重复的函数定义。这通常是由于在同一个源文件中多次定义了同一个函数导致的),不属于函数重载的问题(函数重载还没开始),在编译阶段错的,算是语法错误),因此在编译阶段会根据传的参数个数及类型来判断到低调的是哪个同名函数,并且可以让相同名字不同参数的同名函数都写入符号表里(写进去的名字会根据函数名修饰规则来修饰)。其次是编译结束后会进行函数名修饰:等编译阶段结束,汇编阶段会将函数参数类型信息作为要形成符号表的函数名,于是链接阶段就能对应上了,所以能让符号表里更新为对应函数的有效地址(如果直接声明和定义在一个文件,那么形成符号表时就是对应的有效地址,该函数就不需要链接了,也就是链接过后该函数对应的符号表里的地址不会变)。
  • C语言为什么不支持函数重载:编译器直接在编译阶段就通不过,编译阶段遇见变量名相同就是语法错误,因为C语言不支持重名函数。而且要知道C语言对函数进行语法分析和语义分析,没有将参数列表作为函数的标识符的一部分(也就是没有函数名修饰规则)(这一块就是个规则,跟不支持函数重载没关系,因为函数重载是在链接时用的,但是C若有同名函数,编译器走不到链接这一步)。
  • 编译阶段不能得到函数的有效地址:编译阶段虽然能转换成二进制,也就是能有计算机要识别的东西:(二进制不是人看的,所以用汇编的角度来说)编译阶段有了各种指令的操作,比如函数,会call跳到一个地址然后再jump过去,进入那个函数的汇编代码里去执行汇编指令(建立函数栈帧等),但是要知道符号表合并是在链接才开始的,对于test.cpp文件,编译阶段的函数我们只要声明就能通过,形成的符号表里存的是无效地址(如果这个文件只有声明的话),真正有效地址是在定义函数的文件里的,但是编译阶段各个文件是独立的,在链接阶段才会合并,把无效的换为有效的,所以编译阶段得不到调用函数真正的地址。相当于包含一个头文件,预编译时展开,在编译时调用的函数也就都声明了,相当于给了承诺,编译器让通过了,但是有没有兑现承诺还要看之后。链接就相当于兑现承诺,看到底是真话假话。
  • 假如返回值与函数名修饰规则有关,C++也不支持只是返回值不同的同名函数:因为如果函数参数一样,返回值不同,假如函数名修饰规则也会根据返回值修改,那么链接时当然能找到对应的有效地址,但是走不到这个阶段,因为编译阶段就会检查出错误:函数已有主体(也就是重定义)(调用函数时不会根据返回类型类判断,参数是相同的,所以认为函数重定义了,会报错)。
  • 函数重载与返回值无关:函数名修饰规则与函数返回值无关,因此函数返回值与函数重载没联系。
  • 函数不一定必须在链接阶段才能有有效地址:如果函数直接就是定义,那就在编译阶段(汇编阶段)符号表里存的就是函数的有效地址了,该函数就不需要链接有效地址(符号表该函数对应的地址就是有效地址不变)了。

七、引用

概念

  • 类型& 引用变量名(对象名)= 引用实体;
  • 引用类型必须和引用实体是同种类型的。

引用特性

  • 引用在定义时必须初始化。
  • 一个变量可以有多个引用。
  • 引用一旦引用一个实体,再不能引用其他实体。之后的 = 就是赋值的作用。

使用场景

做参数

  • 引用做参数:1.输出型参数,修改实参 2.减少拷贝,提高效率(不用再拷贝一次实参的大小,只需要弄一个4字节的地址,和指针一样)(引用做参数有的效果指针都有:)。

做返回值

  1. 减少拷贝,提高效率(返回时不用临时拷贝,要注意返回的变量不能随函数而销毁)(比如如果是用变量接收,只需要在赋值时直接找到返回值(引用)这块空间拷贝一次给要接收的变量,不用先临时拷贝一次了)(如果用引用接收,那就一次也不需要拷贝,直接就相当于给了一个别名),是否会开辟一个指针目前还不了解。
  2. 获取返回值+修改返回值。
  • 注意:函数返回时,出了函数作用域,如果返回对象还在(还没还给系统),则可以使用
    引用返回,如果已经还给系统了,则不能用引用返回(这就类似于访问野指针了)。

总结

  • 引用做为参数或者返回值都有提高效率这一优点,这是对于当变量特别大的情况下,变量较小的情况下差距很小。
  • 引用的理解:加个&符可以理解为它实质是多了一级指针特性,(自动解引用)。
  • 引用实质:语法层面我们认为不开空间,但是在底层实现上其实还是开空间,通过指针来实现。
    • 引用和指针的区别:
  1. sizeof计算的是引用的那个变量类型的大小,而不是像指针一样某个地址的大小(4/8字节)。
  2. 引用的变量不是指针的话,&引用取出来的是那个变量的地址,也就相当于一级指针(是指针的话就是加一级)(&指针的话最少就是二级指针)。
  3. 有多级指针,但没有多级引用。
  4. 访问实体方式:指针需要解引用,引用编译器会自动处理。
  5. 引用比指针更安全(比如没有空引用)。
  6. 引用概念上定义一个变量的别名,指针存储一个变量地址。
  7. 引用在定义时必须初始化,指针没有要求。
  8. 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何
    一个同类型实体;没有NULL引用,但有NULL指针

常引用

  • 引用过程中,权限不能放大。可以平移和缩小。缩小后的这个引用不能扩大权限,但是原本有这个权限的引用或变量还可以有原本的权限,并且修改后还是都修改了,因为他们实质都是这一块空间。

八、auto

  • 自动推导对应的类型,对于以后很长的类型(比如迭代器),我们可以直接用auto来代替。
  • auto不能做返回值(C++11标准后可以做返回值)和参数。
  • **使用定义一个变量时必须进行初始化(让auto能够推导变量的类型)。**因此auto并非是一种“类型”的声明,而是一个类型声明时的“占位符”,编译器在编译期会将auto替换为变量实际的类型。
  • 使用细则:
  1. 用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须
    加&
  2. 当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译
    器实际只对第一个类型进行推导,然后用推导出来的类型定义其他变量。
  3. auto不能做为函数参数和返回值(c++11标准之后可以做为返回值)。
  4. auto不能直接用来声明数组。

九、内联函数inline

  • inline对于编译器仅仅只是一个建议,最终是否成为inline,编译器自己决定,适用于小且频繁调用的非递归函数。
  • 比较长的函数或者递归函数等就算加了inline也会被编译器否决掉,因为会代码膨胀(可编译程序变的很大)。比如调用一个函数10000次,这个函数有50个指令,普通调用总指令:10000+50,内联函数总指令:10000*50,因为每次都要再把指令弄到到调用的位置。
  • 内联函数不能声明和定义分离,因为内联函数没有地址,不会进入符号表,所以链接时找不到,它是直接在原本那个位置展开了(多个文件的话直接在.h里写全就行了)。
  • C++的内联函数可以很好的代替宏。
  • inline是一种以空间换时间的做法,如果编译器将函数当成内联函数处理,在编译阶段,会
    用函数体替换函数调用,缺陷:可能会使目标文件变大,优势:少了调用开销,提高程序运
    行效率。
  • inline对于编译器而言只是一个建议,不同编译器关于inline实现机制可能不同,一般建
    议:将函数规模较小(即函数不是很长,具体没有准确的说法,取决于编译器内部实现)、不
    是递归、且频繁调用的函数采用inline修饰,否则编译器会忽略inline特性。

十、其它

  • NULL是被C++一个宏定义为常量0,也就是NULL和常量0完全一样,类型是int,所以以后对于空指针用(C++11出来的)nullptr
  • 函数参数可以不接收:对于C/C++编译器,只要类型能匹配就行,可以不接收实参,也就是不写形参,只写形参的类型。

总结

  • 博主长期更新,博主的目标是不断提升阅读体验和内容质量,如果你喜欢博主的文章,请点个赞或者关注博主支持一波,我会更加努力的为你呈现精彩的内容。

C++入门知识点——解决C语言不足-LMLPHP

08-21 13:50