變量超出范圍后如何保留矢量值？

Question

為foo（）中的map<int , std::vector<int>> m1分配局部變量向量，希望s1的值一旦超出范圍就無法訪問。 但事實並非如此。 看起來矢量中的元素存儲在堆內存中，而局部變量s1存儲在堆棧中。 當s1存儲在map中時，它似乎分配了一個新的堆內存並將值復制到其中。 我的理解正確嗎？ 我在foo中打印每個矢量元素的地址，也在map中打印每個矢量元素的地址。

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


std::map<int , std::vector<int>> m1;

void foo(){
    vector<int> s1 = { 10, 20, 30, 40 };
    cout << "local var address: " << &s1 << "\n";
    cout << "Element address " << &s1[0] << "  " << &s1[1] << " "
         << &s1[3] << "  " << &s1[4] << "\n";
    m1[1] = s1;
}


int main() {
    foo();

    cout << "\nElement value and address in map:\n";
    for (auto it = m1[1].begin(); it != m1[1].end();it++) {
        cout << *it << " " << &m1[1][*it] << "\n";  
    }

    return 0;
}

output:

local var address: 0x7fff41714400
Element address 0xc07c20  0xc07c24 0xc07c2c  0xc07c30

Element value and address in map:
10 0xc08cc8
20 0xc08cf0
30 0xc08d18
40 0xc08d40

Answer 1

當您執行m1[1] = s1; ，您正在調用m1[1]的賦值運算符 。 如果您點擊該鏈接，則表示您正在調用第一個實例，cppreference描述為：

1）復制分配運算符。 用其他內容的副本替換內容。

^{（強調我的）}

因此，您正在查看兩個完全不同的向量和兩個完全不同的項目集的地址。 比較它們沒有任何意義。

Answer 2

std::map<int , std::vector<int>>

的value_type為std::vector<int> 。 這意味着存儲在地圖中的每個項目都包含這樣的矢量對象。

它不包含對矢量的引用或指向矢量的指針，它實際上是一個對象。

這意味着，如果您在地圖外部創建矢量，並將其分配給地圖元素，則必須將其移動或復制。