C++交换指针函数替换auto为显式类型失效及VS类型提示疑问

temp的正确类型 #

temp的正确类型是int*，不需要添加引用修饰符。

原始写法auto temp = a是完全正确的：C++的auto默认执行值语义推导，会自动丢弃表达式的引用属性和顶层const限定符。虽然形参a的声明类型是int*&（int指针的左值引用），但赋值给temp时会做左值到右值的转换，提取a实际存储的地址值，temp是独立的临时变量，持有a的原始值，交换逻辑可以正常运行：

1. temp存储a的原始地址
2. a被赋值为b的地址
3. b被赋值为temp存储的a原始地址，两个指针交换完成

当你修改为int*& temp = a时，temp变成了a的左值引用，二者共享同一块内存，本质是同一个变量的不同别名，会导致交换逻辑失效：

1. 执行a = b后，a和temp的值同步被覆盖为b的原始地址
2. 再执行b = temp等价于b = a，相当于把新的a值又赋值给b自己，交换失败，最终两个指针都指向原始p2的地址，也就是你看到的异常输出。

Visual Studio类型提示的显示逻辑 #

Visual Studio的类型悬浮提示结果是完全准确的，没有问题。
VS的类型提示逻辑是直接展示变量的声明类型，不会做推导后的等价转换。你声明形参a的时候写的就是int*& a，所以悬浮显示int*&是完全符合C++语法规则的。
此处容易出现的误区是误以为auto会保留原表达式的引用属性，实际上如果要让auto推导为引用类型，需要显式写auto& temp = a，但这个交换场景下你完全不需要引用类型的temp，值类型的int*就已经满足需求。

内容的提问来源于stack exchange，提问作者Markus von Broady