0

我有以下 C++ 类和方法。我正在尝试从 const 函数中访问私有成员“传出” numOutgoing()。我对第 127-128 行和第 129-130 行的行为感到困惑。

第 129 行：制作一个副本，以后可以修改，const 函数不关心 第 130 行：获取引用，但是 vec 被定义为 const，所以一切都好。

第 127 行：我假设正在制作副本，但出现编译器错误 第 128 行：相同的编译器错误。

 90 class Graph
 91 {
 92         map<int, vector<int> > outgoing;
 93
 95   public:
 96         Graph(const vector<int> &starts, const vector<int> &ends);
 97         int numOutgoing(const int nodeID) const;
 99 };
100
120
121 int
122 Graph::numOutgoing(const int nodeID) const
123 {
124         if (outgoing.find(nodeID) == outgoing.end()) {
125                 throw invalid_argument("Invalid node Id");
126         }
127         // vector<int> vec = outgoing[nodeID];
128         // const vector<int> &vec = outgoing[nodeID];
129         vector<int> vec = outgoing.at(nodeID);
130         // const vector<int> &vec = outgoing.at(nodeID);
131
132         return vec.size();
133 }

我试图理解为什么第 127 / 128 行给我以下编译错误：

./templ.cc:128:42: error: passing 'const std::map<int, std::vector<int> >' as 'this' argument of 'std::map<_Key, _Tp, _Compare, _Alloc>::mapped_type& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](const key_type&) [with _Key = int; _Tp = std::vector<int>; _Compare = std::less<int>; _Alloc = std::allocator<std::pair<const int, std::vector<int> > >; std::map<_Key, _Tp, _Compare, _Alloc>::mapped_type = std::vector<int>; std::map<_Key, _Tp, _Compare, _Alloc>::key_type = int]' discards qualifiers [-fpermissive]

以下是“map”类中 operator[] 和 at 方法的原型。

      mapped_type& operator[] (const key_type& k);  <======
      mapped_type& operator[] (key_type&& k);

      mapped_type& at (const key_type& k);
const mapped_type& at (const key_type& k) const;

如果有人能帮助我理解编译错误，我将不胜感激。问题可能是operator[]不返回const类型吗？如果是这样，那么operator[]和at是不等价的，对吧？

4

4 回答 4

3

您的问题是，由于您的numOutgoing函数是 const，所以它只能在类成员上调用 const 函数。在这种情况下仅const mapped_type& at (const key_type& k) const;是有效的。

您还可以保留const_iteratorfromoutgoing.find(nodeID)和 dereference that 以获得对您的子向量的 const 访问。

于 2013-10-24T16:27:43.290 回答
3

这是因为方法

int Graph::numOutgoing(const int nodeID) const

是const，而operator[]不是 const。这是因为一个设计决定：如果一个人试图访问一个不存在的密钥operator[]，那么它会创建它，从而修改std::map.

要解决您的问题，请使用map<int, vector<int> >::const_iterator result = outgoing.find(nodeID);Then，如果不是 at end()，您可以简单地使用 访问键result->first和使用 的值result->second。

于 2013-10-24T16:28:39.827 回答
2

如果有人能帮助我理解编译错误，我将不胜感激。问题可能是“operator []”不返回“const”类型吗？如果是这样，那么“operator[]”和“at”是不等价的，对吧？

是的，operator[]而且at根本不等价。

at只会总是返回一个值，因此它可以是const. 如果不存在这样的元素，std::out_of_range则抛出类型异常。

operator[]另一方面，如果没有元素存在，它将永远不会抱怨，因为它会尝试创建一个新元素。选择此行为是为了：

std::map<int, int> x;
x[0] = 1;

是可能的。

于 2013-10-24T16:39:49.473 回答
1

问题是非常量的运算符 []。调用者可以使用它返回的非 const 引用来修改映射内容，因此该运算符未标记为 const。

于 2013-10-24T16:27:22.593 回答