Como recién está aprendiendo C, le recomiendo que primero intente comprender las diferencias entre matrices y punteros en lugar de las cosas comunes .
En el área de parámetros y matrices, hay algunas reglas confusas que deben quedar claras antes de continuar. Primero, lo que declaras en una lista de parámetros se trata de forma especial. Hay situaciones en las que las cosas no tienen sentido como un parámetro de función en C. Estas son
- Funciones como parámetros
- Matrices como parámetros
Matrices como parámetros
El segundo tal vez no está claro de inmediato. Pero queda claro cuando considera que el tamaño de una dimensión de matriz es parte del tipo en C (y una matriz cuyo tamaño de dimensión no se da tiene un tipo incompleto). Por lo tanto, si crea una función que toma una matriz por valor (recibe una copia), ¡podría hacerlo solo para un tamaño! Además, las matrices pueden hacerse grandes, y C intenta ser lo más rápido posible.
En C, por estas razones, los valores de matriz no existen. Si desea obtener el valor de una matriz, lo que obtiene es un puntero al primer elemento de esa matriz. Y aquí en realidad yace la solución. En lugar de dibujar un parámetro de matriz inválido por adelantado, un compilador de C transformará el tipo del parámetro respectivo para que sea un puntero. Recuerda esto, es muy importante. El parámetro no será una matriz, sino que será un puntero al tipo de elemento respectivo.
Ahora, si intenta pasar una matriz, lo que se pasa es un puntero al primer elemento de la matriz.
Excursión: funciones como parámetros
Para completar, y porque creo que esto lo ayudará a comprender mejor el asunto, veamos cuál es el estado de las cosas cuando intenta tener una función como parámetro. De hecho, primero no tendrá ningún sentido. ¿Cómo puede un parámetro ser una función? ¡Eh, queremos una variable en ese lugar, por supuesto! Entonces, lo que hace el compilador cuando eso sucede es, nuevamente, transformar la función en un puntero de función . Intentar pasar una función pasará un puntero a esa función respectiva. Entonces, lo siguiente es lo mismo (análogo al ejemplo de matriz):
void f(void g(void));
void f(void (*g)(void));
Tenga en cuenta que *gse necesita paréntesis . De lo contrario, especificaría una función que retorna void*, en lugar de un puntero a una función que retorna void.
Volver a las matrices
Ahora, dije al principio que las matrices pueden tener un tipo incompleto, lo que sucede si aún no se da un tamaño. Como ya pensamos que no existe un parámetro de matriz, sino que cualquier parámetro de matriz es un puntero, el tamaño de la matriz no importa. Eso significa que el compilador traducirá todo lo siguiente, y todos son lo mismo:
int main(int c, char **argv);
int main(int c, char *argv[]);
int main(int c, char *argv[1]);
int main(int c, char *argv[42]);
Por supuesto, no tiene mucho sentido poder ponerle cualquier tamaño, y simplemente se tira a la basura. Por esa razón, C99 creó un nuevo significado para esos números y permite que aparezcan otras cosas entre los corchetes:
// says: argv is a non-null pointer pointing to at least 5 char*'s
// allows CPU to pre-load some memory.
int main(int c, char *argv[static 5]);
// says: argv is a constant pointer pointing to a char*
int main(int c, char *argv[const]);
// says the same as the previous one
int main(int c, char ** const argv);
Las últimas dos líneas dicen que no podrá cambiar "argv" dentro de la función, se ha convertido en un puntero constante. Sin embargo, solo unos pocos compiladores de C admiten esas características de C99. Pero estas características dejan en claro que la "matriz" no es realmente una. Es un puntero.
Una palabra de advertencia
Tenga en cuenta que todo lo que dije anteriormente es cierto solo cuando tiene una matriz como parámetro de una función. Si trabaja con matrices locales, una matriz no será un puntero. Se comportará como un puntero, porque como se explicó anteriormente, una matriz se convertirá en un puntero cuando se lea su valor. Pero no debe confundirse con los punteros.
Un ejemplo clásico es el siguiente:
char c[10];
char **c = &c; // does not work.
typedef char array[10];
array *pc = &c; // *does* work.
// same without typedef. Parens needed, because [...] has
// higher precedence than '*'. Analogous to the function example above.
char (*array)[10] = &c;