przekształcenie nie `void` wskaźnik `uintptr_t` i vice versa

Question

Można wyróżnić dwa standardowe zasady C:

średnia C99 6.3.2.3:

Wskaźnik do anulowania może być przekształcony lub od wskaźnika do dowolnego niekompletnego lub typu obiektu . Wskaźnik do dowolnego niekompletnego lub typu obiektu może zostać przekonwertowany do wskaźnika, aby unieważnić i przywrócić ponownie; wynik powinien być równy oryginalnemu wskaźnikowi.

I 7.20.1.4:

Poniższy typ wyznacza unsigned całkowitą z właściwością że każda ważna wskazówka, aby unieważnić mogą być konwertowane do tego typu następnie przekształcany z powrotem do wskaźnika do nieważna i wynik będzie porównać równe oryginalnej palików: uintptr_t

oznacza to, że followin kod g jest zgodny:

int *p = NULL; 
void *q = (void*)p; 
uintptr_t s = (uintptr_t)q; 

Ale czy naprawdę potrzebuje dwuetapowej obsady? Kompilator będzie wykonywać niejawny pośredni obsady jeśli robi coś takiego:

int *p = NULL; 
uintptr_t s = (uintptr_t)p; 

(dobrze, to prawdopodobnie będzie w większości kompilatorów, ale moje pytanie jest o standardowej zgodności)

Answer 1

nie będę ryzykować. Standard sprawia, że ​​jest jasne, co jest dozwolone, a co niedozwolone.

Zapisywanie uintptr_t s = (uintptr_t)(void*)p; sygnałów do czytnika Twojego kodu, o którym wiesz, co robisz.