Yo pensé que no compilaría porque p = new int[tam + 5]
no es una expresión válida.
En C++ hay dos formas de llamar a new
:
Reservas simples (un único elemento)
int* ptr = new int;
MiClase* obj = new MiClase(param1,param2);
Reservas de arrays (múltiples elementos)
int* ptr = new int[5]; // array de 5 elementos de tipo int
MiClase** lista = new MiClase*[10]; // array de 10 elementos de tipo MiClase*
Por otro lado, fíjate que dentro de los corchetes se indica el número de elementos que va a contener el array (dato necesario para que el sistema sepa cuántos bytes de memoria necesita). Este tamaño puede ser un valor prefijado en tiempo de compilación:
int* ptr = new int[5];
Pero también puede ser un valor proporcionado en tiempo de ejecución:
int size;
std::cin >> size;
int* ptr = new int[size];
Debido a esta segunda característica, el tamaño debe poder evaluarse en tiempo de compilación y por este motivo no hay inconveniente en que el tamaño venga dado por una ecuación:
int size;
std::cin >> size;
int* ptr = new int[size + 10];
int* ptr2 = new int[size + sin(size) * abs(size-20)];
Lo que sucede en estos casos es que se evaluará en primer lugar la expresión que indica el número de elementos y, posteriormente, se ejecutará una llamada a la función new
con el fin de reservar la memoria necesaria.
Luego, como puedes ver, la expresión que comentas es totalmente válida.
¿Qué es lo que sucede en el compilador?
No sucede nada del otro mundo. El compilador se encuentra con una llamada para reservar un array de elementos y, simplemente, realiza dicha llamada.
¿Cuál es la utilidad de dichas expresiones?
Esa llamada sirve para reservar arrays para un número indeterminado de elementos. Ni más ni menos.
¿Se usan realmente?
Lo cierto es que sí.
La reserva de memoria dinámica es un proceso bastante lento ya que implica una serie de operaciones que pueden ser bastante pesadas.
Si sabes que vas a tener que gestionar una colección de x
elementos es mucho más rápido solicitar una única reseva para almacenar esos elementos que hacer x
reservas individuales... además que con esta práctica la memoria sufrirá menos fragmentación y eso hará que la máquina se ralentice aun menos (y eventualmente que se quede sin memoria pese a tener memoria libre).
Otra ventaja respecto a las reservas individuales es que la gestión de la memoria se simplifica enormemente. No es lo mismo liberar la memoria con un único delete[]
que tener que programar un bucle que gestione múltiples borrados... las posibilidades de dejarnos memoria sin liberar en este segundo caso son mayores.
Pero claro, no siempre se puede aprovechar esta característica (por ejemplo si cada objeto tiene un ciclo de vida propio o si la lista puede crecer en el tiempo... pero si esta solución es aplicable a un problema desde luego será más rápida que andar gestionando reservas individuales.
Por otro lado, que el tamaño de la reserva venga dado por una función o una expresión no es algo dificil de encontrar. Un buffer usado para compresión puede tener un tamaño cuyo valor se base en aplicar logaritmos al tamaño del texto plano...
¿Esto está dentro de aritmética de apuntadores?
No, no se podría considerar aritmética de punteros. Esta etiqueta podría ser aplicable si el programa hubiese hecho algo así:
p + 0 = 67;
p + 1 = 72;
p + 2 = 15;
p + 3 = 81;
p + 4 = 23;
Que es lo mismo que está haciendo ahora mismo pero aplicando aritmética de punteros. C++ da para escribir muchos libros...
new int[tam + 5]
es equivalente al operadorcalloc(tam + 5, sizeof(int))
. El equivalente alfree(..)
sería el operadordelete
.