sizeof array clarification

Question

Estoy estudiando para una final mañana en C, y tengo una pregunta sobre el tamaño del operador.

Digamos que el tamaño de int es bits y un puntero es 64 bits.

Si hubiera una función:

int 
foo (int zap[]) 
{ 
    int a = sizeof(zap); 
    return a; 
} 

Debido zap es un puntero, foo regresarían 8, ya que así es como se necesitan muchos bytes para almacenar este puntero particular. Sin embargo, con el siguiente código:

int zip[] = { 0, 1, 2, 3, 4, 5 }; 
int i = sizeof(zip); 

i habría 6 * sizeof(int) = 6 * 4 = 24

Por qué es que sizeof(zip) devuelve el número de elementos de veces el tamaño de cada elemento, mientras que sizeof(zap) devuelve el tamaño de una ¿puntero? ¿Es que el tamaño de zap no está especificado y zip no? El compilador sabe que zip es 6 elementos, pero no tiene ni idea de cuán grande puede ser zap.

Answer 1

Esto es una especie de asimetría en la sintaxis C. En C no es posible pasar una matriz a una función, de modo que cuando se usa la sintaxis de la matriz en una declaración de función para uno de los parámetros, el compilador la lee como un puntero.

En C, en la mayoría de los casos, cuando utiliza una matriz en una expresión, la matriz se convierte implícitamente en un puntero a su primer elemento y eso es exactamente lo que ocurre cuando se llama a una función. En el siguiente código:

int bar[] = {1,2,3,4}; 
foo(bar); 

la matriz se convierte en un puntero al primer elemento y que es lo que recibe la función.

Esta regla de conversión implícita no siempre se aplica. Como descubrió, por ejemplo, el operador sizeof trabaja en la matriz, e incluso el operador & (dirección de) trabaja en la matriz original (es decir, sizeof(*&bar) == 4*sizeof(int)).

Una función en C no puede recibir una matriz como parámetro, solo puede recibir un puntero al primer elemento o un puntero a una matriz ... o debe envolver la matriz en una estructura.

Incluso si se pone un número entre los paréntesis de la declaración de la función ...

void foo(int x[4]) 
{ 
    ... 
} 

ese número es completamente ignorado por el compilador ... que la declaración para el compilador es totalmente equivalente a

void foo(int *x) 
{ 
    ... 
} 

y, por ejemplo, incluso llamándolo el paso de una matriz con un tamaño diferente, no dará lugar a ningún error ...

int tooshort[] = {1,2,3}; 
foo(tooshort); /* Legal, even if probably wrong */ 

(en realidad un compilador PUEDE dar una advertencia, pero el código es C perfectamente legal y debe ser aceptada si el compilador sigue el estándar)

Si usted piensa que esta regla acerca de las matrices, cuando en argumentos de la función es extraña entonces estoy de acuerdo, pero así es como se define el lenguaje C.

Answer 2

Porque zip es array y el compilador conoce su tamaño en tiempo de compilación. Es sólo un caso de uso de la misma notación para dos cosas diferentes, algo bastante habitual en C.

int 
foo (int zap[]) 

es completamente equivalente a

int 
foo (int *zap) 

El compilador no tiene ni idea de lo grande que podía zap ser (por lo que deja la tarea de averiguar al programador).

Answer 3

porque se ha inicializado estáticamente con 6 elemens.

Answer 4

El tamaño de zip es conocido en tiempo de compilación y el tamaño de zap no lo es. Es por eso que obtiene el tamaño de un puntero en sizeof(zap) y el tamaño de la matriz en sizeof(zip).

Answer 5

es un bloque de memoria de 6 * sizeof(int) por lo que tiene un tamaño de 24 (en su arquitectura). zap (también podría escribirse como int *zap en su declaración de función), pero puede señalar cualquier dirección de memoria y el compilador no tiene forma de saber cuánto espacio se ha asignado a partir de esta dirección (o incluso que contiene esta).

Answer 6

Hay algunas situaciones en las que las copias se degradan en los punteros. Llamadas de función es una de esas.