无忧网站优化,网络营销好不好,挂机宝可以做网站,wordpress 右侧悬浮第六章 提高性能及操作硬件的能力
6.1 常量表达式
6.1.1 运行时常量性与编译时常量性
大多数情况下#xff0c;const描述的是运行时常量性#xff0c;也即是运行时数据的不可更改性。但有时候我们需要的却是编译时的常量性#xff0c;这是const关键字无法保证的。例如const描述的是运行时常量性也即是运行时数据的不可更改性。但有时候我们需要的却是编译时的常量性这是const关键字无法保证的。例如 c11使用constexpr关键字声明常量表达式不仅限于函数也可以作用于数据声明以及类的构造函数。
6.1.2 常量表达式函数
在函数返回类型前加入关键字constexpr来使其称为常量表达式函数另外还有几点要求
1.函数体只有单一的return返回语句。
2.函数必须返回值。
3.在使用前必须已有定义。
4.return返回语句表达式中不能使用非常量表达式的函数、全局数据且必须是一个常量表达式。
多条语句的写法一般无法通过编译但是一些不会产生实际代码的语句在常量表达式函数中使用不会引起编译错误例如static_assert、using、typedef等。
6.1.3 常量表达式的值
由constexpr关键字修饰的变量就是所谓的常量表达式值。常量表达式值必须被一个常量表达式赋值必须在使用前被初始化。
编译器可以不为常量表达式的值生成数据仅将其当做编译器的值。
c11允许编译时的浮点数常量表达式的值标准要求编译时浮点常量表达式值的精度至少等于或高于运行时的浮点数常量的精度。
c11标准中constexpr关键字不能用于修饰自定义类型的定义。正确的做法是定义自定义常量构造函数。 常量表达式的构造函数也有两点约束
1.函数体必须为空。
2.初始化列表只能由常量表达式来赋值。
虽然声明的是常量表达式构造函数但编译时的常量性体现在类型上。 PRCfound的成员变量也具有编译时的常量性。
c11不允许常量表达式作用于virtual的成员函数。
6.1.4 常量表达式的其他应用
常量表达式可以用于模板函数。c11规定当声明为常量表达式的模板函数后当某个该模板函数的实例化结果不满足常量表达式的需求的话constexpr会被自动忽略。实例化后的函数将成为一个普通函数。
常量表达式可以用于递归函数。例如 基于模板的编译时期运算的编程方式通常被称为模板元编程。例如 并不是使用了constexpr编译器就一定会在编译时期对常量表达式函数进行值计算。
6.2 变长模板
6.2.1 变长函数和变长的模板参数
c11支持c99的变长宏。printf则使用了c语言的函数变长参数特征。例子 变长函数的第一个参数表示的是变长参数的个数。而被调用者中需要通过一个类型为va_list的数据结构ap来辅助地获得参数。首先使用va_start函数对ap进行初始化使得ap称为被传递的变长参数的一个句柄。而后代码再使用va_arg函数从ap中将参数一一取出用于运算。 一方面变长函数本身完全无法知道参数数量或者参数类型。另一方面c需要更为现代化的变长参数的实现方式类型和变量同时能传递给变长参数的函数。一个好的方式就是使用c的函数模板。c98中标准要求函数模板始终具有数目确定的模板参数及函数参数。
类也需要不定长度的模板参数。c98中没有变长模板tuple能够支持的模板参数数量实际上是由标准库定义了多少个不同参数版本的tuple模板而决定的。c11中tuple可以接受任意多个不同类型的元素的集合。
6.2.2 变长模板模板参数包和函数参数包
c11中的一个tuple变长类模板templatetypename ...Elements class tuple;其中Elements被称为模板参数包template parameter pack。对于实例化的tuple模板类tupleint, char, double编译器可以将多个模板参数打包为单个的模板参数包Elements即Elements在进行模板推导的时候就是一个包含int、char和double三种类型的类型集合。
与普通的模板参数类似模板参数包也可以是非类型的比如 一个模板参数包在模板推导时会被认为是模板的单个参数。为了使用模板参数包总是需要将其解包通常通过包扩展pack expansion的表达式来完成。
templatetypename ...A class Template:private BA...{};
这里的表达式A...就是一个包扩展参数包会在包扩展的位置上展开为多个参数。比如 这里类模板B总是接受两个参数的前提下如果我们声明了一个TemplateX,Y,Z就会发生模板推导的错误。c11中实现tuple模板使用了递归的手段使得模板参数包在实例化时能够层层展开直到参数包中的参数逐渐耗尽或者到达某个数量的边界为止。 除了变长的模板类在c11中还可以声明变长模板的函数。除了声明变长个模板参数的模板参数包也可以声明成函数参数包比如templatetypename ...T void f(T ...args);由于T是个变长模板参数因此args是对应于这些变长类型数据即函数参数包。c11中标准要求函数参数包必须唯一且是函数的最后一个参数模板参数包没有这样的要求。
6.2.3 变长模板进阶
标准定义了以下7种参数包可以展开的位置
1.表达式
2.初始化列表
3.基类描述列表
4.类成员初始化列表
5.模板参数列表
6.通用属性列表
7.lambda函数的捕捉列表
语言的其他地方则无法展开参数包。在不同位置展开参数包会有不同的效果例如 类似情况也发生在函数声明上 除了扩展外c11标准还引入了新的操作sizeof...作用是计算参数包中的参数个数。
变长模板的参数也可以是模板。变长模板参数也可以用于完美转发。
6.3 原子类型与原子操作
6.3.1 并行变成、多线程与c11
c11之前c/c程序使用线程主要使用POSIX线程pthread和OpenMP编译器指令两种标称模型来完成程序的线程化。
c11标准引入了多线程的支持。一个最为重要的部分是在原子操作中引入了原子类型的概念。
6.3.2 原子操作与c11原子类型
原子操作就是多线程程序中最小的且不可并行化的操作。通常情况下原子操作都是通过互斥的访问来保证的。c11标准之前需要在c/c代码中嵌入内联的汇编代码。如果想实现粗粒度的互斥借助POSIX标准的pthread库中的互斥锁也可以做到 c11对并行编程更为良好的抽象实现相同功能就简单多了 c11不需要为原子数据类型显式地声明互斥锁或调用加锁、解锁的API线程就能够对变量互斥地进行访问。c11标准定义的是原子类型而传统面向过程编程语言里使用的是原子操作。
c11与c11标准都支持原子类型。可以通过#includecstdatomic头文件来使用对应于内置类型的原子类型定义。 更为普遍地可以使用atomic类模板定义任意的原子类型例如std::atomicT t;而c11则需要使用新关键字_Atomic来完成。
多个线程通常只能访问单个原子类型的拷贝因此原子类型只能从其模板参数类型中进行构造不允许原子类型进行拷贝构造、移动构造以及使用operator等以防发生意外。
不过从atomicT类型的变量来构造其模板参数类型T的变量则是可以的。比如 因为atomic类模板总是定义了从atomicT到T的类型转换函数。
原子类型能够在线程间保持原子性主要还是因为编译器能够保证针对原子类型的操作都是原子操作。c11标准将对原子操作定义为atomic模板类的成员函数对于内置类型而言主要是重载一些全局操作符来完成的。 对于大多数原子类型而言都可以执行读load写store、交换exchange、比较并交换compare_exchange_weak/compare_exchange_strong等操作。 atomic_flag是无锁的
c11原子操作还可以包含一个参数memory_order。
6.3.3 内存模型顺序一致性与memory_order
内存模型通常是一个硬件上的概念表示的是机器指令是以什么样的顺序被处理器执行的。如果处理器的执行顺序总是按指令顺序通常称这样的内存模型为强顺序的。反之则为弱顺序的。如果允许编译器在单个线程中打乱指令的运行顺序则可能提升并行程序的性能。弱顺序内存模型的平台如果要保证指令执行顺序通常要在汇编指令中加入一条所谓的内存栅栏指令。例如PowerPC中的sync指令迫使已经进入流水线中的指令都完成后处理器才执行sync以后的指令。
c11中的内存模型要保证代码的顺序一致性必须同时做到
1.编译器保证原子操作的指令间顺序不变即保证产生的读写原子类型的变量的机器指令与代码编写者看到的是一致的。
2.处理器对原子操作的汇编指令的执行顺序不变。对于x86这样的强顺序的体系结构而言并没有问题而对于PowerPC这样的弱顺序的体系结构而言则要求编译器在每次原子操作后加入内存栅栏。
c11中原子类型的成员函数总是保证了顺序一致性。对于x86平台来说禁止了编译器对原子类型变量间的重排序优化对于PowerPC这样的平台不仅禁止了编译器优化还插入了大量的内存栅栏。对于意图提高性能的多线程程序而言无疑是一种性能伤害。
c11中设计者给出的解决方式是让程序员为原子操作指定所谓的内存顺序memory_order。 相关使用未完待续。。。
6.4 线程局部存储
线程局部存储变量就是拥有线程生命期及线程可见性的变量。c11使用thread_local修饰符声明线性局部存储变量。TLS变量的内存的静态/动态分配问题经常被讨论。而c11标准只对语法做了统一对其实现并没有做任何性能上的规定。如果想得到最佳的平台上的TLS运行性能最好还是阅读代码运行平台的相关文档。
6.5 快速退出quick_exit与at_quick_exit
有关终止的函数
terminateterminate函数式c异常处理的一部分包含在exception头文件里。没有被捕捉的异常就会导致terminate函数的调用。terminate函数在默认情况下会调用abort函数不过用户可以通过set_terminate函数来改变默认行为。
abortabort函数不会调用任何析构函数默认情况下它会向合乎POSIX标准的系统抛出一个信号SIGABRT。如果为信号设定一个信号处理程序的话操作系统将默认地释放进程所有的资源从而终止程序。
exitexit函数会正常调动自动变量的析构函数还会调用atexit注册的函数属于正常退出的范畴。
main或者使用exit函数调用结束程序会导致类的析构函数依次将零散的内存还给操作系统这是意见费时的工作实际上这些内存将在进程结束时由操作系统统一回收。这种情况下我们往往需要能够更快地退出程序。
在多线程情况下我们要使用 exit 函数来退出程序的话通常需要向线程发出一个信号并等待线程结束后再执行析构函数、atexit 注册的函数等。这样的退出方式有的时候并不能够像预期那样工作比如说线程中的程序在等待 I/O 行结束等。在一些更为复杂的情况下可能还会遭遇到一些因为信号顺序而导致的死锁状况。一旦出现了这样的问题程序往往就会被“卡死”而无法退出。
为此c11标准引入了quick_exit函数该函数不执行析构函数而只是使程序终止。quick_exit函数也属于正常退出。使用at_quick_exit注册函数也可以在quick_exit的时候被调用。
