Question

C++关于new运算符的一些问题？

#include <iostream>
#include <new> // for placement new
const int BUF = 512;
const int N = 5;
char buffer[20]; // chunk of memory
int main()
{
using namespace std;
double* p;
p = new (buffer + 5 * sizeof(double)) double[5]; //有疑问
int i;
for (i = 0; i < 5; i++)
p[i] = 2.1 * i;
for (i = 0; i < 5; i++)
cout << p[i] << " ";
}

为什么这样子不会提示缓冲区溢出，而把我写着有疑问的地方改为p=new (buffer) double[5]就会提示缓冲区溢出？

Answer 1

buffer是个地址 放到new里有这种用法？百度下new看看

追问

这是把double的数组存到buffer数组中，有这种 用法，你翻开C++primer plus这本书321页看看

Answer 2

double长度是8个字节，5个double总长40个字节；buffer才20个字节，长度不够。
p = new(buffer)double[5];即从buffer+0开始存放。代码中buffer加那个数值，已经让指针超出buffer数组有效范围了。
没报错，不一定正确啊。

追问

p = new (buffer + 5 * sizeof(double)) double[5];
这句话怎么理解

追答

p = new (buffer + 5 * sizeof(double)) double[5];

数组名与数组的首地址对应，所以buffer + 5 * sizeof(double)相当于：基于数组buffer首地址向后偏移55 * sizeof(double)个字节，即40个字节。
你声明的buffer总共才20个字节，这种偏移越界了，访问不属于你的内存。这样容易出现奇奇怪怪的错误，或者直接段错误。

追问

可是我运行这个程序没有报错，输出结果是正确的，没有错误，这又怎么回事？

追答

没有报错、结果正确，不是说程序就没有问题。
这个程序不大，溢出所占用的内存可能没有分配做其它用途，所以看不出来什么影响。
很多程序BUG就是因为这样，很难找出来。有时候表现为测试正常，发给客户，运行却崩溃了。所以，一开始就要形成良好的编程习惯，注意关注那些容易犯得编程错误，避免踩坑。

追问

好的，明白了，谢谢你这么耐心解答