C++ asignador predeterminado: ¿qué pasaría si el tamaño no es igual al tamaño pasado a la invocación de allocate?

Question

20.6.9:

void deallocate(pointer p, size_type n); 

• requiere: p será un valor de puntero obtenida de asignar(). n será igual al valor pasado como el primer argumento a la invocación de allocate que devuelve p.
• Efectos: desasigna el almacenamiento al que hace referencia p.
• Observaciones: Utiliza :: operator delete (void *) (18.6.1), pero no se especifica cuando se llama a esta función.

lo que debería suceder si n no es igual al valor pasado como el primer agrgument a la invocación de asignar los cuales regresó p? No desasignar? ¿Lanzar std::bad_alloc? ...

EDIT: Lo que en realidad quería decir con "lo que debería ocurrir" era: ¿Estaría bien que tirar o hacer valer en una implementación personalizada?

Answer 1

Como es habitual en C++ Standard, cuando no se indica nada explícitamente, la violación de los requisitos conduce a un comportamiento indefinido. Deberá significa en todo momento debe, es un requisito, no una opción en C++ Standard.

Por ejemplo, aquí es lo que MSDN says:

El puntero _Ptr debe haber sido devuelto anteriormente por una llamada a asignar a un objeto asignador que compara igual a * esto, la asignación de un objeto de matriz del mismo tamaño y tipo .

lo que significa que el tamaño debe coincidir con precisión, de lo contrario se encontrará con un comportamiento indefinido.

Answer 2

No dice. Lo que significa que sería el desagradable "comportamiento indefinido".

Answer 3

Esto está presente en el estándar para permitir asignadores subyacentes que no conocen el tamaño de una asignación desde su puntero.

Por ejemplo, el asignador AmigaOS mantiene una lista de bloques de memoria libres e incluso permite la desasignación parcial (es decir, si asigno 1024 bytes, luego libres 512 bytes en el desplazamiento 256, termino con dos asignaciones de 256 bytes), El asignador espera que pase esta información al separador.