动态分配数组

除了动态分配单个值外，我们还可以动态分配数组。与固定数组（数组大小必须在编译时固定）不同，动态分配数组允许我们在运行时选择数组长度（这意味着长度不需要是constexpr）。

要动态分配数组，我们使用数组形式的new和delete（通常称为new[]和delete[]）：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21

#include <cstddef>
#include <iostream>

int main()
{
    std::cout << "Enter a positive integer: ";
    std::size_t length{};
    std::cin >> length;

    int* array{ new int[length]{} }; // 使用数组 new。注意这里长度不再需要是常量了!

    std::cout << "I just allocated an array of integers of length " << length << '\n';

    array[0] = 5; // 将第 0 个元素设置为 5

    delete[] array; // 使用数组 delete 进行回收

    // 这里未将数组设置为nullptr，因为马上array变量要超出作用域了

    return 0;
}

因为我们分配的是数组，所以C++知道这里使用的是new的数组版本，而不是new的单个值版本。

动态分配数组的长度类型为std::size_t。如果您使用的是非constexpr int，则需要使用static_cast将长度转换为std::size_t。由于这被认为是一个窄化转换，编译器会发出警告。

请注意，由于这块内存是从堆上分配的，因此数组大小可以相当大。您可以运行上面的程序，并分配长度为1000000（甚至可能是100000000）的数组，通常不会出现问题。试试看！因此，在C++中需要分配大量内存的程序通常会采用这种方式。

动态删除数组

删除动态分配的数组时，我们必须使用delete的数组版本，即delete[]。

这会告诉系统需要清理多个变量，而不是单个变量。新程序员最常见的错误之一，是在删除动态分配的数组时使用delete而不是delete[]。在数组上使用非数组形式的delete将导致未定义的行为，例如数据损坏、内存泄漏、崩溃或其他问题。

关于数组delete[]，一个常见问题是：“delete[]如何知道要删除多少内存？”答案是，数组new[]会跟踪分配给变量的内存量，因此数组delete[]可以删除适当的数量。不幸的是，程序员无法访问这个大小/长度。

动态数组使用几乎与固定数组相同

在学习C样式数组退化时，我们知道固定数组保存第一个数组元素的内存地址。我们还了解到，固定数组可以衰减为指向数组第一个元素的指针。在这种衰减形式中，固定数组的长度不可用（因此，通过sizeof()也不能获得数组的大小），但在其他方面几乎没有区别。

动态数组本质上也是指向数组第一个元素的指针。因此，它具有相同的限制，因为它不知道自己的长度或大小。动态数组的功能与退化后的固定数组相同，但程序员需要负责通过delete[]关键字释放动态数组。

初始化动态分配的数组

如果要将动态分配的数组初始化为0，语法非常简单：

1

int* array{ new int[length]{} };

在C++11之前，没有简单的方法将动态数组初始化为非零值（初始化列表仅适用于固定数组）。这意味着您必须循环遍历数组并显式分配元素值。

1
2
3
4
5
6

int* array = new int[5];
array[0] = 9;
array[1] = 7;
array[2] = 5;
array[3] = 3;
array[4] = 1;

这非常繁琐！

然而，从C++11开始，现在可以使用初始化列表初始化动态数组！

1
2
3
4

int fixedArray[5] = { 9, 7, 5, 3, 1 }; // 初始化固定数组
int* array{ new int[5]{ 9, 7, 5, 3, 1 } }; // C++11开始，初始化动态分配的数组
// 使用auto，可以避免写两遍类型名
auto* array{ new int[5]{ 9, 7, 5, 3, 1 } };

注意，该语法在数组长度和初始值列表之间没有运算符=。

为了一致性，还可以使用统一初始化来初始化固定数组：

1
2

int fixedArray[]{ 9, 7, 5, 3, 1 }; // C++11 中初始化固定数组
char fixedArray[]{ "Hello, world!" }; // C++11 中初始化固定数组

显式声明数组的长度是可选的。

调整数组大小

动态分配数组允许您在分配时设置数组长度。然而，C++并没有提供一种内置方法来调整已经分配好的数组大小。可以通过动态分配新数组、复制元素并删除旧数组来绕过此限制。然而，这很容易出错，特别是当元素类型是类时（这些类具有管理自身创建方式的特殊规则）。

因此，我们建议避免自己这样做。请改用std::vector。