Aritmética de punteros para punteros vacíos en C

Question 1

Cuando un apuntador a un tipo particular (digamos int, char, float, ..) se incrementa, su valor se incrementa por el tamaño de ese tipo de datos. si un void puntero que apunta a datos de tamaño x se incrementa, ¿cómo llega al punto x bytes por delante? ¿Cómo sabe el compilador que debe sumar x al valor del puntero?

Question 2

Conclusión final: la aritmética en un void* es ilegal tanto en C como en C++.

GCC lo permite como una extensión, ver aritmética en void– y punteros de función (Tenga en cuenta que esta sección es parte del capítulo “Extensiones C” del manual). Clang e ICC probablemente permitan void* aritmética a efectos de compatibilidad con GCC. Otros compiladores (como MSVC) no permiten la aritmética en void*y GCC no lo permite si el -pedantic-errors se especifica la bandera, o si el -Werror-pointer-arith se especifica el indicador (este indicador es útil si su base de código también debe compilarse con MSVC).

El estándar C habla

Las citas se toman del borrador n1256.

La descripción estándar de la operación de adición establece:

6.5.6-2: Para la suma, ambos operandos deben tener un tipo aritmético o un operando debe ser un puntero a un tipo de objeto y el otro debe tener un tipo entero.

Entonces, la pregunta aquí es si void* es un puntero a un “tipo de objeto”, o de manera equivalente, ya sea void es un “tipo de objeto”. La definición de “tipo de objeto” es:

6.2.5.1: Los tipos se dividen en tipos de objetos (tipos que describen completamente los objetos), tipos de funciones (tipos que describen funciones), y tipos incompletos (tipos que describen objetos pero carecen de la información necesaria para determinar sus tamaños).

Y la norma define void como:

6.2.5-19: El void tipo comprende un conjunto vacío de valores; es un tipo incompleto que no se puede completar.

Ya que void es un tipo incompleto, no es un tipo de objeto. Por lo tanto, no es un operando válido para una operación de suma.

Por lo tanto, no puede realizar aritmética de punteros en un void puntero.

notas

Originalmente, se pensaba que void* se permitió la aritmética, debido a estas secciones del estándar C:

6.2.5-27: Un apuntador a nulo debe tener la misma representación y alineación
requisitos como un puntero a un tipo de carácter.

Sin embargo,

La misma representación y alineación.
Los requisitos están destinados a implicar intercambiabilidad como argumentos para funciones, valores de retorno de funciones y miembros de uniones.

Entonces esto significa que printf("%s", x) tiene el mismo significado si x tiene tipo char* o void*pero eso no significa que puedas hacer aritmética en un void*.

Question 3

Él estándar C no permite vacío aritmética de punteros. Sin embargo, GNU C se permite teniendo en cuenta el tamaño de vacío es 1.

C11 estándar §6.2.5

Párrafo – 19

Él void tipo comprende un conjunto vacío de valores; es un tipo de objeto incompleto que no se puede completar.

El siguiente programa funciona bien en el compilador GCC.

#include<stdio.h>

int main()
{
    int arr[2] = {1, 2};
    void *ptr = &arr;
    ptr = ptr + sizeof(int);
    printf("%d\n", *(int *)ptr);
    return 0;
}

Puede ser que otros compiladores generen un error.

Question 4

Los punteros vacíos pueden apuntar a cualquier fragmento de memoria. Por lo tanto, el compilador no sabe cuántos bytes incrementar/decrementar cuando intentamos la aritmética de punteros en un puntero vacío. Por lo tanto, los punteros vacíos deben encasillarse primero en un tipo conocido antes de que puedan participar en cualquier aritmética de punteros.

void *p = malloc(sizeof(char)*10);
p++; //compiler does how many where to pint the pointer after this increment operation

char * c = (char *)p;
c++;  // compiler will increment the c by 1, since size of char is 1 byte.

Question 5

cámbielo a un puntero de caracteres e incremente su puntero hacia adelante x bytes adelante.

Question 6

La aritmética de punteros no está permitida en void* punteros

Question 7

No puedes hacer aritmética de punteros en void * tipos, ¡exactamente por esta razón!

Question 8

Tienes que lanzarlo a otro tipo de puntero antes de hacer aritmética de punteros.

El estándar C habla

notas

¿Ha sido útil esta solución?