C++ std::vector是否共享内存？拷贝写入(COW)机制相关问询

示例程序 #

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

int main(){
    vector<vector<double>> A; A.reserve(3);
    
    vector<double> row1 = {0, 0, 5};
    vector<double> row2 = {0, -3, 0};
    vector<double> row3 = {1.5, 0, 0};
    
    A.push_back(row1); A.push_back(std::move(row2)); A.push_back(row3);
    
    for (int i = 0 ; i < 3 ; i++){
        for (int j = 0 ; j < 3 ; j++){
            std::printf("%-7.2f", A[i][j]);
        }
        std::cout << std::endl;
    }
    std::cout << std::endl;
    
} 

调试观察 #

在Xcode调试器中可观察到，进入for循环时row2已为空（内容被std::move转移），而row1和row3仅被拷贝，仍保留原值。

核心问题 #

此时A[0]是否与row1指向完全相同的内存地址？即row1是否处于**拷贝写入(COW)**状态——仅当row1或A[0]修改内容时才创建副本，否则共享存储{0, 0, 5}的内存，无额外分配？

背景 #

计算矩阵行列式时传入const std::vector<std::vector<double>> &，希望不使用额外内存，直接利用原对象内存。

C++标准明确规定std::vector不支持写时拷贝(COW)，包括Xcode使用的Clang在内的主流编译器标准库实现，都没有给std::vector做COW设计。

针对你的代码场景：

• 执行A.push_back(row1)时，会触发深拷贝操作：row1的所有元素会被完整复制到A[0]专属的内存空间中，二者指向的是完全独立的内存地址，不存在共享存储的情况。
• 哪怕后续不对row1或A[0]做任何修改，它们的存储也是各自独立的，不会共享内存。

关于你的背景需求：
当你传入const std::vector<std::vector<double>> &类型的参数时，只要行列式计算代码不修改容器内容，就不会产生任何额外内存分配——const引用直接绑定原对象，你可以直接通过引用访问原对象的内存完成计算，完全符合“不使用额外内存”的要求。

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