C++——内联函数|auto关键字

简介: 笔记

内联函数


内联函数介绍

C语言中,宏有一些缺点如:可读性差,没类型安全检查,不方便调试 ,C++中为了解决这个问题,提出了内联函数


以inline修饰的函数叫做内联函数,编译时C++编译器会在调用内联函数的地方展开,没有函数调用建立栈帧的开销,内联函数提升程序运行的效率。


先观察下列函数的反汇编,这个call指令就说明创建了函数的栈帧,也就是当前情况下函数没有被展开,如果函数被展开了就不会创建栈帧

1.png2.png

当我们加上inline,再观察

3.png4.png

此时反汇编里仍然有这个call指令,说明加了inline之后还是会创建栈帧。

5.png

选择程序数据库

6.png

选择只适用于inline

此时再进行调试,观察反汇编,我们发现此时fun(10,20)语句后没有call指令,说明此时函数被展开了,也就是没有创建栈帧

7.png

内联函数有宏的有点,也改善了宏的缺点,C++中推荐使用内联函数


《effectiveC++》中有一个条款说明:


尽量使用const,enum,inline去替代宏


内联特性

inline对编译器而言只是一个建议,听不听取这个建议由编译器决定


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

8.png

特性2: inline是一种以空间换时间的做法,如果编译器将函数当成内联函数处理,在编译阶段,会用函数体替换函数调用,缺陷:可能会使目标文件变大,优势:少了调用开销,提高程序运行效率。


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

9.png10.png

11.png

将声明和定义分离,之后运行,发生链接错误12.png

这是因为,对inline void fun而言,编译器认为这是内联函数,但在展开的时候没办法展开,就要创建栈帧,创建栈帧就要调用call指令,执行call就需要一个地址,但是找不到这个地址,因为在生成符号表的时候认为它是内联函数,它没有符号表,所以在链接阶段会报错

13.png

auto关键字(C++11)和范围for


auto用来自动推导类型

14.png

自动推导函数的返回类型

15.png

也可以这样来打印数组,这个叫范围for,自动推导类型,然后自动依次取arr里面的数据,赋值给e

int main()
{
  int arr[] = { 1,2,3,4,5,6,7,8,9,10 };
  for (int i = 0; i < sizeof(arr) / sizeof(arr[0]); i++)
  {
    cout << arr[i] << " ";
  }
  cout << endl;
  for (auto e : arr)
  {
    cout << e << " ";
  }
  cout << endl;
  return 0;
}

16.png当类型比较长的时候,auto可以自动推导

auto的其它用法

17.png

此时会报错,这样写有提醒作用

18.png19.png

用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须加&,如果不加就是创建了一个新的变量


修改下列数组,我们发现使用e--之后,数组并没发生变化,因为e是数组的一份拷贝,把数组的值依次赋值给e,然后对e--,但对数组本身没有产生任何影响

20.png21.png

当使用引用后,可以修改arr数组

但不能将这里改为指针

22.png23.png24.png26.png

这样写可以27.png

这样写不行

当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际只对第一个类型进行推导,然后用推导出来的类型定义其他变量

 

auto ,范围for不能推导的情景

28.png

因为编译的时候要生成指令,生成指令就要建立栈帧,参数的变量在栈帧里面,此时由于不知道a,b的类型就不知道开多大的栈帧,所以会报错

auto不能直接用来声明数组

29.png

这块不能用范围for,这里只是传了一个指针过去,而不是整个数组,范围for必须确定范围


for循环迭代的范围必须是确定的

对于数组而言,就是数组中第一个元素和最后一个元素的范围;对于类而言,应该提供begin和end的方法,begin和end就是for循环迭代的范围。

注意:以下代码就有问题,因为for的范围不确定

30.png

指针空值nullptr(C++11)



C语言中空指针是NULL,在C++中NULL是0,形成是可以不接收实参的

31.png

相关文章
|
4月前
|
存储 编译器 程序员
c++的类(附含explicit关键字,友元,内部类)
本文介绍了C++中类的核心概念与用法,涵盖封装、继承、多态三大特性。重点讲解了类的定义(`class`与`struct`)、访问限定符(`private`、`public`、`protected`)、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数(构造函数、析构函数、拷贝构造、赋值重载)以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员(变量与函数)、友元(友元函数与友元类)的概念及其使用场景,并简要介绍了内部类的特性。
173 0
|
8月前
|
安全 编译器 程序员
C++ noexcept 关键字的关键作用
`noexcept` 关键字在 C++ 中扮演着重要角色,通过正确使用 `noexcept`,可以提升程序的性能、增强代码的可读性和安全性,并且有助于编译器进行优化。在编写 C++ 代码时,应仔细考虑每个函数是否应该声明为 `noexcept`,以充分利用这一特性带来的优势。通过本文的介绍,希望开发者能够更好地理解和应用 `noexcept` 关键字,从而编写出更加高效、健壮的 C++ 程序。
240 8
|
10月前
|
安全 编译器 C++
C++ `noexcept` 关键字的深入解析
`noexcept` 关键字在 C++ 中用于指示函数不会抛出异常,有助于编译器优化和提高程序的可靠性。它可以减少代码大小、提高执行效率,并增强程序的稳定性和可预测性。`noexcept` 还可以影响函数重载和模板特化的决策。使用时需谨慎,确保函数确实不会抛出异常,否则可能导致程序崩溃。通过合理使用 `noexcept`,开发者可以编写出更高效、更可靠的 C++ 代码。
294 1
|
12月前
|
存储 安全 编译器
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值(一)
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值
165 1
|
12月前
|
存储 编译器 程序员
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值(二)
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值
131 0
|
8月前
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
4月前
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
95 0
|
6月前
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
184 12
|
7月前
|
设计模式 安全 C++
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨,我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性,而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧,对于提升C++编程水平至关重要。
131 16
|
8月前
|
编译器 C语言 C++
类和对象的简述(c++篇)
类和对象的简述(c++篇)