允许C ++分配器<x> :: deallocate（NULL，1）？</x>

Question

允许free(NULL)和::operator delete(NULL)。分配器概念（例如std :: allocator是否也允许deallocate(NULL,1)，还是需要自己保护它？

Answer 1

您需要添加自己的支票。

根据§20.4.1.1/ 8，deallocate要求：

  

p应该是从allocate（）获得的指针值。 n应等于作为传递的值   调用allocate的第一个参数返回p。

allocate在无法提供存储时抛出异常（§20.4.1.1/ 7）。换句话说，allocate永远不会返回0，因此deallocate永远不会得到0.传递0将导致未定义的行为。