为什么新的int（）像c＆＃x2b;＆＃x2b;中的数组一样工作？

Question

据我所知，

int* p = new int();

就像用构造函数创建int一样。如果是这样，为什么以下代码像数组一样工作？

int* p = new int();
    
*p = 5;
    
p[1] = 15;
    
for (int i = 0; i < 2; i++)
    cout << p[i] << endl;

5
15

Answer 1

为什么新的int（）像c ++？

中的数组一样工作

为什么新的int（）像c ++？ p [1] 施加了访问存储在指向的内存位置的值的指针，该符号类似于数组符号，它是允许的，并且优先于指针表示法，因为它更可读取。

---

据我了解，

  int* p = new int（）;
 

就像用构造函数创建 int 。

一个 int 并将内存地址分配给指针 p 。

请注意，它可以是 int* p = new Int [2] ，它是完全相同的指针，但是在这种情况下，由 new> new 返回的内存块适用于2 <代码> int 而不仅仅是一个，顺便说一句，这将使您的代码的其余部分有效，除了您不 delete 由 new 分配的内存，这会导致内存泄漏。

现在考虑以下代码：

int arr[10];
int* p = arr;

在这种情况下，您的指针完全相同，但它将指向具有自动存储持续时间的数组的第一个元素。

指针不知道它指出了多少内存，因为它指向给定内存块中的第一个元素，因为程序并不明显该块有多大。在索引指针时，不超越该内存的是程序员的责任。

要注意的一件重要的事情是，在某些情况下，其他语言可能会阻止您踩踏它，C ++没有，它信任程序员制作正确的代码，这就是为什么通常很难成为C ++程序员的原因。

---

正如已经指出的那样，您的程序在。注意链接资源的第一个短语，它简单地指出：

[未定义的行为] 如果违反该语言的某些规则

，则使整个程序毫无意义

情况，那么您所访问的内存就毫无意义，而您所访问的内存位于手动内存分配所定义的界限之外。输出是您期望的事实是（不好，我会说）运气，它可能会在今天输出正确的结果并明天崩溃，谁知道。

您可以通过上面的示例看到这种情况很难诊断，这是3个样本案例完全相同的类型。

无论如何，有一些方法可以诊断出这种记忆问题，例如 valgrind 和 GCC地址消毒剂等。

---

附带说明，避免使用原始指针，请使用智能指针或一个 c ++容器如果可能的话。

我还鼓励您获得有关。

Answer 2

为什么以下代码像数组一样工作？

不是。该程序具有未定义的行为意味着它仍然存在错误，即使它没有明确说明并且“似乎正在起作用”。这是由于您的程序中使用了表达式 p [1] 和 p [i] 。

未定义的行为意味着任何事情 ¹ 可能发生，包括但不限于 提供了预期的输出。但是，永远不要依靠（或基于结论），这是基于具有不确定行为的程序的输出。该程序可能只是崩溃。

因此，您看到的（也许看到）的输出是不确定行为的结果。正如我所说，不依赖具有UB程序的程序的输出。该程序可能只是崩溃。

因此，使程序正确的第一步是删除UB。 然后，只有这样，您才能开始对程序的输出进行推理。

---

^{1 有关未定义行为的更精确的定义，请参见 提到的地方：对程序的行为没有任何限制。}