不可复制地图的地图迭代器不支持等式运算符 (==)

Question

当我有一个不可复制对象的映射时，为什么我不能使用 == 比较迭代器？我想在迭代器上进行相等测试时，它不需要复制（或移动）实际对象。

#include <iostream>
#include <utility>
#include <map>

using namespace std;

class A {
private:
    int i;
public:
    A(int i) : i(i) {}
    A(A&) = delete;
    A(A&& a) : i(a.i) {}
    ~A() {}
    A& operator=(A&) = delete;

    bool operator==(const A& a) const { return i == a.i; }
};

int main() {
    map<int, A> myMap;

    map<int, A>::iterator it = myMap.find(1);
    cout << (it == myMap.end()) << endl;
}

此示例编译失败，在cout 行出现错误。

g++ 给出这个错误：

/usr/include/c++/4.8.2/bits/stl_pair.h: In instantiation of ‘struct std::pair<const int, A>’:
test2.cpp:24:27:   required from here
/usr/include/c++/4.8.2/bits/stl_pair.h:127:17: error: ‘constexpr std::pair<_T1, _T2>::pair(const std::pair<_T1, _T2>&) [with _T1 = const int; _T2 = A]’ declared to take     const reference, but implicit declaration would take non-const
   constexpr pair(const pair&) = default;

clang++ 给出这个错误：

/usr/bin/../lib64/gcc/x86_64-unknown-linux-gnu/4.8.2/../../../../include/c++/4.8.2/bits/stl_pair.h:127:17: error: the parameter for this explicitly-defaulted copy constructor is const, but a member or base requires it to be non-const
      constexpr pair(const pair&) = default;
                ^
test2.cpp:24:14: note: in instantiation of template class 'std::pair<const int, A>' requested here
        cout << (it == myMap.end()) << endl;

但是，如果使用map<int, int> 而不是map<int, A>，它确实有效。将const map<int, A> 与map<int, A>::const_iterator 一起使用没有帮助。

我尝试在cppreference 上查找 map::iterator::operator== 的确切签名，（map::iterator 是一个 BidirectionalIterator，它是一个 ForwardIterator，它是一个 InputIterator）但该网站对概念中的确切类型签名。

Answer 1

问题在于您删除的方法使 A 不可复制...

#include <iostream>
#include <utility>
#include <map>

using namespace std;

class A {
private:
    int i;
public:
    A(int i) : i(i) {}
    // A(A&) = delete; should be ...
    A(const A&) = delete;
    A(A&& a) : i(a.i) {}
    ~A() {}
    // A& operator=(A&) = delete; should be ...
    A& operator=(const A&) = delete;

    bool operator==(const A& a) const { return i == a.i; }
};

int main() {
    map<int, A> myMap;

    map<int, A>::iterator it = myMap.find(1);
    cout << (it == myMap.end()) << endl;
}

使用 gcc/g++ 4.6.3 验证了这一点

从复制构造函数和赋值运算符中删除“const”导致我的编译器给出与您收到的相同的错误。

我将不得不查找详细信息/引用，以了解为什么以这种方式声明它们，但是复制构造函数和赋值运算符始终采用 const 引用（因为您的实例被分配的值不应该方法修改）。