¿Cuál es el tamaño del vacío?

Question

¿Qué arrojaría esta afirmación?

void * p = (void*) malloc(sizeof(void)); 

---

Editar: Una extensión a la pregunta.

Si sizeof (void) produce 1 en el compilador GCC, se asigna 1 byte de memoria y el puntero p apunta a ese byte y p ++ se incrementará a 0x2346? Supongamos que p fuera 0x2345. Estoy hablando de p y no * p.

Answer 1

El tipo void no tiene talla; eso sería un error de compilación. Por la misma razón, no puede hacer algo como:

void n; 

EDITAR. Para mi sorpresa, haciendo sizeof(void) realidad qué compilar el GNU C:

$ echo 'int main() { printf("%d", sizeof(void)); }' | gcc -xc -w - && ./a.out 
1 

Sin embargo, en C++ no es así:

$ echo 'int main() { printf("%d", sizeof(void)); }' | gcc -xc++ -w - && ./a.out 
<stdin>: In function 'int main()': 
<stdin>:1: error: invalid application of 'sizeof' to a void type 
<stdin>:1: error: 'printf' was not declared in this scope 

Answer 2

En C, sizeof(void) == 1 en GCC, pero esto parece depender en tu compilador

En C++, me sale:

 
In function 'int main()': 
Line 2: error: invalid application of 'sizeof' to a void type 
compilation terminated due to -Wfatal-errors. 

Answer 3

Aunque void puede estar en el lugar para un tipo, que en realidad no puede contener un valor. Por lo tanto, no tiene ningún tamaño en la memoria. Obtener el tamaño de void no está definido.

Un void puntero es simplemente una construcción del lenguaje significa un puntero a sin tipo de memoria.

Answer 4

sizeof() no se puede aplicar a tipos incompletos. Y void es un tipo incompleto que no se puede completar.

Answer 5

Si está utilizando GCC y no está utilizando los indicadores de compilación que eliminan las extensiones específicas del compilador, entonces sizeof(void) es 1. GCC tiene un nonstandard extension que hace eso.

En general, void es un tipo incompleto, y no se puede usar sizeof para tipos incompletos.

Answer 6

Tomando el tamaño del vacío es un GCC extension.

Answer 7

A la segunda parte de la pregunta: Tenga en cuenta que sizeof (void *)! = Sizeof (void). En un arco de 32 bits, sizeof (void *) tiene 4 bytes, por lo que p ++ se establecerá en consecuencia. La cantidad en que se incrementa un puntero depende de los datos a los que apunta. Por lo tanto, se incrementará en 1 byte.

Answer 8

mientras sizeof (void) quizás no tenga sentido en sí mismo, es importante cuando está haciendo cualquier cálculo de puntero.

por ejemplo.

void *p; 
while(...) 
     p++; 

Si sizeof (void) se considera 1, entonces esto funcionará. Si sizeof (void) se considera 0, se golpea un ciclo infinito.

Answer 9

La mayoría de los compiladores de C++ eligieron generar un error de compilación al intentar obtener sizeof(void).

Al compilar C, gcc no se ajusta y eligió definir sizeof(void) como 1. Puede parecer extraño, pero tiene un fundamento. Cuando se realiza una aritmética de puntero, agregar o eliminar una unidad significa agregar o eliminar el objeto que apunta al tamaño. Por lo tanto, la definición de sizeof(void) como 1 ayuda a definir void* como un puntero a byte (dirección de memoria sin tipo). De lo contrario, tendría comportamientos sorprendentes utilizando la aritmética del puntero como p+1 == p when p es void*. Tal aritmética de puntero en punteros vacíos no está permitida en C++, pero funciona bien al compilar C con gcc.

La manera estándar recomendada sería usar char* para ese tipo de propósito (puntero a byte).

Otra diferencia similar entre C y C++ al utilizar sizeof se produce cuando se definió una estructura vacía como:

struct Empty { 
} empty; 

con gcc como mi compilador de C sizeof(empty) vuelve 0. Con g ++ el mismo código devolverá 1.

No estoy seguro de qué establece los estándares C y C++ en este punto, pero creo que definir el tamaño de algunas estructuras/objetos vacíos ayuda con la administración de referencias para evitar esas dos referencias a diferentes objetos consecutivos, siendo el primero vacío, obtener la misma dirección. Si la referencia se implementa utilizando punteros ocultos como se hace a menudo, garantizar una dirección diferente ayudará a compararlos.

Pero esto es simplemente evitar un comportamiento sorprendente (comparación de casos de esquina de las referencias) mediante la introducción de otro (objetos vacíos, incluso los POD consumen al menos 1 byte de memoria).

Answer 10

void no tiene tamaño. Tanto en C como en C++, la expresión sizeof (void) no es válida.

En C, citando N1570 6.5.3.4 párrafo 1:

El operador sizeof no se aplicará a una expresión que tiene función de tipo o un tipo incompleto, al nombre entre paréntesis de tal tipo, o a una expresión que designa un miembro de campo de bit.

(N1570 es un proyecto de la norma ISO 2011 C).

void es un tipo incompleto. Este párrafo es una restricción de , lo que significa que cualquier compilador de C conforme debe diagnosticar cualquier violación de la misma. (El mensaje de diagnóstico puede ser una advertencia no fatal.)

El estándar C++ 11 tiene fraseología muy similar. Ambas ediciones se publicaron después de que se hizo esta pregunta, pero las reglas se remontan al estándar ANSI C de 1989 y a los estándares más antiguos de C++. De hecho, la regla de que void es un tipo incompleto al que sizeof no pueden ser aplicadas se remonta exactamente en cuanto a la introducción de void a la lengua.

gcc tiene una extensión que trata sizeof (void) como 1. gcc no es un compilador C conformando de forma predeterminada, por lo que en su modo predeterminado que no advierte de la sizeof (void). Extensiones como esta están permitidas incluso para compiladores de C totalmente conformes, pero el diagnóstico aún es necesario.