使用更小类型指针定义的范围构造vector是否安全？

嘿，这个问题问到点子上了！咱们得结合C++版本来拆解这个问题，核心是不同标准下vector构造函数的重载规则不一样：

C++11 之前：绝对不安全，纯碰运气 #

在C++11之前，vector的范围构造函数（也就是接受两个迭代器的那个）没有做迭代器类型的约束。当你把int8_t数组退化成的指针传进去时，编译器会把这个指针当成整数类型来处理，直接匹配另一个重载：

vector(size_type n, const value_type& val, const allocator& = allocator())

举个实际的例子，假设你写了：

int8_t arr[] = {1, 2, 3};
std::vector<int> v(arr, arr + 3);

在C++11之前的编译器眼里，arr（int8_t*类型）会被强制转换成size_type（通常是size_t），arr+3则被转成int。这意味着你构造出的vector会有(size_t)arr个元素，每个元素的值都是(int)(arr+3)——这完全不是你想要的结果！
你说代码“碰巧能运行”，大概率是因为你的数组地址转成size_t后是个很小的数，没把内存撑爆，但这绝对是行为未定义的，哪天环境一变就会直接崩溃，完全不可靠。

C++11 及之后：安全且符合预期 #

从C++11开始，标准做了关键修改：范围构造函数的模板参数InputIt只有在满足InputIterator概念时才会参与重载决议。而指针（包括int8_t*）天生就是合法的输入迭代器，所以这时候编译器会正确调用范围构造函数，把int8_t数组里的每个元素逐个转换为int，存入vector中，完全符合你的预期，这个操作是安全的。

总结 #

• 如果你用的是C++11或更高版本的编译器，这个操作没问题，是安全的；
• 但如果还在维护C++11之前的老代码，这种写法就是踩坑，必须改成显式转换或者用其他方式构造（比如手动循环插入）。

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