代码之家 › 专栏 › 技术社区 › geza

标准对未对齐的内存访问有何规定?

memory-alignment c++17 language-lawyer c++

geza · 技术社区 · 7 年前

我已经搜索了有关未对齐访问的标准,但没有找到任何内容(可能是我无意中发现的)。

是不明确的行为吗?是否定义了IT实现?

由于当前许多CPU都支持非对齐访问,因此,实现定义非对齐内存访问是明智的。是这样吗?

我指的是未对齐的访问,例如:

alignas(int) char buffer[sizeof(int)+1];
int &x = *new(buffer+1) int;
x = 42;

1 回复 | 直到 7 年前

Rakete1111 7 年前

不,是UB。不能在未对齐的内存中启动对象的生存期。从 [basic.life]p1

类型对象的生存期 T型开始时间:

适当对齐和尺寸的存储 T型获得,并且

如果对象具有非空初始化,则其初始化完成,

[…]

所以在您的示例中,引用的对象的生存期 x 甚至都没有开始,所以除了在 [basic.life]p6 是UB。

但是,您的实现所允许的是说,未对齐的内存(如所使用的底层架构所指定的)实际上是对齐的,从而使您的代码在C++抽象机下有效。不过,我不确定是否有编译器会这样做。

推荐文章

AstralHex · 矩阵乘法代码工作不正常

9 月前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

9 月前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

9 月前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

9 月前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

9 月前

Die4Toast · 递归调用成员箭头运算符->

9 月前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

9 月前

Anka HanÄ±m · 关于结构和动态数组地址的问题

9 月前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

10 月前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

10 月前