Может ли указатель пустоты безопасно указывать на указатель-указатель?

Question

Это может быть очевидно, но может ли указатель void безопасно указывать на другой указатель? то есть точка типа Int *

int i = 5; 
int *ip = &i; 
void *vp = &ip; 

int *nip = *(int **)vp; 
int ni = *nip; // == 5? 

EDIT: К сожалению, может быть, я не будучи ясно, я хотел бы знать, если указатель недействительным может указывать на область памяти, которая имеет тип другого указателя; без пустоты **. just void *

Answer 1

Да, вы можете преобразовать любой указатель объекта в void * и вернуться к исходному типу указателя без потери информации.

Из первоисточника:

(C99, 6.3.2.3p1) «Указатель к мочеиспусканию может быть преобразован в или из указателя на любой неполный или объект типа Указатель на любой неполный или объект. тип может быть преобразован в указатель на void и обратно, результат сравнивается с исходным указателем ».

Answer 2

Да, это может указывать на любой тип объекта . Вы не можете на самом деле dereference указатель на пустоту, поскольку компилятор не знает «реального» типа за ним. Но указывающий аспект - это хорошо.

От C11 6.3.2.3 Pointers /1:

Указатель на недействительной может быть превращена в или из указателя на любого типа объекта. Указатель на любой тип объекта может быть преобразован в указатель на void и обратно; результат сравнивается с исходным указателем.

---

^1/ «Тип объекта» не включает в себя функции, правила для преобразования указателей на функции являются немного более строгими.