C++生命周期模型：span<T>缓冲区视图与placement-new初始化指针有何差异？

你提到的两种方式虽然表面都支持数组式读写，但在C++对象模型的合法性、语义用途上有本质区别，以下是具体拆解：

1. 对象生命周期的合法性（最核心差异） #

• placement-new：new (buffer) Page 的作用是显式在指定内存地址构造一个合法的Page对象，会触发对象的构造函数（哪怕是默认构造），让这块内存区域正式成为C++标准定义的"活对象"。但你的示例代码里只构造了第0个Page，page_ptrs[1]属于访问未构造的内存，是未定义行为（UB）——只是因为Page是简单POD类型，编译器没暴露问题而已。
• std::span<T>：它只是一个非拥有型的视图层，不会构造任何对象，也不关心底层内存里是否存在合法的T对象。你用span访问pages[1]，本质是把原始内存字节强行解释为Page类型，直接读写成员同样属于UB（如果内存里没有合法构造的Page），只是实际运行中看起来正常。

2. 语义与适用场景 #

• placement-new：属于C++对象创建流程的一部分，用于在预分配的内存上构造对象，是内存池、自定义分配器等场景的核心操作。它的目的是让内存从"原始字节"变成"合法对象"。
• std::span<T>：本质是"数组包装器"，目的是给一段连续内存提供安全、简洁的数组式访问接口，避免裸指针的不安全操作。它的前提是底层内存已经存在合法的T对象序列（比如std::vector的缓冲区、静态数组），只是用span简化接口传递。

3. 示例代码中的隐藏问题 #

你的示例里两种操作都存在标准合规性问题：

• Page* page_ptrs = new (buffer) Page; 仅构造了第一个Page，后续page_ptrs[1]到page_ptrs[4]都是未构造的内存，访问它们违反C++对象模型。
• std::span<Page>(reinterpret_cast<Page*>(buffer), 5) 直接把未构造的内存当成5个Page的数组，读写成员同样属于UB。

修正后的合法示例 #

如果要合法使用placement-new构造多个对象：

#include <cstddef>
#include <cstdio>
#include <span>
#include <cassert>

struct alignas(4096) Page { int id; };
alignas(4096) std::byte buffer[4096 * 5];

int main()
{
    // 合法构造5个Page对象
    Page* page_ptrs = reinterpret_cast<Page*>(buffer);
    for (int i = 0; i < 5; ++i) {
        new (&page_ptrs[i]) Page; // 在每个位置构造Page
    }

    // 基于已构造的对象创建span视图
    auto pages = std::span<Page>(page_ptrs, 5);

    // 此时所有访问都是合法的
    pages[0].id = 1;
    pages[1].id = 2;
    assert(page_ptrs[0].id == 1);
    assert(page_ptrs[1].id == 2);

    // 记得手动析构（如果是非POD类型）
    for (int i = 0; i < 5; ++i) {
        page_ptrs[i].~Page();
    }
}

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