奇怪的错误 - 为什么编译器试图调用复制构造函数？

Question

我遇到了一些非常奇怪的错误。由于某种我不明白的原因，编译器似乎想要调用复制构造函数。

(118) std::map<int, layer> xs;
(119) xs.begin()->first; // error?!

layer 是不可复制的可移动字体。

class layer : public observable
{
    layer(const layer&);
    layer& operator=(const layer&);
public:
    layer(int index = -1);
    layer(layer&& other);
    layer& operator=(layer&& other);
   //...
};

由于某种原因，第 119 行导致编译器尝试调用 std::pair 的复制构造函数，为什么？

1>c:\program files (x86)\microsoft visual studio 10.0\vc\include\utility(131): error C2248: 'layer::layer' : cannot access private member declared in class 'layer'
1> ..\layer.h(55) : see declaration of 'layer::layer'
1> ..\layer.h(53) : see declaration of 'layer'
1> c:\program files (x86)\microsoft visual studio 10.0\vc\include\utility(129) : while compiling class template member function 'std::_Pair_base<_Ty1,_Ty2>::_Pair_base(const std::_Pair_base<_Ty1,_Ty2> &)'
1> with
1> [
1>     _Ty1=const int,
1>     _Ty2=layer
1> ]
1> c:\program files (x86)\microsoft visual studio 10.0\vc\include\utility(174) : see reference to class template instantiation 'std::_Pair_base<_Ty1,_Ty2>' being compiled
1> with
1> [
1>     _Ty1=const int,
1>     _Ty2=layer
1> ]
1> ..\stage.cpp(119) : see reference to class template instantiation 'std::pair<_Ty1,_Ty2>' being compiled
1> with
1> [
1>     _Ty1=const int,
1>     _Ty2=layer
1> ]

我也尝试了以下方法，但同样失败。

(118) std::map<int, layer> xs;
(119) auto& t1 = *xs.begin();
(120) auto& t2 = t1.first; // error?!

这是怎么回事？

Answer 1

这是模板错误的奇怪微妙之处之一。模板代码不是代码，它几乎更接近于生成代码的脚本语言。您甚至可以在函数中出现语法错误，在代码（直接或间接）使用该函数之前不一定会产生编译器错误。

在这种情况下，xs.first() 导致了 std::map::iterator 的生成，这也需要 std::pair 的生成。 std::pair 的默认实现有一个复制构造函数，编译失败。

您可以使用没有复制构造函数的模板特化 std::pair 来解决这个问题，但是您不能在地图中插入任何内容。 xs[0] = myLayer 创建 std::make_pair 并将其插入到您的地图中，这显然需要复制构建图层。

对此的典型解决方案是将您的类型更改为 std::map >。复制 shared_ptr 不会复制引用的对象。

Answer 2

这取决于你在哪里初始化这个成员，以及它的第一个成员。 如果您将其初始化为静态成员或在堆栈上而不调用构造函数，它将尝试调用默认构造函数（不带参数）并且由于您已将其设为私有而无法访问它。

您必须为地图中的元素显式调用公共构造函数

Answer 3

你的例子：

(118) std::map<int, layer> xs;
(119) xs.begin()->first; // error?!

每http://www.cplusplus.com/reference/stl/map/

xs.begin() Return iterator to beginning

... 它->首先； // 等同于 (*it).first（键值）

因此

xs.begin()->first;

等价于

pair<int,layer> piltmp = (*xs.begin());
piltmp.first;

等等。已在地图中创建了该对的副本。这涉及创建图层的副本。

（如果地图持有指向图层的指针或自动指针，而不是图层本身，这将不是问题。）

现在，如果 map::iterator::operator-> 返回 value_type 引用而不是 value_type，则不会发生这种情况。 IE。如果它返回一个左值而不是一个右值。似乎很奇怪，它没有，但我还没有通过标准。

你可以通过这样做来解决它

pair<int,layer>& piltmp = *xs.begin();
return piltmp.first;

（未测试。）