C: Tipo de extrapolación desde el puntero de vacío

Question

Digamos que una función toma un puntero vacío como un argumento, como por ejemplo: int func(void *p);
¿Cómo podemos determinar o adivinar el tipo de ap que apunta?

Answer 1

En general, no se puede. En algunos casos, si hay una garantía sobre lo que p señala, es posible que pueda ver los contenidos en y después de esa dirección para averiguarlo. En general, su función debe saber lo que se está transmitiendo, a menos que simplemente la transfiera.

Los argumentos de datos y funciones en C son solo un grupo de bits agrupados. A menos que use algunos de esos bits para decirle cuáles son los bits, no hay una manera consistente de identificarlo.

Answer 2

Respuesta corta: no se puede.

En C no hay información de tiempo de ejecución a menos que la proporcione, pero mira a la familia printf(3) y ver lo fácil que es para disparar en el pie con la especificación de formato no coinciden y tipo de argumento real.

El sistema de tipos es tu amigo. Úselo.

Answer 3

Claro que sí, y es fácil también. Es C, haz lo que quieras, cómo lo quieras.

Haz un sistema de tipos. Ponga todo lo que pase en una estructura, haga que el primer byte o dos sea un número mágico para determinar qué contiene la estructura más allá del número mágico.

Realice algunas funciones para crear/obtener/establecer/destruir las "variables tipadas".

Realice algunas otras funciones para agregar y registrar nuevos tipos en el tiempo de ejecución.

Crea algunas define para que sea más fácil leer y encasillar las estructuras.

Antes de que te des cuenta, tendrás un buen sistema de tipo propietario que puedes usar para tus proyectos, y siempre hará EXACTAMENTE lo que quieras y necesites porque TÚ lo lograste.

Puede volverse loco y convertirlo en un objeto completo orientado como un sistema. O bien, sálvate el trabajo y utiliza el trabajo de todas las personas que ya se volvieron locos: http://en.wikipedia.org/wiki/GObject

Answer 4

Me enfrenté a un problema similar y tuve que escribir un conjunto de instrucciones para un proyecto de lenguaje de programación. Me encontré con este problema porque tenía una serie de punteros a funciones para que las funciones pudieran enumerarse y ejecutarse en un ciclo for (para cosas como ayuda en línea y sintaxis, etc.). Por ejemplo:

struct List_Str *(*InstructionSet[])(struct List_Str *ContextPrefix,struct List_Str *ContextSuffix)= 
{ 

    AAVF,Add,AddEmotions,AddEmoDebug,AddScope,... 

}; 

Ahora usted podría fácilmente hacer lo mismo con char * en lugar de struct List_Str * tipos, a continuación, convertir todos los datos en formato de cadena usando snprintf y atoi y atof y otras funciones de conversión. Si lo hace un:

man isalpha 

Esto muestra una gran cantidad de funciones en ctype.h que podrían darle ideas de cómo determinar qué tipo de datos se lleva a cabo dentro de las cuerdas.

Plegar todos los tipos en formato "fibroso" permite una tremenda flexibilidad y regularidad, pero convertir automágicamente los datos de las cadenas a enteros, flotantes, etc., es arduo pero fructífero una vez que las rutinas se librifican.

Si tiene la intención de almacenar datos binarios, no puede usar cadenas, ya que 0 caracteres pueden estar dentro de los datos binarios y esto confunde las funciones de strlen. Además, no tiene idea de la longitud de lo que ha sido malloc una vez que sale del alcance, por lo que se almacena la longitud de los datos sin referencia antes de que se recomienden los datos en los primeros bytes de char *.

Una última cosa, no recomendaría almacenar datos en el vacío *, es demasiado vago. Recomiendo usar char * ya que es un poco más específico, puede contener todo lo que void * puede y el compilador le avisará de antemano si algo parece sospechoso.