首页 后端开发 C#.Net教程 C++ 函数内联

C++ 函数内联

Feb 06, 2017 pm 01:38 PM

1. 用内联取代宏代码


C++ 语言支持函数内联,其目的是为了提高函数的执行效率(速度)。

在 C 程序中,可以用宏代码提高执行效率。宏代码本身不是函数,但使用起来象函 数。 预处理器用复制宏代码的方式代替函数调用, 省去了参数压栈、 生成汇编语言的 CALL 调用、返回参数、执行 return 等过程,从而提高了速度。使用宏代码最大的缺点是容 易出错 ,预处理器在复制宏代码时常常产生意想不到的边际效应。


例如

#define MAX(a, b)         (a) > (b) ? (a) : (b)
登录后复制

语句

result = MAX(i, j) + 2 ;
登录后复制

将被预处理器解释为

result = (i) > (j) ? (i) : (j) + 2 ;
登录后复制

由于运算符‘ +’比运算符‘ :’的优先级高,所以上述语句并不等价于期望的

result = ( (i) > (j) ? (i) : (j) ) + 2 ;
登录后复制

如果把宏代码改写为

#define MAX(a, b) ( (a) > (b) ? (a) : (b) )
登录后复制

则可以解决由优先级引起的错误。但是即使使用修改后的宏代码也不是万无一失的,例 如语句

result = MAX(i++, j);
登录后复制

将被预处理器解释为

result = (i++) > (j) ? (i++) : (j);
登录后复制

对于 C++ 而言,使用宏代码还有另一种缺点:无法操作类的私有数据成员 ,也就是说宏代码基本是针对公共或全局操作的。


让我们看看 C++ 的“函数内联”是如何工作的。对于任何内联函数,编译器在符号 表里放入函数的声明(包括名字、参数类型、返回值类型) 。如果编译器没有发现内联 函数存在错误,那么该函数的代码也被放入符号表里。在调用一个内联函数时,编译器 首先检查调用是否正确(进行类型安全检查,或者进行自动类型转换,当然对所有的函 数都一样) 。如果正确,内联函数的代码就会直接替换函数调用,于是省去了函数调用 的开销。这个过程与预处理有显著的不同,因为预处理器不能进行类型安全检查 ,或者 进行自动类型转换。假如内联函数是成员函数,对象的地址( this)会被放在合适的地 方,这也是预处理器办不到的。


C++ 语言的函数内联机制既具备宏代码的效率,又增加了安全性,而且可以自由操 作类的数据成员。所以在 C++ 程序中,应该用内联函数取代所有宏代码, “断言 assert” 恐怕是唯一的例外。 assert 是仅在 Debug 版本起作用的宏,它用于检查“不应该”发生 的情况。为了不在程序的 Debug 版本和 Release 版本引起差别, assert 不应该产生任何 副作用。 如果 assert 是函数, 由于函数调用会引起内存、 代码的变动, 那么将导致 Debug 版本与 Release 版本存在差异。 所以 assert 不是函数, 而是宏。


2. 内联函数的编程风格


关键字 inline 必须与函数定义 体放在一起才能使函数成为内联 ,仅将 inline 放在 函数声明前面不起任何作用 。如下风格的函数 Foo 不能成为内联函数:

inline void Foo(int x, int y);   // inline 仅与函数声明放在一起,不起任何作用  
void Foo(int x, int y)  
{  
…  
}
登录后复制

而如下风格的函数 Foo 则成为内联函数:

void Foo(int x, int y);    
inline void Foo(int x, int y) // inline 与函数定义体放在一起  
{  
…  
}
登录后复制


所以说, inline 是一种“用于实现的关键字” ,而不是一种“用于声明的关键字” 。 一般地,用户可以阅读函数的声明,但是看不到函数的定义。尽管在大多数教科书中内 联函数的声明、定义体前面都加了 inline 关键字,但我认为 inline 不应该出现在函数 的声明中。这个细节虽然不会影响函数的功能,但是体现了高质量 C++/C 程序设计风格 的一个基本原则:声明与定义不可混为一谈,用户没有必要、也不应该知道函数是否需 要内联。


定义在类声明之中的成员函数将自动地成为内联函数,例如

class A  
{  
public:  
    void Foo(int x, int y) { … }   // 自动地成为内联函数  
}
登录后复制


将成员函数的定义体放在类声明之中虽然能带来书写上的方便,但不是一种良好的编程 风格,上例应该改成:

// 头文件  
class A  
{  
public:  
    void Foo(int x, int y);  
}  
// 定义文件  
inline void A::Foo(int x, int y)  
{  
…  
}
登录后复制

3. 慎用内联


内联能提高函数的执行效率,为什么不把所有的函数都定义成内联函数?


如果所有的函数都是内联函数,还用得着“内联”这个关键字吗?


内联是以代码膨胀 (复制)为代价,仅仅省去了函数调用的开销,从而提高函数的 执行效率。如果执行函数体内代码的时间,相比于函数调用的开销较大,那么效率的收 获会很少。另一方面,每一处内联函数的调用都要复制代码,将使程序的总代码量增大,


消耗更多的内存空间。以下情况不宜使用内联:


( 1)如果函数体内的代码比较长,使用内联将导致内存消耗代价较高。


( 2)如果函数体内出现循环,那么执行函数体内代码的时间要比函数调用的开销大。


类的构造函数和析构函数容易让人误解成使用内联更有效。要当心构造函数和析构 函数可能会隐藏一些行为,如“偷偷地”执行了基类或成员对象的构造函数和析构函数。 所以不要随便地将构造函数和析构函数的定义体放在类声明中 。

以上就是C++ 函数内联的内容,更多相关内容请关注PHP中文网(www.php.cn)!


本站声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热AI工具

Undresser.AI Undress

Undresser.AI Undress

人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover

AI Clothes Remover

用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool

Undress AI Tool

免费脱衣服图片

Clothoff.io

Clothoff.io

AI脱衣机

AI Hentai Generator

AI Hentai Generator

免费生成ai无尽的。

热工具

记事本++7.3.1

记事本++7.3.1

好用且免费的代码编辑器

SublimeText3汉化版

SublimeText3汉化版

中文版,非常好用

禅工作室 13.0.1

禅工作室 13.0.1

功能强大的PHP集成开发环境

Dreamweaver CS6

Dreamweaver CS6

视觉化网页开发工具

SublimeText3 Mac版

SublimeText3 Mac版

神级代码编辑软件(SublimeText3)

char在C语言字符串中的作用是什么 char在C语言字符串中的作用是什么 Apr 03, 2025 pm 03:15 PM

在 C 语言中,char 类型在字符串中用于:1. 存储单个字符;2. 使用数组表示字符串并以 null 终止符结束;3. 通过字符串操作函数进行操作;4. 从键盘读取或输出字符串。

在Docker环境中使用PECL安装扩展时为什么会报错?如何解决? 在Docker环境中使用PECL安装扩展时为什么会报错?如何解决? Apr 01, 2025 pm 03:06 PM

在Docker环境中使用PECL安装扩展时报错的原因及解决方法在使用Docker环境时,我们常常会遇到一些令人头疼的问�...

c上标3下标5怎么算 c上标3下标5算法教程 c上标3下标5怎么算 c上标3下标5算法教程 Apr 03, 2025 pm 10:33 PM

C35 的计算本质上是组合数学,代表从 5 个元素中选择 3 个的组合数,其计算公式为 C53 = 5! / (3! * 2!),可通过循环避免直接计算阶乘以提高效率和避免溢出。另外,理解组合的本质和掌握高效的计算方法对于解决概率统计、密码学、算法设计等领域的许多问题至关重要。

c语言多线程的四种实现方式 c语言多线程的四种实现方式 Apr 03, 2025 pm 03:00 PM

语言多线程可以大大提升程序效率,C 语言中多线程的实现方式主要有四种:创建独立进程:创建多个独立运行的进程,每个进程拥有自己的内存空间。伪多线程:在一个进程中创建多个执行流,这些执行流共享同一内存空间,并交替执行。多线程库:使用pthreads等多线程库创建和管理线程,提供了丰富的线程操作函数。协程:一种轻量级的多线程实现,将任务划分成小的子任务,轮流执行。

distinct函数用法 distance函数c  用法教程 distinct函数用法 distance函数c 用法教程 Apr 03, 2025 pm 10:27 PM

std::unique 去除容器中的相邻重复元素,并将它们移到末尾,返回指向第一个重复元素的迭代器。std::distance 计算两个迭代器之间的距离,即它们指向的元素个数。这两个函数对于优化代码和提升效率很有用,但也需要注意一些陷阱,例如:std::unique 只处理相邻的重复元素。std::distance 在处理非随机访问迭代器时效率较低。通过掌握这些特性和最佳实践,你可以充分发挥这两个函数的威力。

蛇形命名法在C语言中如何应用? 蛇形命名法在C语言中如何应用? Apr 03, 2025 pm 01:03 PM

C语言中蛇形命名法是一种编码风格约定,使用下划线连接多个单词构成变量名或函数名,以增强可读性。尽管它不会影响编译和运行,但冗长的命名、IDE支持问题和历史包袱需要考虑。

C  中releasesemaphore的用法 C 中releasesemaphore的用法 Apr 04, 2025 am 07:54 AM

C 中 release_semaphore 函数用于释放已获得的信号量,以便其他线程或进程访问共享资源。它将信号量计数增加 1,允许阻塞的线程继续执行。

Dev-C    版的问题 Dev-C 版的问题 Apr 03, 2025 pm 07:33 PM

Dev-C 4.9.9.2编译错误及解决方案在Windows11系统使用Dev-C 4.9.9.2编译程序时,编译器记录窗格可能会显示以下错误信息:gcc.exe:internalerror:aborted(programcollect2)pleasesubmitafullbugreport.seeforinstructions.尽管最终显示“编译成功”,但实际程序无法运行,并弹出“原始码档案无法编译”错误提示。这通常是因为链接器collect

See all articles