允许使用free(NULL)和:: operator delete(NULL).分配器概念(例如std :: allocator是否也允许deallocate(NULL,1),还是需要自己保护它？
解决方法
您需要添加自己的支票.
根据§20.4.1.1/ 8,解除分配要求：
p shall be a pointer value obtained from allocate(). n shall equal the value passed as the
first argument to the invocation of allocate which returned p.
当无法提供存储时,allocate会抛出异常(§20.4.1.1/ 7).换句话说,allocate永远不会返回0,因此deallocate永远不会得到0.传递0将导致未定义的行为.
