¿Por qué funciona este código?
#include <stdio.h> void func(int v[]){ v[0] = 1; } int main(){ int v[5] = {0}; func(v); for (int i = 0; i < 5; i++) { printf("%d ", v[i]); } }El resultado que obtengo de esto es '1 0 0 0 0' pero ¿por qué? No estoy pasando un puntero, ¿por qué la función puede cambiar la matriz en mi principal?
Sí, estás pasando un puntero.
Cuando escribe void func(int v[]) para declarar la firma de su función, es equivalente a escribir void func(int * v) .
Cuando escribes func(v) para llamar a tu función, es equivalente a func(&v[0]) .
Esta declaración de función
void func(int v[]){ v[0] = 1; }es ajustado por el compilador a la declaración
void func(int *v){ v[0] = 1; }Del Estándar C (6.7.6.3 Declaradores de funciones (incluidos los prototipos))
7 La declaración de un parámetro como ''matriz de tipo'' se ajustará a ''puntero calificado a tipo'', donde los calificadores de tipo (si los hay) son los especificados dentro de [ y ] de la derivación del tipo de matriz. Si la palabra clave static también aparece dentro de [ y ] de la derivación del tipo de matriz, entonces, para cada llamada a la función, el valor del argumento real correspondiente proporcionará acceso al primer elemento de una matriz con al menos tantos elementos como se especifica por la expresión de tamaño
Por otra parte, en esta convocatoria
func(v); el designador de matriz v se convierte implícitamente en un puntero a su primer elemento.
El estándar C (6.3.2.1 Valores L, matrices y designadores de funciones)
3 Excepto cuando es el operando del operador sizeof o el operador unario &, o es un literal de cadena usado para inicializar una matriz, una expresión que tiene tipo ''matriz de tipo'' se convierte en una expresión con tipo ''puntero para escribir'' que apunta al elemento inicial del objeto de matriz y no es un valor l. Si el objeto de la matriz tiene una clase de almacenamiento de registros, el comportamiento no está definido.
Esa es la llamada a la función es equivalente a
func( &v[0] ); Entonces, de hecho, el primer elemento de la matriz se pasa a la función por referencia a través de un puntero a ella. Desreferenciando el puntero por medio del operador subíndice (la expresión v[0] es equivalente a la expresión *v )
v[0] = 1;se cambia el primer elemento referenciado de la matriz.
Es porque la matriz se considera internamente como un puntero. Es un identificador para una variable de tipo matriz, que tiene una conversión implícita a puntero de tipo elemento.