C++新特性“CPU优化对齐”

简介: C++新特性“CPU优化对齐”

哈喽 各位读者伙伴大家好 本篇文章讲一下C++新特性 alignas&alignof

在这之前 我们大家应该先了解一下数据对齐的问题

什么是数据对齐问题呢?

以下是两个结构体在内存中的分布图:

为什么要数据对齐呢? 首先是CPU  电脑中的CPU(单核或者多核)对数据对齐有着迫切的追求  一个好的字节长度 可以让CPU运行起来更加的轻松  不好的对齐只会让程序运行的速度减慢 甚至抛出错误

一向以高性能著称的C++语言 早在C++11之前就已经出了控制数据对齐的方法  我现在来介绍几个:

使用宏来获取数据对齐长度:

#include<cstddef>
#define ALIGNOF(type,result) \
struct type##_alignof_trick  \
{                            \
  char c;                  \
  type member;             \
};                           \
result=offsetof(type##_alignof_trick,member);
int main()
{
  int x1=0;
  ALIGNOF(short, x1);
  return 0;
}

这段代码看起来比较抽象 难以理解 我来介绍一下:

1.<cstddef>头文件

是C++标准库中的头文件,其中包含了一些与大小和指针相关的类型和函数定义。主要包括以下内容:

  1. std::size_t:无符号整数类型,用于表示对象的大小或数组的元素数量。
  2. std::ptrdiff_t:带符号整数类型,用于表示指针之间的差值。
  3. 空指针常量(nullptr):用于表示空指针。
  4. offsetof 宏:用于获取结构体成员相对于结构体起始地址的偏移量。

此外,该头文件还可能包含其他与指针、数组和内存操作相关的常量、宏和函数定义。

2. type##_alignof_trick

type##_alignof_trick 是一个宏定义中的技巧,通常用于在不支持 alignof 运算符的旧版本编译器中获取类型的对齐值。这种技巧通过创建一个包含指定类型的成员变量的结构体,并使用 offsetof 宏来计算其偏移量,从而间接地得到类型的对齐值。

3.结构体部分

结构体里面有有一个字符型成员 c 和待测类型的成员变量 member

4.\符号

反斜杠(\)被用作换行符的续行符它允许将一个长的宏定义分成多行以提高可读性。

在C和C++中,反斜杠后面跟着一个换行符会告诉编译器将该宏定义延续到下一行。这样可以将较长的宏定义分解为更易于阅读和理解的多个部分。

在这个代码中使用了多个反斜杠来将ALIGNOF宏定义拆分成多行,并确保每行结尾处没有意外的空格或其他字符。这有助于提高代码的可读性和维护性。

如果不能使用正确的\ 就会报错

C++11标准之前获取厂商的对齐长度:

在MSVC中,可以使用__alignof关键字来获取数据类型的对齐长度。例如,要获取整型变量的对齐长度,可以使用以下代码:

#include <iostream>
int main() {
    std::cout << __alignof(int) << std::endl;
    return 0;
}

GCC

在GCC中,可以使用__alignof__关键字来获取数据类型的对齐长度。例如,要获取整型变量的对齐长度,可以使用以下代码:

#include <iostream>
int main() {
    std::cout << __alignof__(int) << std::endl;
    return 0;
}

C++11 统一控制数据对齐长度的方法了

alignof运算符用于获取给定类型的对齐要求(以字节为单位)。以下是alignof运算符的使用示例:

#include <iostream>
struct MyStruct {
    int a;
    char b;
};
int main() {
    std::cout << alignof(int) << std::endl;       // 输出:4 (整型的对齐要求通常是4字节)
    std::cout << alignof(char) << std::endl;      // 输出:1 (字符类型的对齐要求通常是1字节)
    std::cout << alignof(double) << std::endl;    // 输出:8 (双精度浮点数的对齐要求通常是8字节)
    MyStruct obj;
    std::cout << alignof(MyStruct) << std::endl;  // 输出:4 (结构体MyStruct的对齐要求根据其中成员的最大对齐要求而定)
    return 0;
}

注意alignof运算符不能够测量对象的对齐长度 要想测量对象的对齐长度 使用编译器厂商提供的方法

alignas说明符定义结构体对齐长度

说明 结构体类型的对齐字节长度 总是要大于或者等于结构体成员的对齐长度 如果小于则声明失效  

以下为代码实例:

#include <iostream>
struct alignas(16) AlignedStruct {
    int a;
    char b;
};
int main() {
    alignas(8) int alignedInt;  // 将整型alignedInt的对齐要求设置为8字节
    alignas(double) char alignedCharArray[16];  // 将字符数组alignedCharArray的对齐要求设置为double的对齐要求
    std::cout << alignof(alignedInt) << std::endl;     // 输出:8 (alignedInt的对齐要求)
    std::cout << alignof(alignedCharArray) << std::endl;   // 输出:8 (alignedCharArray的对齐要求)
    AlignedStruct obj;
    std::cout << alignof(obj) << std::endl;   // 输出:16 (结构体AlignedStruct的对齐要求)
    return 0;
}

总结:alignas为设置对齐字节长度  alignof为获取字节对齐长度 使用这两个函数 可以人为设置字符对齐字节长度 对CPU的优化达到最大 也可以进行跨平台操作 这在嵌入式linux的应用中显得尤为重要

好了 本篇文章就到这里结束了 在这里 小编向大家推荐一个课程地址:

https://xxetb.xetslk.com/s/2PjJ3T

相关文章
|
1月前
|
安全 编译器 程序员
【C++篇】C++类与对象深度解析(六):全面剖析拷贝省略、RVO、NRVO优化策略
【C++篇】C++类与对象深度解析(六):全面剖析拷贝省略、RVO、NRVO优化策略
44 2
|
19天前
|
编译器 程序员 定位技术
C++ 20新特性之Concepts
在C++ 20之前,我们在编写泛型代码时,模板参数的约束往往通过复杂的SFINAE(Substitution Failure Is Not An Error)策略或繁琐的Traits类来实现。这不仅难以阅读,也非常容易出错,导致很多程序员在提及泛型编程时,总是心有余悸、脊背发凉。 在没有引入Concepts之前,我们只能依靠经验和技巧来解读编译器给出的错误信息,很容易陷入“类型迷路”。这就好比在没有GPS导航的年代,我们依靠复杂的地图和模糊的方向指示去一个陌生的地点,很容易迷路。而Concepts的引入,就像是给C++的模板系统安装了一个GPS导航仪
97 59
|
18天前
|
存储 缓存 算法
CPU优化
【10月更文挑战第7天】
25 1
|
1月前
|
安全 测试技术 C++
【C++篇】从零实现 C++ Vector:深度剖析 STL 的核心机制与优化2
【C++篇】从零实现 C++ Vector:深度剖析 STL 的核心机制与优化
57 6
|
1月前
|
安全 测试技术 C++
【C++篇】从零实现 C++ Vector:深度剖析 STL 的核心机制与优化1
【C++篇】从零实现 C++ Vector:深度剖析 STL 的核心机制与优化
46 7
|
1月前
|
存储 编译器 C++
【C++】面向对象编程的三大特性:深入解析多态机制(三)
【C++】面向对象编程的三大特性:深入解析多态机制
|
1月前
|
存储 编译器 C++
【C++】面向对象编程的三大特性:深入解析多态机制(二)
【C++】面向对象编程的三大特性:深入解析多态机制
|
1月前
|
编译器 C++
【C++】面向对象编程的三大特性:深入解析多态机制(一)
【C++】面向对象编程的三大特性:深入解析多态机制
|
13天前
|
C++
C++ 20新特性之结构化绑定
在C++ 20出现之前,当我们需要访问一个结构体或类的多个成员时,通常使用.或->操作符。对于复杂的数据结构,这种访问方式往往会显得冗长,也难以理解。C++ 20中引入的结构化绑定允许我们直接从一个聚合类型(比如:tuple、struct、class等)中提取出多个成员,并为它们分别命名。这一特性大大简化了对复杂数据结构的访问方式,使代码更加清晰、易读。
24 0
|
1月前
|
存储 编译器 C++
【C++】面向对象编程的三大特性:深入解析继承机制(三)
【C++】面向对象编程的三大特性:深入解析继承机制