64 bits cast in C99

[Shockwaver]

Esatto!
Ed è proprio da lì che ho estrapolato quella dichiarazione, infatti nelle librerie del compilatore che sto utilizzando si trova questo:

Codice: Seleziona tutto

typedef   unsigned long long int __uint64_t;

#ifndef   uint64_t
typedef   __uint64_t   uint64_t;
#define   uint64_t   __uint64_t
#endif


Grazie ancora ad entrambi.

[Shockwaver]

Allora, da premettere che per lapsus ho detto che i PIC32 gestiscono i byte in big-endian, in realtà lo fanno in little-endian... ma il punto è che mi sono perso..
L'unico problema di "allineamento" che vedo è quello legato all'endianness dell'architettura.
Se riempo il buffer "big-endian style" e poi leggo una variabile che parte allo stesso indirizzo del vettore (questo è quello che succede in pratica con quel cast) e l'architettura assume un byte order little-endian non ottengo il risultato che volevo. Quindi devo stare attento a come riempo il vettore.

Mi illuminate per favore invece su quale potrebbe essere il vero problema di allineamento a cui vi riferivate?

Grazie in anticipo.

[DirtyDeeds]

Immagina di lavorare in un sistema in cui gli array di char possono essere allineati a qualunque indirizzo, mentre gli interi a 64 bit solo a indirizzi multipli di 8. Immagina allora che il puntatore corrispondente all'array parta dall'indirizzo 5: quel puntatore non può essere convertito a un puntatore ad unsigned long long.

In particolare lo standard del C dichiara (§6.3.2.3):

A pointer to an object type may be converted to a pointer to a different object type. If the
resulting pointer is not correctly aligned for the referenced type, the behavior is
undefined.

[Shockwaver]

Great!
Tutto chiaro, grazie ancora.
Una buona serata.