聲明對象和賦值運算符的引用

Question

我覺得這個問題已經足夠基本，可以在某處找到，但我似乎無法找到答案。

假設我有這樣的代碼：

//class member function 
std::map< std::string, std::string > myMap; 

const std::map< std::string, std::string >& bar() 
{ 
    return myMap; 
} 

void myFunc(std::map< std::string, std::string >& foo1) 
{ 
    foo1 = bar(); 
    std::map< std::string, std::string >& foo2 = bar(); 
} 

我的理解是，如果我開始使用foo2的，因爲foo2的是同一個實例的引用作爲什麼吧（）返回時，任何事情我foo2的辦會體現在myMap中。但是foo1呢？ foo1是否獲取myMap的副本，或者它是否指向與bar（）返回的實例相同的實例？ C++標準庫說std :: map的賦值操作符會將元素複製過來，但這是否意味着賦值操作符在foo2的聲明中沒有被真正調用？

謝謝！

Answer 1

引用不能在C++中重置。這意味着一旦它們初始化，就不能重新分配它們。相反，任何分配實際上都涉及被引用的對象。因此，在你的代碼，

foo1 = bar(); 
std::map< std::string, std::string >& foo2 = bar(); 

第一行調用被作爲參數傳遞myFunc的對象std::map::operator=。之後，foo1劇照指的是同一個對象 - 但它的價值（例如它擁有的元素）可能已經改變。

請注意，第二行是而不是如果您有任何疑問，請將其分配給您。相反，它是一個初始化。由於返回類型實際上是std::map<std::string, std::string> const&，因此它不能綁定到std::map<std::string, std::string>&，所以這是一個編譯錯誤。

---

爲了擴展事物的'哲學'一面，C++引用被設計成儘可能透明，並且不是作爲對象存在。這是使用術語的C++標準含義（它與OOP無關）：這意味着例如參考類型而不是有一個大小。相反，sizeof(T&) == sizeof(T)。類似地，參考文獻沒有地址，並且不可能形成指針或參考文獻：給出int& ref = i;，然後&ref == &i。

參考文獻因此有意使用好像所提及的對象本身正在使用。在引用的生命週期中唯一引用特定的是它的初始化：它可以綁定到什麼以及它在生命週期方面意味着什麼。

Answer 2

線

foo1 = bar(); 

創建一個副本（因爲這是map的賦值操作符做什麼）。