C++ 为何第二种指针操作场景不会产生悬空指针？

第一个问题：现象是否由对象拷贝操作导致？ #

是的，该现象确实是第二种场景执行了对象拷贝操作导致的，两段代码的核心逻辑完全不同：

• 第一段代码是地址赋值：直接将栈上局部对象f的内存地址赋值给指针p。当代码块执行结束、f离开作用域后，f占用的栈内存会被系统回收，此时p指向的是已经被释放的无效内存，自然就成为了悬空指针。
• 第二段代码是对象拷贝赋值：这里的前提是**p在执行赋值前已经指向了一个生命周期足够长、已完成初始化的合法Foo对象**。*p = f会调用Foo类型的拷贝赋值运算符，将局部对象f的所有数据按规则拷贝到p指向的已有对象中。拷贝完成后局部对象f的销毁完全不影响p指向的独立对象，因此不会出现悬空指针，p指向的对象也会保留f的全部数据。

注意：如果p在赋值前是野指针、没有指向合法的已分配内存，那么第二段代码同样属于未定义行为，会触发崩溃、内存污染等异常问题。

第二个问题：不想产生拷贝是否可以用*p = std::move(f);？ #

是的，你可以通过这个写法避免拷贝开销：
std::move(f)会将局部对象f转换为右值引用类型，此时赋值操作会调用Foo类型的移动赋值运算符，将f所持有的资源（比如堆内存、文件句柄等）直接转移到p指向的对象中，不需要做深拷贝，性能开销远低于拷贝赋值。
使用该写法需要注意几个点：

• 仍然需要保证p指向合法的、已初始化的Foo对象，否则无论拷贝还是移动赋值都是未定义行为。
• 移动操作完成后，局部对象f处于「移后可析构」的有效但状态不确定的状态，不要在后续代码中访问f的内部数据，等待其离开作用域自动析构即可。
• 如果Foo是没有自定义资源的平凡类型，编译器默认生成的移动赋值和拷贝赋值逻辑完全一致，不会有性能提升。

内容的提问来源于stack exchange，提问作者simpleton