65,182
社区成员
发帖
与我相关
我的任务
分享placement new[]是有毒的
对于non-pod类型返回的地址不一样
https://stackoverflow.com/questions/21441245/operator-new-and-non-pod-types
...全文
请发表友善的回复…
发表回复
xskxzr 2017-10-15
- 打赏
- 举报
简单来说就是
memory_pool mp ;
auto a = mp.alloc (3 * sizeof (int)) ;
auto b = new (&a) int[3] ;
assert (a == b) ;
这段代码没毛病
不过把int换成non-pod类型
断言就是失败[/quote]
为啥要assert a==b呢？[/quote]
兄弟，你把int换成std::string，然后去掉assert，开debug跑一下，你就会发现问题了[/quote]
我是说为啥要强行让a等于b？[/quote]
[/quote]
你把tmp申请大一点不就好了？
[/quote]
你把tmp申请大一点不就好了？
ID870177103 2017-10-12
- 打赏
- 举报
确实，我用g++4.8没有问题
而且在地址对齐方面g++也和vs有区别
ID870177103 2017-10-12
- 打赏
- 举报
额，现在就是用的这个
我函数里面加scope guard，来防止异常
然后看起来怪怪的
codedoctor 2017-10-11
- 打赏
- 举报
而且，的确如你所说，placement new[]是存在很大的问题的，所以你想用的话，最好还是挨个的用placement new 去构造对象，然后用对象指针进行管理，这样不仅方便构造，也方便析构
D41D8CD98F 2017-10-11
- 打赏
- 举报
placement new[] 确实是有毒的
不过如果是遵守 Itanium ABI 的编译器，比如 GCC，就不会出问题
https://itanium-cxx-abi.github.io/cxx-abi/abi.html#array-cookies：
No cookie is required if the new operator being used is ::operator new[](size_t, void*).
codedoctor 2017-10-11
- 打赏
- 举报
是的，而且在x64上要留8byte，我想要问的是这个是标准吗？还是说编译器执行的规范[/quote]
编译器的规范，不同的编译器实现的方式有所不同。
ID870177103 2017-10-11
- 打赏
- 举报
简单来说就是
memory_pool mp ;
auto a = mp.alloc (3 * sizeof (int)) ;
auto b = new (&a) int[3] ;
assert (a == b) ;
这段代码没毛病
不过把int换成non-pod类型
断言就是失败[/quote]
为啥要assert a==b呢？[/quote]
兄弟，你把int换成std::string，然后去掉assert，开debug跑一下，你就会发现问题了[/quote]
我是说为啥要强行让a等于b？[/quote]
ID870177103 2017-10-11
- 打赏
- 举报
是的，而且在x64上要留8byte，我想要问的是这个是标准吗？还是说编译器执行的规范
codedoctor 2017-10-11
- 打赏
- 举报
你那样会导致内存溢出。
codedoctor 2017-10-11
- 打赏
- 举报
兄弟，这个问题，非常简单。
因为对于含有显式的构造和析构函数的对象来说，编译器会在placement new的时候在对象数组前面放入一个int类型大小的数字标识有当前正有多少个对象被构建，以便于后面能够完整的析构，测试代码如下：
//测试
class A {
public:
A() { };
~A() {};
};
int main()
{
auto a = malloc(4 * sizeof(A));
auto b = new (a) A[4];
cout << (int)a << endl;
cout << (int)b << endl;
cout << *(((int*)b)-1) << endl;
system("pause");
return 0;
}15764912
15764916
4xskxzr 2017-10-09
- 打赏
- 举报
简单来说就是
memory_pool mp ;
auto a = mp.alloc (3 * sizeof (int)) ;
auto b = new (&a) int[3] ;
assert (a == b) ;
这段代码没毛病
不过把int换成non-pod类型
断言就是失败[/quote]
为啥要assert a==b呢？
xskxzr 2017-10-09
- 打赏
- 举报
简单来说就是
memory_pool mp ;
auto a = mp.alloc (3 * sizeof (int)) ;
auto b = new (&a) int[3] ;
assert (a == b) ;
这段代码没毛病
不过把int换成non-pod类型
断言就是失败[/quote]
为啥要assert a==b呢？[/quote]
兄弟，你把int换成std::string，然后去掉assert，开debug跑一下，你就会发现问题了[/quote]
我是说为啥要强行让a等于b？
ID870177103 2017-10-09
- 打赏
- 举报
简单来说就是
memory_pool mp ;
auto a = mp.alloc (3 * sizeof (int)) ;
auto b = new (&a) int[3] ;
assert (a == b) ;
这段代码没毛病
不过把int换成non-pod类型
断言就是失败[/quote]
为啥要assert a==b呢？[/quote]
兄弟，你把int换成std::string，然后去掉assert，开debug跑一下，你就会发现问题了
真相重于对错 2017-10-08
- 打赏
- 举报
一下来源自网络-----
传递给“placement new”操作符的指针所指向的内存区域必须足够大，并且可能需要为所创建的对象进行边界调整。编译器和运行时系统都不会进行任何的尝试来检查你做的是否正确。如果 类需要将边界调整为4字节，而你提供的位置没有进行边界调整的话，你就会亲手制造一个严重的灾难（如果你不明白“边界调整”的意思，那么就不要使用placement new语法）。
ID870177103 2017-10-08
- 打赏
- 举报
哦，学到了
虽然和placement new[]的问题不是一个原因
placement new[]保留了一个机器字的地址
应该是
用于有一次构造函数发生异常时
确认哪些类已经完成构造
但是如果确实想要明确阻止编译器对placement new进行进行对齐
我应该怎么做
虽然我现在使用
new (this) T
或者
char data[sizeof(T)]
new (&data) T
还没遇到过问题
ID870177103 2017-10-07
- 打赏
- 举报
上面打错字是new (a) int[3] ;
a就是指针
ID870177103 2017-10-07
- 打赏
- 举报
简单来说就是
memory_pool mp ;
auto a = mp.alloc (3 * sizeof (int)) ;
auto b = new (&a) int[3] ;
assert (a == b) ;
这段代码没毛病
不过把int换成non-pod类型
断言就是失败
xskxzr 2017-10-07
- 打赏
- 举报
跟placement new有什么关系？
