¿El tamaño de los punteros puede variar entre los datos y los indicadores de función?

Question

Estaba leyendo la sección del C FAQ on pointers.

No discute poder utilizar void * punteros para mantener los punteros de función porque los punteros a los datos y punteros a funciones pueden tener diferentes tamaños en algunas plataformas y void * sólo se garantiza ser lo suficientemente grande como para contener punteros a los datos.

¿Alguien puede dar un ejemplo de una plataforma donde los punteros a los datos y los punteros a las funciones en realidad tienen diferentes tamaños?

Answer 1

> type ppp.c 
#include <stdio.h> 
#include <stdlib.h> 

int global = 0; 

int main(void) { 
    int local = 0; 
    static int staticint = 0; 
    int *mall; 
    int (*fx)(void); 

    fx = main; 
    mall = malloc(42); /* assume it worked */ 
    printf("#sizeof pointer to local: %d\n", (int)sizeof &local); 
    printf("#sizeof pointer to static: %d\n", (int)sizeof &staticint); 
    printf("#sizeof pointer to malloc'd: %d\n", (int)sizeof mall); 
    printf("#sizeof pointer to global: %d\n", (int)sizeof &global); 
    printf("#sizeof pointer to main(): %d\n", (int)sizeof fx); 
    free(mall); 
    return 0; 
} 
> tcc -mc ppp.c 
Turbo C Version 2.01 ... 
warnings about unused variables elided ... 
Turbo Link Version 2.0 ... 
> ppp 
#sizeof pointer to local: 4 
#sizeof pointer to static: 4 
#sizeof pointer to malloc'd: 4 
#sizeof pointer to global: 4 
#sizeof pointer to main(): 2 
> tcc -mm ppp.c 
> ppp 
#sizeof pointer to local: 2 
#sizeof pointer to static: 2 
#sizeof pointer to malloc'd: 2 
#sizeof pointer to global: 2 
#sizeof pointer to main(): 4 

tcc -mc genera código en el modelo "compacto"; tcc -mm genera código en el modelo "medio"

Answer 2

En el modo real x86, se accede al código & por segmento + desplazamiento, cada uno de una cantidad de 16 bits. Los punteros "cercanos" solo eran de 16 bits y usaban el segmento actual, los punteros "Lejos" eran de 32 bits y especificaban el segmento y el desplazamiento. Para compiladores de C, había varios modelos de memoria diferentes que podía elegir, con diferentes valores predeterminados de punteros cercanos o lejanos para código y datos.

Por ejemplo, el modelo de memoria "Medio" se utiliza cerca de los punteros para los datos pero los indicadores lejanos para el código de forma predeterminada.

No me sorprendería que algunos procesadores incorporados modernos tengan modelos de memoria similares.

Answer 3

Es una situación "depende". En C++, recuerdo que los punteros a la función miembro son en realidad dos punteros en tamaño, pero que pueden ser puramente un detalle de implementación.

En algunos de los sistemas muy viejos pre-PC también puede tener un tamaño de puntero dependerá de lo que se está haciendo referencia (pero entonces también podría tener caracteres de 11 bits: D)

Answer 4

máquinas que utilizan un Harvard Architecture tienen almacenamiento por separado para obtener instrucciones y datos, y tener espacios de direcciones separados para las instrucciones y los datos. En una arquitectura así, no hay una razón real para que los dos espacios de direcciones (o la memoria física que los respalda) tengan el mismo tamaño.

Answer 5

Los microcontroladores PIC de 16 bits (Microchip PIC24 y dsPIC) son ejemplos de dispositivos de arquitectura de Harvard con diferentes tamaños de puntero de espacio de código y datos. Los espacios de direcciones por separado difieren en tamaño: en el chip, la memoria SRAM tiene un costo de área de chip mayor que la memoria Flash, hay mucho menos, por lo que los punteros de datos pueden ser más pequeños.

Esto también es cierto para las arquitecturas PIC12, PIC16 y PIC18 también, pero dsPIC es lo que estoy usando actualmente.

Answer 6

Tenga en cuenta que POSIX requiere punteros a objetos y punteros a funciones a ser del mismo tamaño:

2.12.3 tipos de puntero

Todos los tipos de puntero de función tendrán la misma representación que el puntero del tipo de vacío. La conversión de un puntero de función a vacío * no alterará la representación. Un valor nulo * resultante de dicha conversión se puede convertir al tipo de puntero de función original, utilizando un molde explícito, sin pérdida de información.

Nota: El estándar ISO C no lo requiere, pero se requiere para la conformidad con POSIX.

En consecuencia, los sistemas que afirman que cumple con POSIX serán uniformes. Si solo apuntas a tales máquinas, entonces no tienes que preocuparte por las diferencias.