20.6.9：
void deallocate(pointer p,size_type n);
>要求：p应为从allocate()获得的指针值. n应该将作为第一个参数传递的值等于返回p的allocate的调用.
>效果：释放p引用的存储.
>备注：使用:: operator delete(void *)(18.6.1),但调用此函数时未指定.
如果ndoes不等于作为第一个agrgument传递给返回p的allocate调用的值,会发生什么？不解除分配？抛出std :: bad_alloc？ …
编辑：
我实际上对“应该发生什么”的意思是：在自定义实现中抛出或断言是否可以？
解决方法
像往常一样在C标准中,当没有明确说明时,违反要求会导致不确定的行为.在任何时候都必须,这是一项要求,而不是C标准中的一个选项.
例如,这是什么MSDN says：
The pointer _Ptr must have been returned earlier by a call to allocate for an allocator object that compares equal to *this,allocating an array object of the same size and type.
这意味着大小必须精确匹配,否则会遇到未定义的行为.
