std::vector<T>::iterator能否合法为T*？标准合规性探讨

你提的这个问题戳中了C++对象模型里很容易混淆的细节，咱们一步步把它理清楚：

一、std::vector::iterator用T*实现完全合法 #

C++标准明确规定，std::vector的元素是连续存储的——这不是“内存刚好连续”的巧合，而是标准赋予的核心语义。哪怕vector底层是用placement new在大块内存里逐个构造对象，只要满足连续存储的要求，就允许把元素的指针当作数组指针来用，指针算术、数组下标访问都是完全合法的。

换句话说，标准给vector开了“绿灯”：它的元素逻辑上就是一个数组，所以用T*作为迭代器完全符合迭代器的所有要求，不存在任何未定义行为（UB）。

二、你手写的placement new代码确实存在未定义行为 #

你那个test_array函数里，array[i]当i>0时确实是UB，核心原因在于：

• 你用placement new逐个构造的对象，只是内存上连续的独立对象，并没有形成一个真正的数组对象。C++里的数组是一个单一的对象实体，包含多个元素；而这里只是多个对象挨在一起，语义上和数组完全不是一回事。
• 指针算术的规则很严格：只有当指针指向数组对象的元素时，ptr + n这种操作才是合法的。对于独立的连续对象，从第一个对象的指针+1得到第二个对象的指针，属于指针越界（哪怕内存地址完全正确），后续的array[i]等价于*(array + i)，自然就是UB。

三、std::launder的作用（以及它不能解决的问题） #

C++17引入std::launder是为了处理“内存上构造了新对象，但旧指针指向的是原始存储而非新对象”的场景——比如你用aligned_storage的内存构造对象后，需要通过指针访问新对象时，就需要std::launder来获取合法的对象指针。

但要注意：std::launder不能让非法的指针算术变得合法。哪怕你用std::launder拿到了第一个对象的指针，依然不能通过+1去访问第二个独立构造的对象——因为它们不是数组的一部分。

四、你的代码怎么修正？ #

如果要合法访问这些逐个构造的对象，应该单独获取每个对象的指针，而不是用数组下标：

template <typename T, std::size_t N, typename F>
void test_array(F func) {
    typename std::aligned_storage<sizeof(T) * N, alignof(T)>::type data;
    char* buffer = reinterpret_cast<char*>(&data);
    
    // 构造对象
    for (std::size_t i = 0; i != N; ++i) {
        new (buffer + i * sizeof(T)) T;
    }
    
    // 合法访问：逐个获取对象指针
    for (std::size_t i = 0; i != N; ++i) {
        T* elem = std::launder(reinterpret_cast<T*>(buffer + i * sizeof(T)));
        func(*elem);
    }
    
    // 合法析构
    for (std::size_t i = 0; i != N; ++i) {
        T* elem = std::launder(reinterpret_cast<T*>(buffer + i * sizeof(T)));
        elem->~T();
    }
}

如果你的场景允许构造真正的数组对象，也可以用单个placement new构造整个数组（前提是T支持默认构造）：

template <typename T, std::size_t N, typename F>
void test_array(F func) {
    typename std::aligned_storage<sizeof(T) * N, alignof(T)>::type data;
    char* buffer = reinterpret_cast<char*>(&data);
    
    // 构造整个数组对象
    T* array = new (buffer) T[N];
    
    // 此时array[i]完全合法
    for (std::size_t i = 0; i != N; ++i) {
        func(array[i]);
    }
    
    // 析构整个数组
    for (std::size_t i = 0; i != N; ++i) {
        array[i].~T();
    }
}

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