跟我学C++中级篇——内联补遗

2024-05-11 23:28

本文主要是介绍跟我学C++中级篇——内联补遗,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、内联引出的问题

在将一个内联变量定义到编译单元时,然后再按正常的方式使用时,编译会报一个错误“odr-used”。ODR,One Definition Rule,单一定义规则。在C/C++程序中,变量的定义只能有一处,至于ODR的规则如何定义,这个在C++的标准文档中说明的非常清楚。大家可以去查询,有时间再总结一下一起分析。
这个问题就回到了inline的问题相关,即inline(and odr-used)变量和函数,在每个编译单元是可以存在一个定义的。这也是为什么inline的变量可以在不同的编译单元使用的原因。

二、内联的优势

在前面分析的基础上,可以进一步提出,内联对编译是一种类似于提示的机制,告诉编译器,你可以看到更多的代码和更大的范围,至于能不能优化,就看编译器的能力了。
编译器在得到更多的信息后,可以有以下几个方面的优化:
1、IPO(Interprocedural Optimization)
过程优化,这个其实非常好理解,比如for循环内的变量,在低版本的编译器中可能是一个需要手动优化的目标,但在高版本编译器会自动根据情况优化到手动指定的效果。同样对于一些运算中间过程可以进行省略而直接使用结果(常量折叠)。这就需要编译器看到的代码要相对完全,包括本文提到的inline。

2、LTO(Link Time Optimization)
链接时优化,它其实是IPO的一部分。即在链接时对相关的代码进行优化。也就是说,编译器会根据不同的编译单元编译出不同的目标文件,这些目标文件就有可能进行链接时的优化。

可能有人因此会说,既然编译器如此高大威猛,为何还需要程序员小白们费心的搞这个inline?其实非常好理解,再威猛的战士也有疏漏的时候儿,不可能面面俱到,而开发者就是给编译器一个指标或者说建议,让其知晓,此处可能可以优化。另外一个就是解决文章一开头提到的ODR的问题。

三、说明

其实在前面就提到过对虚拟函数的内联优化支持,可以肯定的说,普遍意义上讲肯定是内联无法适配虚函数。但是在一些特殊的情况下,比如下面的代码:

class A{
public:virtual void Test(){...}
}
class B:public A
{
public:virtual void Test(){...}
}
inline void Get(A &a){a.Test();
}
int main(){
B b;
b.Test(b);
return 0;
}

其实这种就是典型的编译完全可以明白并确定inline函数中的a具体的对象,所以,就可以进行内联的优化处理,其它的情况也是类似。编译器对代码的优化随着技术的进步在不断的推进,比如现在的AI大模型的出现,以后会不会出现完全由编译器为主,而人为设置标记为辅的编程方式,也不好说。毕竟,AI自己编程都出现了,自已编程自己编译,自己测试并部署也不是不可能,这是不是《终结者》里的天网的雏形?

四、总结

许多的技术看起来很简单,用起来也没有什么可以体察到困难的地方。比如这个inline,反正写不写以后编译器还要看自己心情来处理。但其实真正的向内部观察其原理,会发现有很多技术点在等着你去融会贯通。可以把inline的函数和变量通过汇编去深入分析一下,再查看一下它的具体的实现和优化的过程,好多细节的明白,会是开发者提升自己能力的一个重要的契机!

这篇关于跟我学C++中级篇——内联补遗的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/980953

相关文章

Java调用C++动态库超详细步骤讲解(附源码)

《Java调用C++动态库超详细步骤讲解(附源码)》C语言因其高效和接近硬件的特性,时常会被用在性能要求较高或者需要直接操作硬件的场合,:本文主要介绍Java调用C++动态库的相关资料,文中通过代... 目录一、直接调用C++库第一步:动态库生成(vs2017+qt5.12.10)第二步:Java调用C++

C/C++错误信息处理的常见方法及函数

《C/C++错误信息处理的常见方法及函数》C/C++是两种广泛使用的编程语言,特别是在系统编程、嵌入式开发以及高性能计算领域,:本文主要介绍C/C++错误信息处理的常见方法及函数,文中通过代码介绍... 目录前言1. errno 和 perror()示例:2. strerror()示例:3. perror(

C++变换迭代器使用方法小结

《C++变换迭代器使用方法小结》本文主要介绍了C++变换迭代器使用方法小结,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1、源码2、代码解析代码解析:transform_iterator1. transform_iterat

详解C++中类的大小决定因数

《详解C++中类的大小决定因数》类的大小受多个因素影响,主要包括成员变量、对齐方式、继承关系、虚函数表等,下面就来介绍一下,具有一定的参考价值,感兴趣的可以了解一下... 目录1. 非静态数据成员示例:2. 数据对齐(Padding)示例:3. 虚函数(vtable 指针)示例:4. 继承普通继承虚继承5.

C++中std::distance使用方法示例

《C++中std::distance使用方法示例》std::distance是C++标准库中的一个函数,用于计算两个迭代器之间的距离,本文主要介绍了C++中std::distance使用方法示例,具... 目录语法使用方式解释示例输出:其他说明:总结std::distance&n编程bsp;是 C++ 标准

C++ 中的 if-constexpr语法和作用

《C++中的if-constexpr语法和作用》if-constexpr语法是C++17引入的新语法特性,也被称为常量if表达式或静态if(staticif),:本文主要介绍C++中的if-c... 目录1 if-constexpr 语法1.1 基本语法1.2 扩展说明1.2.1 条件表达式1.2.2 fa

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque

C++常见容器获取头元素的方法大全

《C++常见容器获取头元素的方法大全》在C++编程中,容器是存储和管理数据集合的重要工具,不同的容器提供了不同的接口来访问和操作其中的元素,获取容器的头元素(即第一个元素)是常见的操作之一,本文将详细... 目录一、std::vector二、std::list三、std::deque四、std::forwa

C++字符串提取和分割的多种方法

《C++字符串提取和分割的多种方法》在C++编程中,字符串处理是一个常见的任务,尤其是在需要从字符串中提取特定数据时,本文将详细探讨如何使用C++标准库中的工具来提取和分割字符串,并分析不同方法的适用... 目录1. 字符串提取的基本方法1.1 使用 std::istringstream 和 >> 操作符示