tamaño de la matriz dinámicamente asignada

Question

¿Es cierto que un puntero asignado a la dirección de inicio de una matriz dinámicamente asignada no tiene la información del tamaño de la matriz? Entonces tenemos que usar otra variable para almacenar su tamaño para luego procesar la matriz a través del puntero.

Pero cuando liberamos la matriz dinámicamente asignada, no especificamos el tamaño, sino que simplemente "ptr libre" o "eliminar [] ptr". ¿Cómo podría liberar o eliminar el tamaño de la matriz? ¿Podemos usar el mismo esquema para evitar almacenar el tamaño de la matriz en otra variable?

Gracias!

Answer 1

Sí, esto es cierto.

delete conoce el tamaño del fragmento de memoria porque new agrega información adicional al fragmento (generalmente antes de que el área sea devuelta al usuario), que contiene su tamaño, junto con otra información. Tenga en cuenta que esto es muy específico de la implementación y su código no debe usarlo.

Así que para responder a su última pregunta: No - no podemos usarlo - es un detalle de implementación que depende de la plataforma y del compilador.

---

Por ejemplo, en el asignador de memoria de muestras demostrado en K & R2, este es el "header" colocado antes de cada trozo asignado:

typedef long Align; /* for alignment to long boundary */ 

union header { /* block header */ 
    struct { 
    union header *ptr; /* next block if on free list */ 
    unsigned size; /* size of this block */ 
    } s; 

    Align x; /* force alignment of blocks */ 
}; 

typedef union header Header; 

size es el tamaño del bloque asignado (que es luego usado por free, o delete).

Answer 2

Es cierto que la matriz no contiene el tamaño de la matriz, debe almacenar esa información para más adelante. Cuando borre una matriz a través de delete o free, será el puntero a la memoria asignada que pase. El administrador de memoria utilizado (ya sea por el sistema o por su propia costumbre al anular el nuevo y eliminar) conoce el área de memoria que se libera y realiza un seguimiento de la misma. Espero que tenga sentido.

Answer 3

Sí, es cierto. Esto es parte de por qué rara vez debe tratar de lidiar con esto directamente, y usar un contenedor estándar en su lugar. El único momento en que tiene sentido tratar con esto es si usted mismo decide implementar un contenedor (en ese caso, normalmente hará un seguimiento de la información de tamaño en la implementación de su contenedor).

Answer 4

Lo curioso es que históricamente era delete [20] arr; como lo es arr = new int[20]. Sin embargo, la práctica demostró que el asignador puede almacenar sin problemas la información sobre el tamaño, y dado que la mayoría de las personas que la usaban la almacenaban de todos modos, se agregó al estándar.

Lo que es más divertido, y poco conocido, es el hecho de que esta "sintaxis de eliminación extendida" es respaldada por algunos compiladores de C++ (a pesar de ser incorrecto incluso ante el estándar C++ 98), aunque ninguno lo requiere

int* arr = new int[20]; 
delete [20] arr; 

La parte triste de todo esto es sin embargo, que no hay manera de que sigan los estándares para recuperar ese tamaño aprobado para su uso: -/