Ambos free(NULL) y ::operator delete(NULL) están permitidos. ¿El concepto de imputación (por ejemplo, std :: asignador también permiten deallocate(NULL,1), o es necesario para poner su propia guardia alrededor de él?C++ allocator <X> :: deallocate (NULL, 1) permitido?
Usted tendrá que añadir su propio cheque.
Según §20.4. 1,1/8, deallocate requiere:
..p será un valor de puntero obtenida de asignar() n será igual al valor pasado como el primer argumento de la invocación de asignar que volvió p
allocate arroja una excepción cuando no se puede dar el almacenamiento (§20.4.1.1/7). En otras palabras, allocate nunca devuelve 0, y por lo tanto deallocate nunca debería obtener un 0. Pasar un 0 daría lugar a un comportamiento indefinido.
Gracias, eso es lo que temía. –