¿Cómo sabe sizeof el tamaño de la matriz de operandos?

Question

Esto puede ser una pregunta estúpida, pero ¿cómo sabe el operador de sizeof el tamaño de un operando de matriz cuando no se pasa la cantidad de elementos en la matriz. Sé que no devuelve el total de elementos en la matriz, pero el tamaño en bytes, pero para obtenerlo, todavía tiene que saber cuándo termina la matriz. Solo curiosidad sobre cómo funciona esto.

Answer 1

se interpreta en tiempo de compilación, y el compilador sabe cómo se declaró la matriz (y, por tanto, cuánto espacio ocupa). Llamar al sizeof en una matriz asignada dinámicamente probablemente no hará lo que usted desea, porque (como usted menciona) el punto final de la matriz no está especificado.

Answer 2

El compilador conoce el tamaño de cada tipo en su aplicación, y sizeof solo solicita al compilador que produzca ese valor para usted.

Answer 3

Sizeof es un operador de tiempo de compilación; tiene tanta información como el compilador. (Y obviamente el compilador sabe el tamaño de la matriz).

Esta es la razón por la que si llama al sizeof en un puntero obtendrá el ancho del puntero, no el tamaño de la matriz apuntada por ese puntero.

Answer 4

Si está usando sizeof en una variable local, sabe cuántos elementos ha declarado. Si está utilizando sizeof en un parámetro de función, no lo sabe; trata el parámetro como un puntero a la matriz y sizeof da el tamaño de un puntero.

Answer 5

Excepto en un caso, sizeof lo hace en tiempo de compilación. En tiempo de compilación, el compilador realiza un seguimiento del tipo completo de un objeto [Editar: bueno, todo lo que sabe sobre el tipo del objeto, de todos modos - si el tipo no está completo, por lo que no incluye el tamaño , intentar usar sizeof fallará], y sizeof básicamente solo "exporta" una parte de esa información del compilador al código que se está compilando, por lo que se convierte esencialmente en una constante en el código resultante.

La excepción es cuando se aplica sizeof a la matriz de longitud variable (VLA) . Cuando se aplica a un VLA, sizeof evalúa su operando (que de otro modo no lo hace) y produce el tamaño real del VLA. En este caso, el resultado no es una constante.

---

_{1. VLA se convirtió oficialmente en una parte de C en el C99, pero algunos compiladores los apoyó antes de eso. Aunque oficialmente no forma parte de C++, algunos compiladores (por ejemplo, g ++) incluyen VLA como una extensión de C++ también.}

Answer 6

Presupuesto de wiki:

Es responsabilidad del autor del del compilador para poner en práctica el operador sizeof de una manera específica y correcto para una aplicación dada de el idioma. El operador sizeof debe tener en cuenta la implementación del esquema de asignación de memoria subyacente para obtener los tamaños de varios tipos de datos.sizeof es , generalmente un operador en tiempo de compilación, que significa que durante la compilación, el tamaño de y su operando son reemplazados por el resultado-valor . Esto es evidente en el código de lenguaje ensamblador producido por un compilador C o C++. Por esta razón, sizeof califica como operador, incluso aunque su uso a veces se parece a una llamada de función .

Answer 7

El sizeof operator 'sabe' el tamaño de todos los tipos de datos atómicos, desde estructuras, los sindicatos y las matrices sólo pueden ser construidos mediante el ensamblaje de los tipos atómicos es fácil determinar el tamaño de la matriz de cualquier tipo. Utiliza aritmética básica para determinar tipos complejos (durante el tiempo de compilación).

Answer 8

Sizeof solo se puede aplicar a tipos completamente definidos. El compilador podrá determinar el tamaño en tiempo de compilación (por ejemplo, si tiene una declaración como int foo [8];), o podrá determinar que tiene que agregar código para rastrear el tamaño de una variable -length array (por ejemplo, si tiene una declaración como int foo [n + 3];).

Contrariamente a otras respuestas aquí, tenga en cuenta que a partir de C99, sizeof() es no necesariamente determinado en tiempo de compilación, ya que las matrices pueden ser de longitud variable.

Answer 9

El problema subyacente de su problema para comprender esto podría deberse a que está confundiendo matrices e indicadores, como hacen muchos. Sin embargo, matrices no son punteros. Un double da[10] es una matriz de diez double, no un double*, y eso es ciertamente conocido por el compilador cuando lo solicite evaluar sizeof(da). ¿No le sorprendería que el compilador conozca sizeof(double)?

El problema con las matrices es que decaen a punteros a sus primeros elementos automáticamente en muchos contextos (como cuando se pasan a las funciones). Pero aún así, array son matrices y los punteros son punteros.

Answer 10

sizeof se calcula en tiempo de compilación. Por esta razón, cuando crea una matriz dinámica, la crea de la siguiente manera.

char * array; 
int size; 
//Get size somehow. 
array = malloc(size*(sizeof(char))); 

// ahora durante la compilación, el compilador sabe con certeza el tamaño de char. ya que tiene que alinearlos en la memoria. En este punto, el sistema operativo sabe cuánto tamaño tiene que asignar.

matrices de longitud variable por otro lado se crean en el Pila. Pero cualquier memoria malloc asignada se crearía en el montón.

Answer 11

Sizeof siempre se evalúa en tiempo de compilación. En el compilador de pasadas múltiples mientras se genera el compilador de la tabla de símbolos, se debe determinar el tamaño de cada símbolo declarado para avanzar y generar un código intermedio. Entonces, para todos los tamaños de referencias en el código, se reemplaza el valor exacto. En la etapa de generación de código intermedio todos los operadores, las declaraciones se convierten en código intermedio derecho (ASM/otro formato). Finalmente, la etapa de generación de código m/c lo convierte en el código de máquina.

Algunas discusiones vistas arriba w.r.t las asignaciones dinámicas relacionadas con sizeof no están en el contexto en absoluto. Cualquier referencia al tamaño (* p) donde p es un puntero de cualquier tipo de datos, el compilador simplemente descubre el tipo de datos de * p y reemplaza su tamaño, no va a verificar el encabezado MCB del bloque asignado para ver qué se le asigna tamaño de la memoria. No está en tiempo de ejecución.Por ejemplo, double * p; sizeof (* p) aún se puede hacer sin asignar memoria para el puntero p. ¿Como es posible?

Answer 12

sizeof es generalmente evaluado en tiempo de compilación. La notable excepción son las matrices de longitud variable de C99.

int main(int argc, char **argv) 
{ 
    if (argc > 1) 
    { 
     int count = atoi(argv[1]); 
     int someArray[count]; 

     printf("The size is %zu bytes\n", sizeof someArray); 
    } 
    else puts("No"); 
}