数组为何永远不能为nullptr？代码疑问与设置方法咨询

为什么栈数组的arr == nullptr永远不成立？ #

你定义的int* arr[5];是栈上的数组变量，它本质是一个长度为5的int*类型数组，而非指针变量。在表达式中，数组名会隐式转换为指向数组第一个元素的指针（类型为int**），但这个指针的地址是数组在栈上的起始地址——栈上的局部变量一定会被分配内存空间，所以转换后的指针必然是有效的栈地址，永远不可能等于nullptr，因此arr is null不会被打印。

为什么未初始化的数组元素输出0？ #

栈上的局部变量如果没有显式初始化，标准C规定其值属于未定义行为，也就是值不确定。但部分编译器（比如GCC、MSVC在默认编译选项下）会自动将未初始化的栈变量清零，这是编译器的扩展行为，并非C标准要求，绝对不能在代码中依赖这个特性。

动态分配数组delete后检查nullptr仍不成立的原因 #

当你用int* arr = new int[5];动态分配数组时，arr是一个指针变量，指向堆上的数组内存。执行delete[] arr;后，只是释放了arr指向的堆内存，但指针变量arr本身的取值并没有被自动修改为nullptr——此时arr变成了悬空指针，其值还是原来分配的堆地址，只是这个地址已经不再属于你的程序，所以检查arr == nullptr自然不成立。

如何将数组相关的指针设为nullptr？ #

• 对于栈上的数组（如int* arr[5];）：数组本身是固定大小的内存块，它的地址是编译时确定的，无法将其设置为nullptr——因为数组不是指针变量，不能被赋值为指针值。
• 对于动态分配的数组：手动将指向数组的指针变量赋值为nullptr即可，示例代码：

  int main() {
      int* arr = new int[5];
      delete[] arr;
      arr = nullptr; // 手动置空指针
      if (arr == nullptr) {
          std::cout << "arr is null" << std::endl; // 此时会打印该消息
      }
  }
  

内容的提问来源于stack exchange，提问作者Humble Penguin