Respuesta

Historia del tema

Los arreglos multidimensionales en el lenguaje C fueron diseñados originalmente para simplificar el trabajo con tablas y matrices. Un arreglo bidimensional clásico es un arreglo de arreglos, con la posibilidad de trabajar con elementos de datos tabulares con una sintaxis simple. Con el tiempo, el enfoque ha evolucionado, especialmente al trabajar con arreglos de longitud variable.

Problema

Una declaración e inicialización incorrectas de arreglos multidimensionales llevan a errores de compilación o fallos lógicos. Al pasar un arreglo multidimensional a una función, muchos desarrolladores se confunden debido a los requisitos de la especificación: es necesario especificar explícitamente los tamaños de todos menos del primer dimension.

Solución

Declaración de un arreglo bidimensional:

int matrix[3][4];

Inicialización completa:

int matrix[2][3] = {
    {1, 2, 3},
    {4, 5, 6}
};

Pasa a la función: todos los tamaños, excepto el primero, deben especificarse explícitamente:

void printMatrix(int m[][3], int rows) {
    for (int i = 0; i < rows; ++i) {
        for (int j = 0; j < 3; ++j)
            printf("%d ", m[i][j]);
        printf("
");
    }
}

Con la introducción del estándar C99, se pueden declarar funciones que acepten arreglos de longitud variable:

void foo(int rows, int cols, int a[rows][cols]);

Características clave:

Es necesario especificar explícitamente los tamaños de todas las dimensiones, excepto la primera, al pasarlas a funciones.
Un arreglo multidimensional en C es un arreglo de arreglos; los elementos se disponen en memoria por filas (orden por filas).
La inicialización parcial inicializa los elementos no especificados a ceros.

Preguntas capciosas.

1. ¿Es posible declarar una función que acepte un arreglo bidimensional sin especificar el segundo tamaño?

No, C requiere que todos los tamaños, excepto el primero, sean conocidos en el tiempo de compilación. Esto está relacionado con la aritmética de punteros al acceder a los elementos.

Ejemplo de error:

// Error:
void process(int arr[][], int rows); // No se puede

2. ¿Qué sucede si no inicializo todos los elementos de un arreglo multidimensional?

Los elementos restantes se llenarán automáticamente con ceros si el arreglo es estático o global. Para un arreglo local con inicialización parcial, los elementos no inicializados también serán ceros.

int a[2][3] = {{1}, {4}}; // a[0][1] y a[0][2], a[1][1] y a[1][2] serán 0

3. ¿Cuál es la diferencia entre un arreglo de punteros y un arreglo bidimensional?

Un arreglo bidimensional es un único bloque de memoria. Un arreglo de punteros es un conjunto de punteros a arreglos unidimensionales separados (posiblemente asignados por separado). Esto es importante, por ejemplo, al asignar memoria para arreglos "dispersos".

Errores comunes y anti-patrones

Errores al declarar una función con arreglos multidimensionales (el tamaño de las "dimensiones internas" no está especificado).
Se confunden filas y columnas al trabajar con el diseño por filas.
Un arreglo de punteros se sustituye por un verdadero arreglo multidimensional y viceversa.

Ejemplo de la vida real

Caso negativo

Intentar declarar y pasar un arreglo bidimensional sin especificar el segundo tamaño a una función, lo que resulta en un error de compilación. Una solución superficial reemplazándolo con un puntero puede llevar a comportamientos indefinidos o incorrectos en cálculos posteriores.

Ventajas:

Simplicidad al declarar la función (a simple vista).

Desventajas:

Errores de compilación, aritmética de índices incorrecta, corrupción de datos.

Caso positivo

El desarrollador especifica claramente los tamaños de todas las dimensiones, explica en la documentación el orden de almacenamiento de los elementos en la memoria, reduciendo así la cantidad de errores en el mantenimiento posterior.