考虑以下代码:
#include <iostream>
int main()
{
char* c = new char('a');
char ac[4] = {'a', 'b', 'c', 'd'};
unsigned long long int* u = reinterpret_cast<unsigned long long int*>(c);
unsigned long long int* uc = reinterpret_cast<unsigned long long int*>(&ac[3]);
*u = 42;
*uc = 42;
std::cout<<*u<<" "<<*uc<<std::endl;
}
这是否被认为是有效的代码,或者是内存泄漏/未定义的行为?
我问,因为通过:
*u = 42;
*uc = 42;
我们正在访问程序不应访问的字节(我猜)。
*u = 42;
违反严格的别名规则会导致未定义的行为。*u
是类型的左值unsigned long long
,并且严格的别名规则规定,这只能用于访问对象(已经存在)并且具有类型long long
or unsigned long long
。但是您的代码使用它来访问数组char
.
C++ 没有针对对齐访问的特定规则(与 C 不同)。这是因为在 C++ 中,由于以下原因之一,不可能编写执行未对齐访问而不导致未定义行为的代码:
- 违反严格的别名规则。
- 访问不存在对象的内存。
- 向新的放置提供未对齐的地址。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)