2

我有以下示例代码来解释我的问题。根据 STD 地图容器文档（http://www.cplusplus.com/reference/map/map/operator%5B%5D/），operator[]（或“at”方法）返回对映射值的引用。我明白为什么第 13 行编译并正常工作（当我将元素插入 vec1 时，map 中的映射值得到更新）。我不明白为什么第 13 行不会导致编译错误，因为 vec1 不是引用并且 operator[] 返回引用。

  1 #include <map>
  2 #include <vector>
  3
  4 using namespace std;
  5
  6 int main()
  7 {
  8     map<int, vector<int> > port;
  9
 10     port[1] = vector<int>(1, 10);
 11
 12     vector<int> &vec1 = port[1];    // <===
 13     vector<int> vec2 = port[1];   // <===
 14
 15     return 0;
 16 }

我想也许 operator[] 的实际实现被重载以返回两种类型（值和引用）。但是，当我查看“map”头文件时，它似乎没有（除非我遗漏了什么）：

文件：/usr/include/c++/4.7/profile/map.h

      // 23.3.1.2 element access:
      mapped_type&
      operator[](const key_type& __k)
      {
        __profcxx_map_to_unordered_map_find(this, size());
        return _Base::operator[](__k);
      }

#ifdef __GXX_EXPERIMENTAL_CXX0X__
      mapped_type&
      operator[](key_type&& __k)
      {
        __profcxx_map_to_unordered_map_find(this, size());
        return _Base::operator[](std::move(__k));
      }
#endif

有人可以帮我理解吗？

4

3 回答 3

6

类型通常可以从引用中复制构造。所以vec2只是由返回的引用引用的值的副本port[1]。这是一个更简单的示例，涉及ints：

int i = 42;
int j& = i; // j is a reference to i
int k = j;  // k is a copy of the int that j refers to, i.e. i.

关于您对两种返回类型的假设，您不能通过返回值重载函数。

于 2013-10-24T06:03:18.873 回答
2

第 12 行初始化vec1为对port[1]（或者更准确地说，是引用的vector<int>对象port[1]）的引用。所以任何改变vec1也会改变port[1]。

第13行初始化vec2为. 所以任何改变都不影响。port[1]vec2port[1]

于 2013-10-24T06:03:23.617 回答
2

不确定我是否正确理解了您的问题，因此，我将尝试向您解释第 12 行和第 13 行中发生了什么。

vector<int> &vec1 = port[1];

在这里，您正在创建对向量的引用port[1]并使用. 所以，事实上，它们现在指向同一个内存位置。

vector<int> vec2 = port[1];

在这里，您正在创建一个新向量并将所有数据复制port[1]到其中。它们包含相同的数据，但它们没有指向相同的内存位置。

所以，如果你这样做：

vec1.push_back(1);
vec2.push_back(2);

您会看到，它port[1]现在包含一个新的附加元素 - 1。

于 2013-10-24T06:05:07.703 回答