是否使用对通过 reinterpret_cast 未定义行为进行转换的指针的引用？

Question

下面的代码是UB吗？

int   i  = 5;
void *p  = &i;

int* &r  = reinterpret_cast<int* &>(p);
int*  p2 = r;

请注意，我不会取消引用指针。

Answer 1

是的，就是UB。

reinterpret_cast<int* &>(p);

相当于

*reinterpret_cast<int**>(&p);

reinterpret_castto是允许void**的int**，但隐式取消引用是 UB，因为数据类型 ( void*) 和正在访问的数据类型 ( int*) 不相似。