¿Por qué sizeof (my_arr) [0] se compila y es igual a sizeof (my_arr [0])?

129

bgomberg 2017-10-10 09:09.

¿Por qué se compila este código?

_Static uint32_t my_arr[2];
_Static_assert(sizeof(my_arr) == 8, "");
_Static_assert(sizeof(my_arr[0]) == 4, "");
_Static_assert(sizeof(my_arr)[0] == 4, "");

Las primeras 2 afirmaciones son obviamente correctas, pero hubiera esperado que la última línea fallara, ya que tengo entendido que sizeof()debería evaluarse en un literal entero, que no se puede tratar como una matriz. En otras palabras, fallaría de la misma manera que falla la siguiente línea:

_Static_assert(4[0] == 4, "");

Curiosamente, lo siguiente no se puede compilar (que debería estar haciendo lo mismo, ¿no?):

_Static_assert(*sizeof(my_arr) == 4, "");

error: argumento de tipo no válido del unario '*' (tiene 'int largo sin firmar') _Static_assert (* sizeof (my_arr) == 4, "");

Si importa, estoy usando gcc 5.3.0

c sizeof

4 answers

197

melpomene 2017-10-10 09:12.

sizeofno es una función. Es un operador unario como !o ~.

sizeof(my_arr)[0]analiza como sizeof (my_arr)[0], que es solo sizeof my_arr[0]con paréntesis redundantes.

Esto es como !(my_arr)[0]analiza como !(my_arr[0]).

En general, los operadores de sufijo tienen mayor precedencia que los de prefijo en C. sizeof *a[i]++analiza como sizeof (*((a[i])++))(los operadores de sufijo []y ++se aplican aprimero, luego los operadores de prefijo *y sizeof).

(Esta es la versión de expresión de sizeof. También hay una versión de tipo, que toma un nombre de tipo entre paréntesis:. sizeof (TYPE)En ese caso, se requerirían los parens y parte de la sizeofsintaxis).

AnT 2017-10-10 09:14.

sizeoftiene dos "versiones": sizeof(type name)y sizeof expression. El primero requiere un par de ()aproximaciones a su argumento. Pero este último, el que tiene una expresión como argumento, no tiene ()su argumento. Todo lo ()que utilice en el argumento se considera parte de la expresión del argumento, no parte de la sizeofsintaxis en sí.

Dado my_arrque el compilador lo conoce como un nombre de objeto, no como un nombre de tipo, sizeof(my_arr)[0]el compilador lo ve realmente como sizeofaplicado a una expresión:, sizeof (my_arr)[0]donde (my_arr)[0]es la expresión del argumento. El ()entorno del nombre de la matriz es puramente superfluo. Toda la expresión se interpreta como sizeof my_arr[0]. Esto es equivalente a tu anterior sizeof(my_arr[0]).

(Esto significa, por cierto, que su anterior sizeof(my_arr[0])también contiene un par de superfluos ()).

Es un concepto erróneo bastante extendido que sizeofla sintaxis de alguna manera requiere un par de ()alrededor de su argumento. Este concepto erróneo es lo que confunde la intuición de las personas al interpretar expresiones como sizeof(my_arr)[0].

mch 2017-10-10 09:12.

[]tienen una mayor precendencia que sizeof. Entonces sizeof(my_arr)[0]es lo mismo que sizeof((my_arr)[0]).

Aquí hay un enlace a una tabla de precedencia.

Quentin 2017-10-10 09:13.

Estás usando la versión del sizeofoperador que toma una expresión como parámetro. A diferencia del que toma un tipo, no requiere paréntesis. Por lo tanto, el operando es simplemente (my_arr)[0], con el paréntesis redundante.

Japanese Spanish German French Thai Portuguese Russian Vietnamese Italian Korean Turkish Indonesian Polish Hindi

MORE COOL STUFF

La estrella de HGTV, Christina Hall, revela que tiene 'envenenamiento por mercurio y plomo' probablemente por voltear 'casas asquerosas'

La estrella de HGTV, Christina Hall, revela que le diagnosticaron envenenamiento por mercurio y plomo, probablemente debido a su trabajo como manipuladora de casas.

2022-12-22.

La estrella de 'Love Is Blind' Brennon Lemieux responde a los cargos de violencia doméstica

Recientemente salió a la luz un informe policial que acusa a la estrella de 'Love Is Blind', Brennon, de violencia doméstica. Ahora, Brennon ha respondido a los reclamos.

2022-12-14.

Wynonna Judd se dio cuenta de que ahora es la matriarca de la familia Judd en un momento festivo de pánico

Conozca cómo Wynonna Judd se dio cuenta de que ahora es la matriarca de la familia mientras organizaba la primera celebración de Acción de Gracias desde que murió su madre, Naomi Judd.

2022-12-09.

Experto en lenguaje corporal explica los 'paralelos' entre Kate Middleton y la princesa Diana

Descubra por qué un destacado experto en lenguaje corporal cree que es fácil trazar "tales paralelismos" entre la princesa Kate Middleton y la princesa Diana.

2022-12-07.

Ponle una tapa. En realidad, ponle una tapa a todo. Consigue 12 tapas de cocina elásticas de silicona por $14. [Exclusivo]

Tapas elásticas de silicona de Tomorrow's Kitchen, paquete de 12 | $14 | Amazonas | Código promocional 20OFFKINJALids son básicamente los calcetines de la cocina; siempre perdiéndose, dejando contenedores huérfanos que nunca podrán volver a cerrarse. Pero, ¿y si sus tapas pudieran estirarse y adaptarse a todos los recipientes, ollas, sartenes e incluso frutas en rodajas grandes que sobran? Nunca más tendrás que preocuparte por perder esa tapa tan específica.

2022-11-02 18:37.

Cuéntanos tus mejores trucos de Washington, DC

Hemos pirateado algunas ciudades industriales en esta columna, como Los Ángeles y Las Vegas. Ahora es el momento de una ciudad militar-industrial-compleja.

2022-10-29 00:57.

Un minorista está eliminando su sección de tallas grandes y mezclando tallas más grandes con todo lo demás

Un minorista está enlatando su sección de tallas grandes. Pero no están tomando la categoría solo en línea o descontinuándola por completo.

2022-10-27 14:49.

La mejor forma de guardar animales de peluche es dentro de un puf

Entiendo totalmente, completamente si tienes una relación difícil con los animales de peluche. Son lindos, tienen valor sentimental y es difícil separarse de ellos.

2022-10-27 04:30.

Patinaje artístico de EE. UU. 'frustrado' por falta de decisión final en evento por equipos, pide una decisión justa

El equipo está a la espera de las medallas que ganó en los Juegos Olímpicos de Invierno de 2022 en Beijing, ya que se está resolviendo un caso de dopaje que involucra a la patinadora artística rusa Kamila Valieva.

2023-02-03.

Los compradores de Amazon dicen que duermen 'como un bebé mimado' gracias a estas fundas de almohada de seda que cuestan tan solo $ 10

Miles de compradores de Amazon recomiendan la funda de almohada de seda Mulberry, y está a la venta en este momento. La funda de almohada de seda viene en varios colores y ayuda a mantener el cabello suave y la piel clara. Compre las fundas de almohada de seda mientras tienen hasta un 46 por ciento de descuento en Amazon

2023-02-03.

Profesor de la Universidad de Purdue arrestado por presuntamente traficar metanfetamina y proponer favores sexuales a mujeres

El Departamento de Policía de Lafayette comenzó a investigar a un profesor de la Universidad de Purdue en diciembre después de recibir varias denuncias de un "hombre sospechoso que se acercaba a una mujer".

2023-02-03.

Concept Drift: el mundo está cambiando demasiado rápido para la IA

Al igual que el mundo que nos rodea, el lenguaje siempre está cambiando. Mientras que en eras anteriores los cambios en el idioma ocurrían durante años o incluso décadas, ahora pueden ocurrir en cuestión de días o incluso horas.

Language

Japanese

Spanish

German

French

Thai

Portuguese

Russian

Vietnamese

Italian

Korean

Turkish

Indonesian

Polish

Hindi

¿Por qué sizeof (my_arr) [0] se compila y es igual a sizeof (my_arr [0])?

4 answers

Related questions

MORE COOL STUFF

La estrella de HGTV, Christina Hall, revela que tiene 'envenenamiento por mercurio y plomo' probablemente por voltear 'casas asquerosas'

La estrella de 'Love Is Blind' Brennon Lemieux responde a los cargos de violencia doméstica

Wynonna Judd se dio cuenta de que ahora es la matriarca de la familia Judd en un momento festivo de pánico

Experto en lenguaje corporal explica los 'paralelos' entre Kate Middleton y la princesa Diana

Los láseres arrojan luz sobre por qué necesita cerrar la tapa antes de descargar

The Secrets of Airline Travel Quiz

Where in the World Are You? Take our GeoGuesser Quiz

¿Caduca el repelente de insectos?

Ponle una tapa. En realidad, ponle una tapa a todo. Consigue 12 tapas de cocina elásticas de silicona por $14. [Exclusivo]

Cuéntanos tus mejores trucos de Washington, DC

Un minorista está eliminando su sección de tallas grandes y mezclando tallas más grandes con todo lo demás

La mejor forma de guardar animales de peluche es dentro de un puf

Patinaje artístico de EE. UU. 'frustrado' por falta de decisión final en evento por equipos, pide una decisión justa

Los compradores de Amazon dicen que duermen 'como un bebé mimado' gracias a estas fundas de almohada de seda que cuestan tan solo $ 10

Se busca al corredor de los Bengals Joe Mixon por orden de arresto emitida por presuntamente apuntar con un arma de fuego a una mujer

Profesor de la Universidad de Purdue arrestado por presuntamente traficar metanfetamina y proponer favores sexuales a mujeres

Concept Drift: el mundo está cambiando demasiado rápido para la IA

India me está pateando el culo

ℝ

¿Merrick Garland le ha fallado a Estados Unidos?

Es más de la mitad de la presidencia de Biden. ¿Qué está esperando Merrick Garland?

Language