c++ - 从较小类型的指针定义的范围构造 vector

Question

在下面的代码中，一个vector<int>由 int8_t 的数组构成.它碰巧有效，但它安全吗？

int8_t *arr;
int arr_size;
... // Filling the array somehow
std::vector<int> v(arr, arr + arr_size); // Is this safe even though we use int8_t* to construct a vector of int?

文档位于 cppreference.com说:

This constructor has the same effect as vector(static_cast<size_type>(first), static_cast<value_type>(last), a) if InputIt is an integral type. (until C++11)

This overload only participates in overload resolution if InputIt satisfies InputIterator, to avoid ambiguity with the overload (2). (since C++11)

这个解释并没有给我关于我的问题的线索。事实上，这让我更加困惑，因为静态转换的模板参数似乎是非常错误的......

Answer 1

是的，这是安全的。所有标准容器都可以从任何迭代器对构造，其中迭代器值类型可以(隐式)转换为容器值类型。这同样适用于 insert 或 assign 等函数。