C++20中拼接header与data对象通过偏移访问是否存在UB？

1. 现有代码存在未定义行为，仅补充std::launder不足以解决问题 #

核心UB来源是指针算术操作不符合C++标准约束：

• C++规定指针算术只能在同一个数组对象的边界内执行，单个对象被视为长度为1的数组。你代码中this是header对象的指针，转成std::byte*后合法偏移范围仅为[0, sizeof(header))，超出范围做加法直接触发UB，和后续是否使用std::launder无关。
• 额外约束：如果header不是标准布局类型，即使偏移后地址落在存储块范围内，通过this指针偏移获取的地址也无法保证指向有效存储。

2. 合规实现方案 #

方案一：外层包装聚合结构（完全符合C++20标准，无额外开销） #

通过模板定义外层聚合结构，同时容纳header和data的存储，既满足data不是header子对象的要求，也不需要在header中存储指针，所有偏移计算都可以被编译器优化掉：

#include <new>
#include <cstddef>
#include <algorithm>

struct header
{
    int a1;
    int a2;
    // 其他header成员
};

template<typename Data>
struct alignas(std::max(alignof(header), alignof(Data))) Frame
{
    header h;
    alignas(alignof(Data)) std::byte data_buf[sizeof(Data)];

    Data& get_data() {
        return *std::launder(reinterpret_cast<Data*>(data_buf));
    }
};

void example()
{
    Frame<data> f;
    new (&f.h) header;
    new (f.data_buf) data;

    f.get_data().use(); // 完全合法无UB
    // 若需要单独传递header指针，后续也可通过header指针转换回Frame指针，无运行时开销
}

方案二：限定header为标准布局类型，适配从header直接访问的需求 #

如果必须从header实例直接访问后续的data，可将header定义为标准布局类型，此时reinterpret_cast<std::byte*>(this)等价于header所在存储块的首地址，只要保证偏移后地址在存储块范围内，指针算术就合法：

#include <new>
#include <cstddef>
#include <type_traits>
#include <algorithm>

// 标准布局要求：所有非静态成员访问控制相同、无虚函数/虚基类、所有基类也为标准布局
struct header
{
    int a1;
    int a2;
    // 其他成员全部为public，无const/引用非静态成员，无虚函数
    static_assert(std::is_standard_layout_v<header>);

    template<typename Data>
    std::byte* get_data_bytes()
    {
        return align_up<Data>(reinterpret_cast<std::byte*>(this) + sizeof(*this));
    }

    template<typename Data>
    Data& get_data()
    {
        return *std::launder(reinterpret_cast<Data*>(get_data_bytes<Data>()));
    }

    void use_data()
    {
        get_data<data>().use();
    }
};

void example()
{
    // 存储块对齐取两者最大值，预留足够空间容纳对齐开销
    alignas(std::max(alignof(header), alignof(data))) 
    std::byte storage[sizeof(header) + alignof(data) + sizeof(data)];
    
    auto h = new (storage) header;
    new (h->get_data_bytes<data>()) data;
    
    h->use_data(); // 无UB
}

该方案约束如下：

• header必须是标准布局类型
• 必须保证header后的存储块有足够空间容纳对齐后的data
• data类型不能有const或引用类型的非静态成员，否则std::launder无法返回合法指针

如果可以接受编译器扩展，GCC、Clang、MSVC都支持C风格灵活数组成员扩展，实践中也可使用，但不属于C++标准特性。

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