¿Qué significa int*[n]
?
Para responder, vamos a dividir la sentencia en partes:
// _____ Formación de 'n' elementos de tipo 'int*'
// /
// /
// vvvvvvvv
int* [n]
// ^^^^ ^^^
// \ \
// \ \_____ Tamaño de la formación (n)
// \
// \_____ Tipo de dato: puntero (*) a entero (int)
Lo qué significa int*[n]
es: formación1 de n
elementos de tipo int*
.
Las formaciones multidimensionales necesitan punteros a punteros por la manera en que se organizan los datos en memoria, imagina que tienes una tabla de 3×3:
columnas
|
v
+---+---+---+
filas -> | 0 | 1 | 2 |
+---+---+---+
| 3 | 4 | 5 |
+---+---+---+
| 6 | 7 | 8 |
+---+---+---+
Cada fila, está formada por tres elementos ¿De qué manera c y c++ organizan colecciones de datos? Con formaciones, así que cada fila es una formación de tres elementos (que serán las columnas).
+---+---+---+
1ª fila (int*) -> | 0 | 1 | 2 |
+---+---+---+
+---+---+---+
2ª fila (int*) -> | 3 | 4 | 5 |
+---+---+---+
+---+---+---+
3ª fila (int*) -> | 6 | 7 | 8 |
+---+---+---+
Para apuntar a un dato de un tipo, necesitas un puntero a ese tipo; este puntero no es más que el nombre del tipo acompañado de un asterisco:
int i; // Número entero (int).
int *pi; // Puntero (*) a número entero (int).
float f; // Número en coma flotante (float) de precisión simple.
float *pf; // Puntero (*) a número en coma flotante (float) de precisión simple.
Por lo tanto, si cada fila es una colección de elementos apuntados por un puntero a entero (int*
) para apuntar a una fila necesitas un puntero a un puntero a entero (int**
). De la misma manera, al usar el operador de indizado (los corchetes []
) sobre un puntero, obtienes un elemento en la posición indicada, este elemento será del tipo del puntero pero sin el puntero, suponiendo una tabla de 3×3 llamada tabla
:
int *primera_fila = tabla[0];
int *segunda_fila = tabla[1];
int *tercera_fila = tabla[2];
La tabla necesita apuntar a filas, cada fila necesita apuntar a enteros. Así que cada fila será un puntero a entero (int*
) y la tabla será un puntero a filas, es decir un puntero a puntero a entero (int*
).
Lo que no entiendo es que significa int*[n];
y tabla[i] = new int[m]
en el bucle.
Cuando creas un puntero, el puntero no apunta a ningún sitio válido. Para que apunte a un sitio válido debes darle una dirección de memoria a la que apuntar. Lo que hace el operador new
es reservar un espacio de memoria para un dato del tipo solicitado, así pues la instrucción:
new int[m];
Reserva espacio para almacenar m
datos de tipo int
y devuelve un puntero (int*
) al inicio de la zona de memoria en que ese espacio fue reservado. En resumen y paso por paso:
// Un puntero a puntero a entero (int**) para crear una formación bidimensional.
int **tabla;
// Reservamos 'n' filas. Al pedir memoria (new) para punteros a entero (int*) recibiremos
// un puntero a un espacio de memoria que almacenará 'n' punteros a entero (int*), el puntero
// será para apuntar a 'int*' por lo tanto será 'int**'.
tabla = new int*[n];
// Dado que las filas aún no apuntan a ningún sitio válido, debemos asignar memoria fila a fila:
for(i = 0; i < n; i++)
// Reservamos 'm' elementos. Al pedir memoria (new) para enteros (int) recibiremos
// un puntero a un espacio de memoria que almacenará 'm' enteros (int), el puntero
// será para apuntar a 'int' por lo tanto será 'int*'.
tabla[i] = new int[m];
Llegados a este punto, olvida todo lo escrito hasta ahora. En C++ moderno se aconseja no usar punteros en crudo y se aconseja evitar el uso de new
a no ser que sea absolutamente necesario. Tu código puede reescribirse para no usar punteros:
#include <iostream>
#include <vector>
int main() {
using fila_t = std::vector<int>;
using tabla_t = std::vector<fila_t>;
int n = 134;
int m = 231;
// Tabla de 'm' filas de 'n' elementos cada una.
tabla_t tabla(m, fila_t(n));
tabla[21][33] = 123;
std::cout << tabla[21][33] << '\n';
return 0;
};
Si evitas el uso de new
y el abuso de punteros, tu código será más compacto, más claro, menos propenso a errores y te evitas gestionar la memoria manualmente. Puedes ver el código funcionando en Try it online!.
1También conocida como arreglo o en inglés array.