← 返回目录

内存对齐是什么?为什么需要考虑内存对齐?

第 20 / 81 卷日期:

产生原因:

野指针通常由于不正确管理指针生命周期引起。

悬浮指针通常由于在函数中返回局部变量的引用引起。

如何避免悬浮指针

避免在函数中返回局部变量的引用。

使用返回指针或智能指针而不是引用,如果需要在函数之外使用函数内部创建的对象。

内存对齐是什么?为什么需要考虑内存对齐?

  1. 什么是内存对齐

内存对齐是指数据在内存中的存储起始地址是某个值的倍数。

在C语言中,结构体是一种复合数据类型,其构成元素既可以是基本数据类型(如int、long、float等)的变量,也可以是一些复合数据类型(如数组、结构体、联合体等)的数据单元。在结构体中,编译器为结构体的每个成员按

其自然边界(alignment)分配空间。各个成员按照它们被声明的顺序在内存中顺序存储,第一个成员的地址和整个结构体的地址相同。

为了使CPU能够对变量进行快速的访问,变量的起始地址应该具有某些特性,即所谓的“对齐”,比如4字节的int 型,其起始地址应该位于4字节的边界上,即起始地址能够被4整除,也即“对齐”跟数据在内存中的位置有关。如果

一个变量的内存地址正好位于它长度的整数倍,他就被称做自然对齐。

比如在32位cpu下,假设一个整型变量的地址为0x00000004(为4的倍数),那它就是自然对齐的,而如果其地址为 0x00000002(非4的倍数)则是非对齐的。现代计算机中内存空间都是按照byte划分的,从理论上讲似乎对任何类

型的变量的访问可以从任何地址开始,但实际情况是在访问特定类型变量的时候经常在特定的内存地址访问,这就需要各种类型数据按照一定的规则在空间上排列,而不是顺序的一个接一个的排放,这就是对齐。

  1. 为什么需要考虑内存对齐

需要字节对齐的根本原因在于CPU访问数据的效率问题。假设上面整型变量的地址不是自然对齐,比如为 0x00000002,则CPU如果取它的值的话需要访问两次内存,第一次取从0x00000002-0x00000003的一个short,

第二次取从0x00000004-0x00000005的一个short然后组合得到所要的数据,如果变量在0x00000003地址上的话则要访问三次内存,第一次为char,第二次为short,第三次为char,然后组合得到整型数据。

而如果变量在自然对齐位置上,则只要一次就可以取出数据。一些系统对对齐要求非常严格,比如sparc系统,如果取未对齐的数据会发生错误,而在x86上就不会出现错误,只是效率下降。

各个硬件平台对存储空间的处理上有很大的不同。一些平台对某些特定类型的数据只能从某些特定地址开始存取。

比如有些平台每次读都是从偶地址开始,如果一个int型(假设为32位系统)如果存放在偶地址开始的地方,那么一个读周期就可以读出这32bit,而如果存放在奇地址开始的地方,就需要2个读周期,并对两次读出的结果的高低

字节进行拼凑才能得到该32bit数据。显然在读取效率上下降很多。

大多数计算机硬件要求基本数据类型的变量在内存中的地址是它们大小的倍数。例如,一个 32 位整数通常需要在内存中对齐到 4 字节边界。

内存对齐可以提高访问内存的速度。当数据按照硬件要求的对齐方式存储时,CPU可以更高效地访问内存,减少因为不对齐而引起的性能损失。

全站分卷索引 · 81 卷
  1. 1代码随想录知识星球精华(最强八股文)第五版(C++篇)
  2. 2数据类型
  3. 3无符号类型
  4. 4static关键字的作用
  5. 5const 关键字的作用
  6. 6const和define的区别
  7. 7constexpr函数:
  8. 8constexpr的好处
  9. 9前置++与后置++
  10. 10常量指针和指针常量的区别
  11. 11函数指针和指针函数的区别
  12. 12静态局部变量\全局变量\局部变量的区别和使用场景
  13. 13C++强制类型转换
  14. 143. reinterpret_cast
  15. 15内存泄漏?如何避免?
  16. 16什么是智能指针?有哪些种类?
  17. 17new 和 malloc 有什么区别?
  18. 18什么是野指针,怎么产生的,如何避免
  19. 19野指针和悬浮指针的区别
  20. 20内存对齐是什么?为什么需要考虑内存对齐?
  21. 21测试题目
  22. 22计算机中的乱序执行
  23. 23副作用
  24. 24future库
  25. 25字符串操作函数
  26. 26C++ 面向对象
  27. 272. 封装
  28. 28什么是多重继承?
  29. 29简述一下 C++ 的重载和重写,以及它们的区别
  30. 30c++的多态如何实现
  31. 31成员函数/成员变量/静态成员函数/静态成员变量的区别
  32. 32什么是构造函数和析构函数?
  33. 33C++构造函数有几种,分别什么作用
  34. 34什么是虚函数和虚函数表?
  35. 35虚函数和纯虚函数的区别
  36. 36什么是抽象类和纯虚函数?
  37. 37说说为什么要虚析构,为什么不能虚构造
  38. 38哪些函数不能被声明为虚函数?
  39. 39运算符重载
  40. 40什么是STL,包含哪些组件
  41. 41空间配置器
  42. 42常见的STL容器
  43. 43vector容器实现与扩充
  44. 442. 扩容过程
  45. 453. vector源码
  46. 46list(链表)
  47. 47vector和list的区别
  48. 48stack && queue
  49. 49heap && priority_queue
  50. 50map && set的区别和实现原理
  51. 51map && unordered_map的区别
  52. 52push_back 和 emplace_back 的区别
  53. 53vector的实现原理
  54. 54迭代器有什么作用?什么时候迭代器会失效
  55. 55C++ 新特性
  56. 562. unique_ptr
  57. 57右值引用
  58. 58nullptr
  59. 59列表初始化
  60. 60并发
  61. 612. lock_guard
  62. 62《Effective STL》
  63. 63条款 04
  64. 64条款 07
  65. 65条款 11
  66. 66条款 12
  67. 67条款 16
  68. 68条款 19
  69. 69条款 23
  70. 70条款 27
  71. 71条款 30
  72. 72条款 35
  73. 73条款 41
  74. 74条款 44
  75. 75条款 51
  76. 76条款 07
  77. 77条款 08
  78. 78条款 10
  79. 79条款 12
  80. 80条款 35
  81. 81条款 45