C++-std：：Initializer_List与std：：span

std：：initializer_list和

---

解决方案

简而言之，std::initializer_list<T>用于创建新区域，用于初始化。而std::span<T>用于引用现有范围，以获得更好的接口。

---

std::initializer_list<T>是一种语言特性，它实际构造并拥有一个新数组。解决了容器如何方便初始化的问题：

template <typename T>
struct vector {
    vector(std::initializer_list<T>);
};

vector<int> v = {1, 2, 3, 4};

这会动态创建一个包含四个整数的std::initializer_list<int>，并将其传递给vector，以便它可以正确地构造自身。

这确实是唯一应该使用std::initializer_list<T>的地方：为了方便起见，可以使用构造函数或函数参数来动态传入范围(单元测试是需要这种便利的常见位置)。

---

std::span<T>则用于引用现有范围。它的工作是替换以下形式的函数：

void do_something(int*, size_t);

与

void do_something(std::span<int>);

这使得这类函数通常更易于使用和更安全。std::span可以从任何适当的连续范围构造，因此以前面的示例为例：

std::vector<int> v = {1, 2, 3, 4};
do_something(v); // ok

它还可以用来替换以下形式的函数：

void do_something_else(std::vector<unsigned char> const&);

只能通过vector调用，更一般的是：

void do_something_else(std::span<unsigned char const>);

可以通过unsigned char上的任何后备连续存储来调用。

对于span，您必须小心，因为它基本上是一个引用，只是不会用&拼写，但它是一个非常有用的类型。