[C] Puntatori void e valore ritornato da shmat()

[Gica]

Ciao a tutti!

Non riesco a capire bene un aspetto dei puntatori void.
Per spiegarmi meglio faccio un esempio:
avete presente la funzione
void* shmat(int shmid, const void *shmaddr, int shmflg),
che "attacca" un segmento di memoria condivisa allo spazio di indirizzi del processo chiamante? Ebbene, in caso di fallimento, tale funzione riporta il valore -1 anche se in teoria il tipo restituito dovrebbe essere un void*. Pero' se nel programma si fa un test del tipo

if (shmat(<parametri>)<0)
{ ... }

la cosa non da problemi; se invece definisco una mia funzione

void* Funzione()
{ return -1; }

e poi faccio un test tipo

if (Funzione()<0)
{ ... }

il codice tra parentesi graffe non viene mai eseguito, perche' la funzione in realta' riporta il valore del puntatore e non -1.
Ho cercato i sorgenti della funzione shmat per vedere come funziona, ma non li ho trovati... Sapreste spiegarmi questa differenza di comportamento oppure il modo per far si che la funzione void* Funzione() riporti effettivamente -1?
Ah, sto facendo riferimento a programmazione in ambiente Unix...

Grazie,
Gica

[anx721]

prova a fare un cast ad int:

if (((int)Funzione()) < 0)
{ ... }

[LeleFT]

Non conosco quella funzione, ma conosco un'altra funzione che ritorna un puntatore a void: malloc().
Cosa significa puntatore a void: significa che ciò che viene restituito è un indirizzo di memoria. Un indirizzo di memoria è un numero e, solitamente, esso va castato al valore corrispondente: se sto allocando memoria per un array di caratteri, allora casto tale valore come puntatore a carattere, ecc.
Il valore -1 è un valore buono come un altro, solo che un indirizzo di memoria non può avere questo valore: esso, quindi, viene utilizzato come errore. Tutto ciò che la funzione restituisce, quindi, è un numero (almeno a mio avviso, non sono andato a vedermi i sorgenti di malloc() ).
Il valore -1 (corrispondente a 0xFFFFFFFF) è una cella di memoria che il sistema operativo automaticamente flagga come non utilizzabile.


Ciao.

[Gica]

Originariamente inviato da LeleFT
Non conosco quella funzione, ma conosco un'altra funzione che ritorna un puntatore a void: malloc().
Cosa significa puntatore a void: significa che ciò che viene restituito è un indirizzo di memoria. Un indirizzo di memoria è un numero e, solitamente, esso va castato al valore corrispondente: se sto allocando memoria per un array di caratteri, allora casto tale valore come puntatore a carattere, ecc.
Il valore -1 è un valore buono come un altro, solo che un indirizzo di memoria non può avere questo valore: esso, quindi, viene utilizzato come errore. Tutto ciò che la funzione restituisce, quindi, è un numero (almeno a mio avviso, non sono andato a vedermi i sorgenti di malloc() ).
Il valore -1 (corrispondente a 0xFFFFFFFF) è una cella di memoria che il sistema operativo automaticamente flagga come non utilizzabile.


Ciao.

Quindi posso assegnare il valore -1 ad un puntatore void? Guarda questo codice (che e' analogo a quello gia' citato):

void* Funzione(int i)
{
   return -1;
}

int main()
{
   void* p;
   if ((p=Funzione(5))<0)
     printf("Funzione ha riportato un valore negativo...\n");
   else
     {
        printf("Funzione ha riportato un valore non negativo...\n");
     }

   return 0;
}

Eseguendo questo programma, si entra sempre nel ramo else Dov'e' che sbaglio? Devo forse fare return 0xFFFFFFFF?

Gica

Aggiornamento: non va neanche con return 0xFFFFFFFF :master:

[anx721]

perche non usi il mio consiglio di fare il cast:

if ((p=(int)Funzione(5))<0)
printf("Funzione ha riportato un valore negativo...\n");

cosi funziona

[Gica]

Originariamente inviato da anx721
perche non usi il mio consiglio di fare il cast:

if ((p=(int)Funzione(5))<0)
printf("Funzione ha riportato un valore negativo...\n");

cosi funziona

In effetti cosi' funziona , pero' continuo a non spiegarmi come mai quando faccio il confronto col valore restituito da shmat() (che e' sempre un void*), il cast non e' necessario...

Comunque grazie!

Gica

[anx721]

perche -1 visto come puntatore non è negativo, puntatori e interi dsono tipi di dati diversi