std::byte与char数组的隐式对象创建问题：原始内存分配困惑

普遍观点认为std::byte可以替代char用于分配原始内存块的缓冲区，但实际存在关键差异：std::byte数组会隐式创建对象，而char数组不会，这引发了关于内存安全的担忧。根据cppreference的说明：

除常量求值期间，unsigned char或std::byte数组的生命周期开始操作会隐式创建其对象

以手动控制int对象内存分配与生命周期的场景为例：

#include <stdlib.h>
#include <memory>

int main() {
    //选项1：用char数组分配存储（无对象创建，char数组不会隐式创建对象）
    char* buffer = (char*)malloc(sizeof(int));
    
    //选项2：用std::byte数组分配存储（是否会隐式创建对象？它具备此能力）
    //std::byte* buffer = (std::byte*)malloc(sizeof(int));
    
    //显式创建int对象，启动其生命周期：
    int* ptr = ::new(buffer) int(11);

    //显式销毁int对象，结束其生命周期：
    std::destroy_at(ptr);                       
    
    //释放存储（若为std::byte数组，是否需先调用其析构函数？）：
    free(buffer);                          
}

如果我们的目标只是分配一块原始内存，用于手动创建、销毁对象（比如使用placement new），那么std::byte提前在缓冲区中创建潜在的隐式对象完全没有必要，甚至可能带来风险。相比之下，使用char数组可以避免因隐式std::byte对象引发的未定义行为——比如意外访问生命周期外的对象、释放前忘记销毁隐式对象等。毕竟我们需要的只是一块能手动管理对象的原始内存，而非附带一堆未请求的隐式对象、可能引入未定义行为的内存块。

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