如何将std::unique_ptr<uint8_t[]>转换为结构体unique_ptr且保留缓冲区

是否存在方法将std::unique_ptr<uint8_t[]>(n)转换为std::unique_ptr<某个结构体>，使结构体指针指向原uint8_t指针的地址，同时保留该缓冲区？

示例代码：

auto buffer = std::make_unique<uint8_t[]>(100);
std::unique_ptr<dummy> header = std::move(buffer); // 编译错误

目标结构体定义：

struct dummy // 字符串数据结构
{
    uint64_t unk1; // 偏移0x0

    uint64_t string_offset; // 偏移0x8

    uint32_t c59d1c81; // 偏移0x10

    uint16_t byte_length; // 偏移0x14
    uint16_t string_length; // 偏移0x16

    uint64_t unk2; // 偏移0x18

    uint8_t* get_string() { return (uint8_t*)(uint64_t(this) + 0x8 + string_offset); }
};

注：示例中buffer包含dummy结构体的0x20字节数据，还包含可通过string_offset成员和get_string方法获取的字符串。

直接用std::move转换会失败，因为std::unique_ptr<uint8_t[]>和std::unique_ptr<dummy>的类型及默认删除器不匹配（前者用delete[]释放，后者用delete）。要实现需求，需要保证转换后的unique_ptr使用正确的删除器来释放原数组缓冲区，同时让结构体指针指向原地址，具体实现如下：

方法：指定数组删除器的unique_ptr #

通过手动构造std::unique_ptr<dummy>，传入原缓冲区的指针并指定数组类型的删除器，确保内存释放行为正确：

auto buffer = std::make_unique<uint8_t[]>(100);

// 释放原unique_ptr的所有权，转换指针类型并指定正确的删除器
std::unique_ptr<dummy, std::default_delete<uint8_t[]>> header(
    reinterpret_cast<dummy*>(buffer.release()),
    std::default_delete<uint8_t[]>()
);

关键说明 #

1. 所有权转移：用buffer.release()让原unique_ptr放弃对数组指针的所有权，避免重复释放。
2. 指针类型转换：用reinterpret_cast<dummy*>将uint8_t*转换为结构体指针，前提是你确定原缓冲区的起始地址满足dummy的对齐要求（std::make_unique<uint8_t[]>分配的内存满足基本对齐，这里没问题），且缓冲区大小足够容纳dummy结构体（示例中100字节远大于0x20字节）。
3. 删除器匹配：指定std::default_delete<uint8_t[]>作为删除器，这样当header销毁时，会调用delete[]释放缓冲区，和原unique_ptr<uint8_t[]>的释放行为一致，避免内存泄漏或错误释放。

• 必须确保原缓冲区的大小至少能容纳目标结构体的全部成员，否则访问结构体成员会触发未定义行为。
• 如果缓冲区来自外部而非std::make_unique，要额外确认缓冲区地址满足结构体的对齐要求，否则可能导致内存访问错误。

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