比较两个map::迭代器:为什么需要std::pair的复制构造函数

下面这个非常简单的代码在c++ 98中编译和链接时没有警告，但是在c++ 11模式下给出了一个难以理解的编译错误。

#include <map>
struct A {
    A(A& ); // <-- const missing
};
int main() {
    std::map<int, A> m;
    return m.begin() == m.end(); // line 9
}

-std=c++11的错误是，gcc版本4.9.0 20140302(实验)(gcc):

<>之前ali@X230:~/tmp$ ~/gcc/install/bin/g++ -std=c++11 cctor.cpp/home/ali/gcc/install/include/c++/4.9.0/bits/stl_algobase.h:64:0从/home/ali/gcc/install/include/c + +/4.9.0/位/stl_tree.h: 61年,从/home/ali/gcc/install/include/c + +/4.9.0/地图:60岁从cctor.cpp: 1:/home/ali/gcc/install/include/c++/4.9.0/bits/stl_pair.h:在struct std::pair的实例化中:[00:9:31]这里需要/home/ali/gcc/install/include/c++/4.9.0/bits/stl_pair.h:127:17: error: ' constexpr std::pair::pair(const std::pair&) [with _T1 = const int;_T2 = A] '声明为const引用，但隐式声明为非const引用const pair(const pair&) = default;^之前

使用clang版本3.5 (trunk 202594)

<>之前ali@X230:~/tmp$ clang++ - everything -std=c++11 cctor.cpp . net在文件中包含从cctor.cpp:1:在文件包含从/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../包括/c++/4.7/地图:60:在文件包含从/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../包括/c++/4.7/位/stl_tree.h: 63:在文件包含从/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../包括/c++/4.7/位/stl_algobase.h: 65:/usr/lib/gcc/x86_64-linux-gnu/4.7/…/…/…//include/c++/4.7/bits/stl_pair.h:119:17: error:这个显式默认的复制构造函数的参数是const，但是成员或基类型要求其为非const类型const pair(const pair&) = default;^Cctor.cpp:9:22:注意:在这里请求的模板类std::pair的实例化中返回m.s begin() == m.s end();//第9行^1 .产生错误。之前

我一直在看bits/stl_tree.h中的代码，我不明白为什么它试图实例化std::pair。

为什么在c++ 11中需要std::pair的复制构造函数?

---

_{注意:以上代码是从map迭代器上不支持的相等操作符(==)中提取的，用于不可复制的映射。}

---

<

解决方案/strong>

这里有两个不幸的问题。

质量差的错误消息:第8行应该已经给出了编译错误，尽管错误消息只抱怨第9行。在第8行获得错误将非常有帮助，并且更容易理解真正的问题。如果这个问题在gcc/clang主干中仍然存在，我可能会提交一个bug报告/特性请求。

另一个问题是ecatmur写了什么。考虑下面的代码:

struct A {
    A() = default;
    A(A& ); // <-- const missing
};
template<class T>
struct B {
    B() = default;
    B(const B& ) = default;
    T t;
};
int main() {
  B<A> b;  
}

编译失败。即使复制构造函数在任何地方都不需要，它仍然被实例化，因为它是默认的内联的，在类的主体中;这会导致编译错误。这可以通过将复制构造函数移出类体来修复:

template<class T>
struct B {
    B() = default;
    B(const B& );
    T t;
};
template <class T>
B<T>::B(const B& ) = default;

那么一切都好了。不幸的是，std::pair有一个默认定义的内联复制构造函数。

template<class _T1, class _T2>
  struct pair
  {
// ...
    constexpr pair(const pair&);
// ...
  };
// ...
template<class _T1, class _T2>
constexpr pair<_T1, _T2>::pair(const pair&) = default;

#include <map>
struct A {
    A(A& ); // <-- const missing
};
int main() {
    std::map<int, A>* m = new std::map<int, A>();
    // note: dtor not (necessarily?) instantiated
}