C++中零大小内存分配需返回唯一地址的设计依据是什么？

C语言中malloc(0)的行为 #

根据C11标准（7.20.3 内存管理函数）：

如果请求的空间大小为零，行为由实现定义：要么返回空指针，要么行为如同请求了某个非零大小，但返回的指针不得用于访问对象。

从实践角度看，malloc(0)可以认为总是“成功”的：

• 若返回NULL，free(NULL)是合法操作，等同于成功释放；
• 若返回非空指针，只要能正常调用free，也属于分配成功。

另外，C11标准并未要求malloc返回的地址必须唯一，仅要求指向不相交的内存区域：

分配成功时返回的指针具有适当的对齐方式，可赋值给任意类型的对象指针，用于访问分配空间中的该类型对象或对象数组（直到空间被显式释放）。分配对象的生存期从分配开始到释放结束。每次此类分配都应返回指向与其他任何对象不相交的对象的指针。

对于零大小分配来说，所有零大小对象都可视为“不相交”，所以实现可以灵活处理：多次零大小分配既可以返回相同指针（比如NULL），也可以每次返回不同指针。

C++中零大小原始内存分配的规则 #

C++98引入了原始内存分配函数：

void* operator new(std::size_t size); 
void* operator new(std::size_t size, std::align_val_t alignment); 

这些函数仅返回原始内存，不会创建或初始化任何对象。调用示例如下：

#include <iostream> 
#include <new> 
int main() { 
    void* ptr = operator new(std::size_t{0}); 
    std::cout << ptr << std::endl; 
    operator delete(ptr, std::size_t{0}); 
    return 0; 
}

根据C++17标准的[basic.stc.dynamic.allocation]章节：

即使请求的空间大小为零，请求也可能失败。若请求成功，返回的值应为非空指针值（7.11）p0，与之前返回的任何值p1不同，除非p1随后被传递给operator delete。此外，对于21.6.2.1和21.6.2.2中的库分配函数，p0应表示与调用者可访问的任何其他对象的存储不相交的存储块的地址。间接访问零大小请求返回的指针的效果是未定义的。38

也就是说，C++中零大小分配成功时必须返回唯一的非空指针，这和C的malloc行为有明显差异。

关于设计依据的分析 #

目前并没有公开的、专门针对该设计决策的官方论文，《The Design and Evolution of C++》中也未明确提及，但结合C的语言设计目标，可以做出以下合理推测（注：以下为基于C设计理念的分析，非官方明确结论）：

1. 维护对象模型的一致性
   C的核心是面向对象，每个对象（即使是后续在原始内存上构造的）都需要唯一标识。零大小内存块虽不能直接存储数据，但如果用来构造空类实例，唯一地址能保证对象的唯一性——C要求空类实例必须拥有独特地址，这是对象标识的基本要求。若零大小分配返回重复指针，会导致后续构造的对象地址冲突，破坏对象模型的一致性。

2. 简化内存管理的语义
   C++将内存分配与对象构造分离，但分配的内存块需要明确区分。要求零大小分配返回唯一非空指针，能让内存管理逻辑更统一：无论分配大小是否为零，成功分配后都得到一个唯一的、可被operator delete安全释放的标识，避免了C中实现定义的模糊性，减少不同平台的行为差异，提升代码可移植性。

3. 适配标准库的实现需求
   C++标准库的很多组件（如容器）可能涉及零大小内存分配场景。例如，某些容器在空状态下会分配零大小内存作为占位符，唯一指针能让容器内部逻辑更简单，无需特殊处理零大小分配的情况，统一对待所有分配请求。

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