C++ Primer 笔记——动态数组

1.动态数组定义时也需要指明数组的大小，但是可以不是常量。

int i;
int arr[i];    // 错误，数组的大小必须为常量
int *p = new int[i];    // 正确，大小不必是常量

2.虽然我们通常称 new T[ ] 分配的内存为动态数组，但我们并未得到一个数组类型的对象，而是得到一个数组元素类型的指针。所以不能对动态数组调用begin或end，也不能用for语句来处理动态数组中的元素。

3.默认情况下，new分配的对象，不管是单个分配的还是数组中的，都是默认初始化的。我们可以用空括号对数组中元素进行值初始化，但是不能在括号中给出初始化器，这意味着不能用auto分配数组。

int *p = new int[3];    // 3个未初始化的int
int *p1 = new int[10]();    // 3个值初始化为0的int
int *p2 = new int[3]{ 1, 2, 3 };    // 列表初始化

4.虽然我们不能创建一个大小为0的静态数组，但是可以动态分配一个空数组，此时new返回一个合法的非空指针，此指针保证与new返回的其他任何指针都不相同。对于零长度的数组来说，此指针就像尾后指针一样，我们可以从此指针减去自身从而得到0.但是此指针不能解引用。

5.我们可以用delete [ ] 来释放数组，数组中的元素按逆序销毁，并释放对应的内存。

6.标准库提供了一个可以管理new分配数组的unique_ptr版本。

std::unique_ptr<int[]> p(new int[3]);
p[0] = 1;    // 为第一个元素赋值
p.release();    // 自动用delete[]销毁其指针

7.与unique_ptr不同，shared_ptr不直接支持管理动态数组，如果希望使用shared_ptr管理动态数组，必须提供自己定义的删除器。shared_ptr未定义下标运算符，而且智能指针类型不支持指针算术运算。因此，为了访问数组中的元素，必须用get获取一个内置指针，然后用它来访问数组元素。

std::shared_ptr<int> p(new int[10], [](int *p) {delete[] p; });    // 使用lambda释放数组
for (std::size_t i = 0; i != 10; ++i)
    *(p.get() + i) = i;    // 使用get获取一个内置指针

8.allocator是一个模板，它帮助我们将内存分配和对象构造分离开来，分配的内存是原始的，未构造的，当一个allocator对象分配内存时，会根据给定的对象类型来确定恰当的内存大小和对齐位置。

std::allocator<std::string> alloc;    // 可以分配string的allocator
auto const p = alloc.allocate(3);    // 分配n个未初始化的string
auto q = p;                        // q指向最后构造的元素之后的位置
alloc.construct(q++);            // *q为空字符串
alloc.construct(q++, 2, ‘c‘);    // *q为"cc"
alloc.construct(q++, "test");    // *q为"test"

std::cout << *p << std::endl;    // 正确,p指向第一个构造的元素
std::cout << *q << std::endl;    // 错误，q指向未构造的内存

while (q != p)
    alloc.destroy(--q);        // 执行了指向对象的析构函数 

// 元素被销毁后我们可以重新用这部分内存构造新对象，也可以将其归还给系统：
alloc.deallocate(p, 3);    // 注意这里的p不能为空，而且大小参数必须与分配时一样

9.标准库还为allocator类定义了两个伴随算法，可以在未初始化内存中创建对象。