1

我看过几篇关于 const 限定符的帖子，但我无法弄清楚如何解决这个问题。我正在构建一个以 STL 地图类为模型的类，并且我使用 STL 集类作为基类：

template <class Key, class Value>
class map : public std::set <std::pair<Key, Value> > {
public:
    typedef std::set<std::pair<Key, Value> > parent;
    typedef typename std::set<std::pair<Key, Value> >::iterator iterator;

    // constructors
    map() : parent() {}
    map(map<Key, Value>& m) : parent(m) {}

    // definition for subscript operator
    Value& operator [] (const Key &);

    // overloaded methods from set
    void erase(Key&);
    void erase(iterator& itr) {
        parent::erase(itr);
    }

    int count(Key&);
    iterator find(Key&);
    iterator lower_bound(Key& k) {
        return parent::lower_bound(k);
    }

    iterator upper_bound(Key& k) {
        return parent::upper_bound(k);
    }

    // not found iterator
    iterator end() {
        return parent::end();
    }

};

问题在于 operator[] 重载函数，它看起来像：

template <class Key, class Value>
Value&  map<Key, Value>::operator[] (const Key& k) {
    std::pair<Key, Value> test;
    test.first = k;

    std::pair<iterator, bool> where = parent::insert(test);

    return (*(where.first)).second;
}

编译器给了我错误“...map.h:108:16: 对'int'类型的引用绑定到'const int'类型的值会丢弃限定符”。我意识到它看到 (*(where.first)).second 被评估为“const int”，我将其返回为“int”，因为我已将映射声明为：

map<std::string, int> mymap;
mymap["one"] = 1;

似乎std::pair<...>被定义为std::pair<std::string, const int>而不是std::pair<std::string, int>。至少这是我的猜想。我一定错过了一些简单的东西，但我没有看到它。任何帮助是极大的赞赏。

4

1 回答 1

3

问题是std::set元素是不可变的（否则您可以在不知情的情况下随意修改它们并弄乱排序set）；这是通过其返回 const 迭代器的方法强制执行的。

因此，*(where.first)是const，因此也是(*(where.first)).second。所以你不能返回const对它的非引用。

于 2013-04-07T18:46:08.390 回答