内容简介：http://stackoverflow.com/questions/27003727/does-this-really-break-strict-aliasing-rules
当我用g编译这个示例代码时,我得到这个警告：
warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
代码：
#include <iostream>
int main()
{
alignas(int) char data[sizeof(int)];
int *myInt = new (data) int;
*myInt = 34;
std::cout << *reinterpret_cast<int*>(data);
}
在这种情况下,数据别名不是int,因此将其返回到int不会违反严格的别名规则？还是我在这里遗漏的东西？
编辑：奇怪,当我定义这样的数据：
alignas(int) char* data = new char[sizeof(int)];
编译器警告消失了.堆栈分配是否与严格的混叠有所不同？事实上,它是一个char []而不是一个char *意味着它不能实际上任何类型的别名？
：
If, after the lifetime of an object has ended and before the storage
which the object occupied is reused or released, a new object is
a
, a reference that referredthe name of the original object will
and, once the lifetime of thenew object has started, can be used to manipulate the new object, if :
(7.1) — [..]
the new object is of the same type as the
original object (ignoring the top-level cv-qualifiers)
,新对象不是一个char数组,而是一个int. P0137 ,正式化了指点的概念,添加了洗衣：
[ Note : If these conditions are not met, a pointer to the new object
can be obtained from a pointer that represents the address of its
storage by calling std::launder
(18.6 [support.dynamic]). — end note
]
即您的代码段可以这样纠正：
std::cout << *std::launder(reinterpret_cast<int*>(data));
..或者只是从放置新的结果初始化一个新的指针,这也消除了警告.
http://stackoverflow.com/questions/27003727/does-this-really-break-strict-aliasing-rules
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
设计模式
[美] Erich Gamma、Richard Helm、Ralph Johnson、John Vlissides / 李英军、马晓星、蔡敏、刘建中 等 / 机械工业出版社 / 2000-9 / 35.00元
这本书结合设计实作例从面向对象的设计中精选出23个设计模式，总结了面向对象设计中最有价值的经验，并且用简洁可复用的形式表达出来。书中分类描述了一组设计良好、表达清楚的软件设计模式，这些模式在实用环境下特别有用。此书适合大学计算机专业的学生、研究生及相关人员参考。 书中涉及的设计模式并不描述新的或未经证实的设计，只收录了那些在不同系统中多次使用过的成功设计。一起来看看 《设计模式》 这本书的介绍吧!
