std::vector移动构造函数相关问题求助：空指针与内存错误

问题代码 #

#include<vector>
#include<iostream>
using namespace std;

std::vector<int>&& fun_1()
{
    std::vector<int> v{ 1, 2, 3 };
    return std::move(v);
}

std::vector<int>&& fun_2()
{
    std::vector<int> v(3, 2);
    return std::move(v);
}

int main() {
    //std::vector<int> v1 = fun_1();
    std::vector<int> v2 = fun_2(); //why isn't move-constructor called? 
    //cout << v1.data() << endl;//0x00
    cout << v2.data() << endl;//0x00
}

用户疑问 #

• 为什么v1.data()和v2.data()均返回空指针？原本预期std::vector<int>的移动构造函数会被调用，但似乎并未触发。
• 取消main函数中第一行的注释后，程序退出时会引发内存错误，该错误与v1相关对象的销毁有关。开发环境为Visual Studio 2022。

问题解答 #

1. 空指针与移动构造的问题 #

fun_1和fun_2返回的是局部vector对象的右值引用，但函数执行完毕后，内部的局部变量v会被自动销毁：

• 执行return std::move(v)时，虽然把v转换成了右值引用，但这个引用指向的是即将被销毁的局部对象。函数返回后，v的析构函数会立即释放它持有的内存资源。
• 回到main函数，用这个悬空的右值引用构造v1或v2时，移动构造函数确实会被调用，但此时原对象（函数里的v）已经完全销毁，内部内存已被释放，所以移动构造得到的v1/v2是空vector，data()自然返回空指针。

本质是：你试图移动一个已经被销毁的对象，没有有效资源可以转移。

2. 程序退出时的内存错误 #

取消注释后，v1通过悬空引用完成移动构造，此时v1内部保存的是原局部对象v曾经持有的内存地址——但这个地址已经被原对象的析构函数释放过了。
当程序退出时，v1的析构函数会再次尝试释放这个已被释放的内存，导致双重释放，触发内存错误。这是典型的悬空引用引发的未定义行为。

正确写法 #

如果想让移动构造正常工作，直接返回局部对象即可，不需要手动std::move，编译器会自动优化成移动语义（或直接省略构造的NRVO优化）：

std::vector<int> fun_1()
{
    std::vector<int> v{ 1, 2, 3 };
    return v; // 编译器自动处理为移动或NRVO
}

std::vector<int> fun_2()
{
    std::vector<int> v(3, 2);
    return v;
}

这样返回的是局部对象的优化后实例，不会出现悬空引用问题，v1和v2会正常持有数据，data()返回有效地址。

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