【C++入门（二）】

目录

4.缺省参数

4.1缺省参数的概念

4.2缺省参数的分类

5.函数重载

5.1函数重载概念

5.2名字修饰（name Mangling）

5.3 extern"C"

6.引用

6.1引用的概念

6.2 引用特性

6.3 常引用

6.4 使用场景

6.5 传值、传引用效率比较

6.6 引用和指针的区别

---

4.缺省参数

4.1缺省参数的概念

缺省参数是声明或定义函数时为函数的参数定义一个默认值。在调用函数时候如果没有指定实参则采用该默认值，否则使用指定的实参。

void TestF(int a=0)
{
    cout<<a<<endl;
}
int main()
{
    TestF();  //没有传参就用默认值
    TestF(10);//传参就用指定的实参
    return 0;
}

4.2缺省参数的分类

（1）全缺省参数

void TestF(int a=10,int b=20,int c=30)
{
    cout<<"a="<<a<<endl;
    cout<<"b="<<b<<endl;
    cout<<"c="<<c<<endl;
}

(2)半缺省参数

void TestF(int a,int b=10,int c=20)
{
    cout<<"a = "<<a<<endl;
    cout<<"b = "<<b<<endl;
    cout<<"c = "<<c<<endl;
}

⛳注意：

①半缺省参数必须从右往左依次给出，中间不能间隔

②缺省参数不能在函数声明和定义中同时出现

//a.h    声明
void TestF(int a=10);


//a.c      定义
void TestF(int a=20)
{

}

//如果声明和定义中同时出现，恰巧两个位置提供的值不同，编译器无法确定该使用哪个缺省值

③缺省值必须是常量或者全局变量

④C语言不支持（编译器不支持），C++支持

5.函数重载

自然语言中，一个词可以有多重含义，人们可以通过上下文来判断该词真实的含义，即该词被重载了。

5.1函数重载概念

函数重载：是函数的一种特殊情况，C++允许在同一个作用域中声明几个功能类似的同名函数，这些同名函数的形参列表（参数个数或类型或顺序）必须不同，常用来处理实现功能类似数据类型不同的问题。

int Add(int a,int b)
{
    return a+b;
}


double Add(double a,double b)
{
    return a+b;
}


long Add(long a,long b)
{
    return a+b;
}

//上面函数参数类型都不一样
int main()
{

    Add(10,20);
    Add(10.1,10.3);
    Add(10L,20L);

    return 0;
}

注意，下面两个函数不属于函数重载（参数个数或类型或顺序必须不同），返回类型不同不属于函数重载。

short Add(short left,short right)
{
    return left+right;
}



int Add(short left,short right)
{
    return left+right;
}

5.2名字修饰（name Mangling）

为什么C++支持函数重载，而C语言不支持函数重载呢？

在C/C++中，一个程序要运行起来，需要经历以下几个阶段：预处理(预编译)、编译、汇编、链接。

编译包括：预处理，编译，汇编

回顾一下：

预处理：头文件展开、宏替换、条件编译、去注释    （*.i）

编译：语法分析，词法分析，语义分析符号汇总、生成汇编代码    （*.s）

汇编：形成符号表、把汇编代码转换成二进制的机器码   （生成可重定位目标文件 *.o）

链接：合并段表、符号表的合并和符号表的重定位

多个源文件，隔离编译，一起链接；

 

 1.实际上，我们的项目由多个头文件多个源文件组成，通过学习C语言编译链接，我们知道[当a.cpp中调用了b.cpp中定义的Add函数时]编译后，链接前a.o的目标文件中没有Add函数地址，因为Add是在b.cpp中定义的，所以Add函数的第地址在b.o中，怎么办呢？

2.所以链接阶段就是专门处理这种问题，连接器看到a.o调用Add，但是没有Add的地址，就会到b.o的符号表中找Add的地址，然后连接到一起。

3.那么链接时，面对Add函数，链接器会使用哪个名字去找呢？这里每个编译器都有自己的函数名修饰规则。

4.windows下vs的修饰规则过于复杂，可以用Linux下查看gcc和g++的修饰规则（比较简单）。

5.可以看出gcc的函数修饰后名字不变。而g++的函数修饰后变成【_Z+函数长度+函数名+类型首字母（参数类型哦）】

演示：

🎈采用C语言编译器编译后：

结论： 在Linux下，采用gcc编译完成后函数名字的修饰没有改变

🎈采用C++编译器编译后结果：

 

 00000000004005ad<_Z3Addii>:

00000000004005c1<_Z4funciPi>:

结论：在Linux下，采用g++百衲衣完成后，函数名字的修饰规则发生改变，编译器将函数参数类型信息添加到修改后的名字中去。

6.通过这里就了解了C语言没办法支持重载的原因了，因为同名函数没办法区分，而C++是通过函数名修饰规则来区分，只要参数不同，修饰出来的名字就不一样，就支持了重载。

7.也理解了函数重载为什么要求参数不同，而和返回值没有关系。

5.3 extern"C"

有时候在C++中工程中可能需要蒋某些函数按照C的风格来编译，在函数前加 extern"C",意思是告诉编译器将该函数按照C语言规则来编译。

extern "c" int Add(int a,int b);

int main()
{

    Add(1,2);
    

    return 0;
}

链接时报错：error LNK2019:无法解析的外部符号_Add,该符号在_main中被引用。

6.引用

6.1引用的概念

引用不是新定义一个变量，而是给已经存在的变量取了个别名，编译器不会为引用变量开辟内存空间，它和它引用的变量共用同一块内存空间。
 

类型&引用变量名（对象名）=引用实体；

void TestRef()
{
int a = 10;
int& ra = a;//<-----定义引用类型
printf("%p\n", &a);
printf("%p\n", &ra);
}

//注意：引用类型必须和引用实体是同种类型的

6.2 引用特性

1. 引用在定义时必须初始化
2. 一个变量可以有多个引用
3. 引用一旦引用一个实体，再不能引用其他实体
 

void TestRef()
{
int a = 10;
// int& ra; // 该条语句编译时会出错
int& ra = a;
int& rra = a;
printf("%p %p %p\n", &a, &ra, &rra);
}

6.3 常引用
 

void TestConstRef()
{
const int a = 10;
//int& ra = a; // 该语句编译时会出错，a为常量
const int& ra = a;
// int& b = 10; // 该语句编译时会出错，b为常量
const int& b = 10;
double d = 12.34;
//int& rd = d; // 该语句编译时会出错，类型不同
const int& rd = d;
}

6.4 使用场景

1.做参数

void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}

2.做返回值

int&Count()
{
    static int n=0;
    n++;
//.....

    return 0;
}

注意：如果函数返回时，出了函数作用域，如果返回对象还未还给系统，则可以使用引用返回，如果已经还给系统了，则必须使用传值返回。

6.5 传值、传引用效率比较

以值作为参数或者返回值类型，在传参和返回期间，函数不会直接传递实参或者将变量本身直接返回，而是
传递实参或者返回变量的一份临时的拷贝，因此用值作为参数或者返回值类型，效率是非常低下的，尤其是
当参数或者返回值类型非常大时，效率就更低。
 

#include <time.h>
struct A{ int a[10000]; };
void TestFunc1(A a){}
void TestFunc2(A& a){}
void TestRefAndValue()
{
    A a;
    // 以值作为函数参数
    size_t begin1 = clock();
    for (size_t i = 0; i < 10000; ++i)
    TestFunc1(a);
    size_t end1 = clock();
    // 以引用作为函数参数
    size_t begin2 = clock();
    for (size_t i = 0; i < 10000; ++i)
    TestFunc2(a);
    size_t end2 = clock();
    // 分别计算两个函数运行结束后的时间
    cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;
    cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;
}

6.5.2 值和引用的作为返回值类型的性能比较
 

#include <time.h>
struct A{ int a[10000]; };
A a;
// 值返回
A TestFunc1() { return a;}
// 引用返回
A& TestFunc2(){ return a;}
void TestReturnByRefOrValue()
{
    // 以值作为函数的返回值类型
    size_t begin1 = clock();
    for (size_t i = 0; i < 100000; ++i)
    TestFunc1();
    size_t end1 = clock();
    // 以引用作为函数的返回值类型
    size_t begin2 = clock();
    for (size_t i = 0; i < 100000; ++i)
    TestFunc2();
    size_t end2 = clock();
    // 计算两个函数运算完成之后的时间
    cout << "TestFunc1 time:" << end1 - begin1 << endl;
    cout << "TestFunc2 time:" << end2 - begin2 << endl;
}

int main()
{
    int a = 10;
    int& ra = a;
    cout<<"&a = "<<&a<<endl;
    cout<<"&ra = "<<&ra<<endl;
    return 0;
}

通过上述代码的比较，发现传值和指针在作为传参以及返回值类型上效率相差很大

6.6 引用和指针的区别

在语法概念上引用就是一个别名，没有独立空间，和其引用实体共用同一块空间。

int main()
{
    int a = 10;
    int& ra = a;
    cout<<"&a = "<<&a<<endl;
    cout<<"&ra = "<<&ra<<endl;
    return 0;
}

在底层实现上实际是有空间的，因为引用是按照指针方式来实现的。

int main()
{
    int a=10;
    
    int&ra=1;
    ra=20;

    int *pa=&a;
    *pa=20;
 
    return 0;
}

引用和指针的不同点:

1. 引用在定义时必须初始化，指针没有要求
2. 引用在初始化时引用一个实体后，就不能再引用其他实体，而指针可以在任何时候指向任何一个同类型
实体
3. 没有NULL引用，但有NULL指针
4. 在sizeof中含义不同：引用结果为引用类型的大小，但指针始终是地址空间所占字节个数(32位平台下占
4个字节)
5. 引用自加即引用的实体增加1，指针自加即指针向后偏移一个类型的大小
6. 有多级指针，但是没有多级引用
7. 访问实体方式不同，指针需要显式解引用，引用编译器自己处理
8. 引用比指针使用起来相对更安全