Question

由于std::array不允许更改其分配器，是否有办法确保指向数据地址的指针对齐？

例如，在GNU g ++ 4.8.4和6.1.0中，代码如下

#include <array>
#include <iostream>

int main(void)
{
  std::array<bool, 10> a;
  std::array<char, 10> b;
  std::array<int,10> c;
  std::array<long long, 10> d;
  std::array<float, 10> e;
  std::array<double, 10> f;

  std::cout << "array<bool,10>.data()       = " << a.data() << std::endl;
  std::cout << "array<char,10>.data()       = " << (void*) b.data() << std::endl;
  std::cout << "array<int,10>.data()        = " << c.data() << std::endl;
  std::cout << "array<long long, 10>.data() = " << d.data() << std::endl;
  std::cout << "array<float, 10>.data()     = " << e.data() << std::endl;
  std::cout << "array<double, 10>.data()    = " << f.data() << std::endl;

  return 0;
}

提供以下输出，显示容器数据与16字节地址对齐，无论编译x86-64位体系结构时包含的数据类型如何。

array<bool,10>.data()       = 0x7ffe660a2e40
array<char,10>.data()       = 0x7ffe660a2e30
array<int,10>.data()        = 0x7ffe660a2e00
array<long long, 10>.data() = 0x7ffe660a2db0
array<float, 10>.data()     = 0x7ffe660a2d80
array<double, 10>.data()    = 0x7ffe660a2d30

但是，对于Intel的icpc v16.0.3，结果如下所示，即使使用-align也是如此。虽然大多数容器都与16字节地址对齐，但有些（char和float数组）与较小的字节地址（分别为2字节和8字节）对齐。

array<bool,10>.data()       = 0x7ffdedcb6bf0
array<char,10>.data()       = 0x7ffdedcb6bfa
array<int,10>.data()        = 0x7ffdedcb6ba0
array<long long, 10>.data() = 0x7ffdedcb6b00
array<float, 10>.data()     = 0x7ffdedcb6bc8
array<double, 10>.data()    = 0x7ffdedcb6b50

修改

仅举例说明RustyX的提案，这是更改后的代码

#include <array>
#include <iostream>

int main(void)
{
  alignas(16) std::array<bool, 10> a;
  alignas(16) std::array<char, 10> b;
  alignas(16) std::array<int,10> c;
  alignas(16) std::array<long long, 10> d;
  alignas(16) std::array<float, 10> e;
  alignas(16) std::array<double, 10> f;

  std::cout << "array<bool,10>.data()       = " << a.data() << std::endl;
  std::cout << "array<char,10>.data()       = " << (void*) b.data() << std::endl;
  std::cout << "array<int,10>.data()        = " << c.data() << std::endl;
  std::cout << "array<long long, 10>.data() = " << d.data() << std::endl;
  std::cout << "array<float, 10>.data()     = " << e.data() << std::endl;
  std::cout << "array<double, 10>.data()    = " << f.data() << std::endl;

  return 0;
}

这是使用Intel的icpc v16.0.3进行编译时的结果。

array<bool,10>.data()       = 0x7ffe42433500
array<char,10>.data()       = 0x7ffe42433510
array<int,10>.data()        = 0x7ffe424334a0
array<long long, 10>.data() = 0x7ffe42433400
array<float, 10>.data()     = 0x7ffe424334d0
array<double, 10>.data()    = 0x7ffe42433450

Answer 1

默认情况下，编译器在对齐时会做正确的事情。

但您可以使用alignas覆盖它：

alignas(16) std::array<char, 10> b;

Postscriptum

有趣的是，英特尔编译器认为将char[]与8个字节对齐就足够了。就好像它知道在x86平台上你通过更宽的对齐而获得的收益很少。

请记住，由于内存使用量增加和缓存效率降低，太多对齐可能会降低性能。现代x86架构（Sandy Bridge和更新版本）使用未对齐数据非常有效，但无法补偿部分使用的缓存行（more info）。

如何对齐std :: array包含的数据？

1 个答案:

Postscriptum