【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值(一)

简介: 【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值

一、引用

1.1 引用概念

引用不是用于新定义变量,而是对已存在变量取别名。对于引用变量来说,编译器不会为其开辟空间(底层实际开辟),它与被引用变量共同占用同块内存空间

举个例子:李逵,在家称为"铁牛",江湖上人称"黑旋风"。这三个名称都是指向同个对象

1.2 引用语法

类型说明符& 引用对象名 =引用实体(引用类型必须和引用实体是同种类型)

void TestPef()
{
    int a=10;
    int& pa=a;//pa是a的别名
   
    printf("&a==%p\n", &a);
    printf("&pa==%p\n", &pa);
    //从地址上,可以得出它和它引用的变量共用同一块内存空间
}

1.3 引用特性

第一个:

  • 它和被引用的变量共用同一块内存空间
void TestPef()
{
    int a=10;
    int& pa=a;//pa是a的别名   
    a++;
    printf("a==%d pa==%d\n", a,pa);//11  11
    pa++;
    printf("a==%d pa==%d\n", a,pa);//12 12
}

说明:修改对象a或pa的也会影响对象pa或a

第二点:

  • 引用在定义时必须初始化(否则在编译阶段会报错)

第三点:

  • 引用一旦引用一个实体,再不能引用其他实体
//引用定义后,不能改变指向(这一点很重要)
int a = 10; int& b = a;
int c = 10;
b = c;//不是改变指向,而是b(a)赋值为10

第四点:

  • 一个变量可以有多个引用,引用变量也可以取别名
//一个变量可以有多个别名,别名也有别名
int a = 10; int& b = a;
int &d=b ;//d是b的别名,b是a的别名,则d是a的别名
return 0;

1.4 引用权限(常引用)

对于权限可以缩小,但是不能放大

void TestConstRef()
{
  int a=0;
    int& b=a;
    
    const int& c=a; //支持->权限缩小
     
    const int x=10;
    int& y=x;//不支持-权限放大(此时的x只有读权限,没有写权限)
    const int& y=x;//支持权限相等
    
    //表达式的返回值是临时对象,而临时对象具有常性
    int& n= a+x = 临时对象 //这里是属于权限放大
    const int& n = a+x = 临时对象; //支持权限相等
}

1.5 引用使用场景

1.5.1 引用作为输出型参数(减少拷贝,提高效率)

说明:如果参数是指针类型,使用时需要对其解引用操作,但是使用引用可以避免解引用操作

1.5.2 引用作为返回值(减少拷贝,提高效率)

int& func()
{
    int a = 0;
    return a;
}
int main()
{
    int ret = func();//第一种
    int& ret = func();//第二种
    cout << ret << endl;
    return 0;
}

说明:

  1. 第一种情况,当函数运行结束,函数内存被系统收回。引用作为返回值类型,返回临时局部变量a被引用接收。那么对象ret接收到这块空间是什么?这里需要根据编译器是否对这块函数栈帧清空,但是操作操作是不具备安全性
  2. 第二种情况,使用引用接收这块已经被回收的空间。会导致野引用,访问未知名空间可以看作租房子,房子合同到期,如果非法进入会出现不安全的影响。

有趣的现象】:

关于编译器是否对该函数栈帧清空,可以看一个有意思的东西

说明:对于两次ret结果值为0,表示编译器没有对函数栈帧清空;如果当调用func()函数后,ret值为随机值表示函数栈帧已经清空。间接说明引用做返回值尽量不要返回局部变量

引用做返回值使用场景:

//没有使用引用做返回值
void SLModity(Seqlist& s1, int pos, int x)
{
    assert(pos >= 0);
    assert(pos < s1.size);
    s1.a[pos] = x;
}
int SLGet(Seqlist& s1, int pos)
{
    assert(pos >= 0);
    assert(pos < s1.size);
    return s1.a[pos];
}
//使用引用 读写返回值
int& Get(int pos)
{
    assert(pos >= 0);
    assert(pos < s1.size);
    return a[pos];
}

1.6 引用做参数与返回值效率

说明:由于一般在实参传递或返回值传递过程需要创建临时对象,而对于引用与被引用对象共用同块空间,减少了拷贝,提高效率。通过上述代码的比较,发现传值和指针在作为传参以及返回值类型上效率相差很大。

1.7 引用和指针的区别

在语法概念上,引用是一个别名,没有独立空间,同其引用实体共用同一块空间,但是在底层实现上,实际引用是有开辟空间的,由于引用是按照指针方式实现的

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

1.7.1 引用和指针的汇编代码对比

引用相较于指针来说,更加适合使用比较复杂的场景进行一些替换,使得代码更简单易懂(不代表引用完全替代指针),比如:引用定义后不能改变指向,而指针可以改变指向。

1.7.2 引用与指针不同点

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

二、内敛函数

2.1 内敛函数概念

内敛函数是以关键字inline修饰的函数,编译时C++编译器会在调用内敛函数位置展开函数体(函数体替换函数的调用)。函数调用建立栈帧会有开销,内敛函数虽然可以提升程序运行的效率,但是内敛函数也是需要付出代价。

查看方式】:

内敛函数本身是一种代码优化手段

  1. 在release模式下,查看编译器生成的汇编代码中是否存在call Add
  2. 在debug模式下,需要对编译器进行设置,否则不会展开(因为debug模式下,编译器默认不会对代码进行优化,以下给出vs2013的设置方式

2.2 内敛函数特性

第一点:

  • inline是一种以空间换时间的做法,如果编译器将函数当成内敛函数处理,在编译阶段,会用函数体代替函数调用.

说明:内敛函数展开,编译程序空间变大(指令变多),空间是编译好的可执行程序,并不是我们理解的内存。虽然避免了函数调用开销提高程序运行效率,但是可能会使目标文件变大

给出场景】:当1000行需要调用swap函数,函数体假设10行代码

  1. 如果swap不是内敛函数,合计需要10 + 1000
  2. 如果swap是内敛函数,合计需要10 * 1000,导致目标文件变大

第二点

  • inline对于编译器而言只是一个建议,不同编译器关于inline实现机制可能不同
  • 一般建议将函数规模较小(即函数不是很长,具体没有准确的说法,取决于编译器内部实现)、不是递归、且频繁调用的函数采用inline修饰,否则编译器会忽略inline特性

第三点:

  • inline不建议声明和定义分离,分离会导致链接错误。因为inline被展开,就没有函数地址了,链接就会找不到

2.3 关于头或源文件同时定义函数措施

假设这里所指函数为Add函数。如果想要头文件中定义Add函数会导致预处理阶段出现命名冲突。

使得头文件定义Add函数两种方法】:

第一种:

使用static关键字将函数的外部链接属性转为内部链接属性,只在当前文件可见,简单来说就是不进符号表,不会产生没有命名冲突。

第二种:

使用内敛函数,假设在.cpp文件定义内敛函数,由于内敛函数没有函数地址,意味着不会进去符号表。对于其他文件中需要该函数,会发生链接错误。推荐内敛函数的声明和定义放在一块,在头文件展开并且链接时不会出现命名冲突

推荐】:

  • 如果是大函数,可以使用声明和定义分离,static修饰;
  • 如果是小函数,可以使用内敛。


【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值(二)https://developer.aliyun.com/article/1617291

目录
打赏
0
1
1
0
21
分享
相关文章
如何理解指针作为函数参数的输入和输出特性
指针作为函数参数时,可以实现输入和输出的双重功能。通过指针传递变量的地址,函数可以修改外部变量的值,实现输出;同时,指针本身也可以作为输入,传递初始值或状态。这种方式提高了函数的灵活性和效率。
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值(二)
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨,我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性,而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧,对于提升C++编程水平至关重要。
46 16
类和对象(中 )C++
本文详细讲解了C++中的默认成员函数,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载和取地址运算符重载等内容。重点分析了各函数的特点、使用场景及相互关系,如构造函数的主要任务是初始化对象,而非创建空间;析构函数用于清理资源;拷贝构造与赋值运算符的区别在于前者用于创建新对象,后者用于已存在的对象赋值。同时,文章还探讨了运算符重载的规则及其应用场景,并通过实例加深理解。最后强调,若类中存在资源管理,需显式定义拷贝构造和赋值运算符以避免浅拷贝问题。
类和对象(上)(C++)
本篇内容主要讲解了C++中类的相关知识,包括类的定义、实例化及this指针的作用。详细说明了类的定义格式、成员函数默认为inline、访问限定符(public、protected、private)的使用规则,以及class与struct的区别。同时分析了类实例化的概念,对象大小的计算规则和内存对齐原则。最后介绍了this指针的工作机制,解释了成员函数如何通过隐含的this指针区分不同对象的数据。这些知识点帮助我们更好地理解C++中类的封装性和对象的实现原理。
|
1月前
|
【c++】继承(继承的定义格式、赋值兼容转换、多继承、派生类默认成员函数规则、继承与友元、继承与静态成员)
本文深入探讨了C++中的继承机制,作为面向对象编程(OOP)的核心特性之一。继承通过允许派生类扩展基类的属性和方法,极大促进了代码复用,增强了代码的可维护性和可扩展性。文章详细介绍了继承的基本概念、定义格式、继承方式(public、protected、private)、赋值兼容转换、作用域问题、默认成员函数规则、继承与友元、静态成员、多继承及菱形继承问题,并对比了继承与组合的优缺点。最后总结指出,虽然继承提高了代码灵活性和复用率,但也带来了耦合度高的问题,建议在“has-a”和“is-a”关系同时存在时优先使用组合。
103 6
类和对象(下)C++
本内容主要讲解C++中的初始化列表、类型转换、静态成员、友元、内部类、匿名对象及对象拷贝时的编译器优化。初始化列表用于成员变量定义初始化,尤其对引用、const及无默认构造函数的类类型变量至关重要。类型转换中,`explicit`可禁用隐式转换。静态成员属类而非对象,受访问限定符约束。内部类是独立类,可增强封装性。匿名对象生命周期短,常用于临时场景。编译器会优化对象拷贝以提高效率。最后,鼓励大家通过重复练习提升技能!
|
3月前
|
【C++面向对象——类与对象】Computer类(头歌实践教学平台习题)【合集】
声明一个简单的Computer类,含有数据成员芯片(cpu)、内存(ram)、光驱(cdrom)等等,以及两个公有成员函数run、stop。只能在类的内部访问。这是一种数据隐藏的机制,用于保护类的数据不被外部随意修改。根据提示,在右侧编辑器补充代码,平台会对你编写的代码进行测试。成员可以在派生类(继承该类的子类)中访问。成员,在类的外部不能直接访问。可以在类的外部直接访问。为了完成本关任务,你需要掌握。
113 19
AI助理

你好,我是AI助理

可以解答问题、推荐解决方案等