¿Por qué se sizeof
considera un operador y no una función?
¿Qué propiedad es necesaria para calificar como operador?
Respuestas:
Porque el estándar C lo dice y obtiene el único voto.
Como consecuencias:
sizeof (int)
, en lugar de una expresión de objeto.int a; printf("%d\n", sizeof a);
está perfectamente bien. A menudo se ven, en primer lugar porque se necesitan como parte de una expresión de conversión de tipos y, en segundo lugar, porque sizeof tiene una prioridad muy alta, por sizeof a + b
lo que no es lo mismo que sizeof (a+b)
. Pero no forman parte de la invocación de sizeof, son parte del operando.sizeof a++
no modifica a).Una función diferiría en todos esos puntos. Probablemente haya otras diferencias entre una función y un operador unario, pero creo que eso es suficiente para mostrar por qué sizeof no podría ser una función incluso si hubiera una razón para querer que lo fuera.
sizeof
tener efectos secundarios si hay un VLA en la expresión.
(int)
no es nada lujoso, solo un nombre de un tipo entre paréntesis. Los paréntesis aquí son parte de la sintaxis de sizeof
: son obligatorios cuando se toma el tamaño de un tipo, pero no se requieren cuando se toma el tamaño de una expresión. Véase, por ejemplo, aquí
sizeof
: sizeof unary-expression
y sizeof ( type-name )
- por lo que en el estándar C11 no se considera un 'molde' sino un nombre de tipo entre paréntesis. El resultado neto es muy parecido. (A modo de comparación, una expresión de elenco es ( type-name ) cast-expression
). ¡Y odio la forma en que el comentario Markdown funciona de manera diferente a Q&A Markdown!
Puede usarse como una constante en tiempo de compilación, lo cual solo es posible si es un operador en lugar de una función. Por ejemplo:
union foo {
int i;
char c[sizeof(int)];
};
Sintácticamente, si no fuera un operador, entonces tendría que ser una macro de preprocesador ya que las funciones no pueden tomar tipos como argumentos. Esa sería una macro difícil de implementar ya que sizeof
puede tomar tanto tipos como variables como argumento.
Porque el estándar C lo dice y obtiene el único voto.
Y el estándar probablemente sea correcto porque sizeof
toma un tipo y
En general, si el dominio o el codominio (o ambos) de una función contiene elementos significativamente más complejos que los números reales, esa función se denomina operador. Por el contrario, si ni el dominio ni el codominio de una función contienen elementos más complicados que los números reales, es probable que se haga referencia a esa función simplemente como una función. Las funciones trigonométricas como el coseno son ejemplos del último caso.
Además, cuando las funciones se utilizan con tanta frecuencia que han evolucionado más rápido o con notaciones más fáciles que la forma genérica F (x, y, z, ...), las formas especiales resultantes también se denominan operadores. Los ejemplos incluyen operadores infijos como suma "+" y división "/", y operadores sufijos como factorial "!". Este uso no está relacionado con la complejidad de las entidades involucradas.
Porque no es una función. Puedes usarlo así:
int a;
printf("%d\n", sizeof a);
La función tiene un punto de entrada, código, etc. La función debe ejecutarse en tiempo de ejecución (o en línea), el tamaño de debe determinarse en tiempo de compilación.
El operador sizeof es una entidad en tiempo de compilación, no en tiempo de ejecución y no necesita paréntesis como una función. Cuando se compila el código, reemplaza el valor con el tamaño de esa variable en el momento de la compilación, pero en la función después de que se ejecute la función, sabremos el valor devuelto.
Porque:
sizeof
"función" no tendría forma de determinar el tamañoHay una pequeña diferencia con la función: el valor de sizeof se resuelve en tiempo de compilación, ¡pero no en tiempo de ejecución!
Porque es un operador en tiempo de compilación que, para calcular el tamaño de un objeto, requiere información de tipo que solo está disponible en tiempo de compilación. Esto no es válido para C ++.
Sizeof (), creo que obviamente es tanto una función como un operador. ¿Por qué? Porque una función tiene paréntesis para la entrada en la etapa de entrada. Pero principalmente también los operadores de causa de un operador son un carácter de acción, por lo tanto, sizeof es una declaración de acción que actúa sobre el operando entre paréntesis.