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＆lt; int，layer＆gt; :: iterator，这也需要生成std :: pair＆lt; int，layer＆gt;。 std :: pair的默认实现有一个复制构造函数，无法编译。

你可以使用std :: pair的模板特化来解决这个问题，它没有复制构造函数，但是你不能在地图中插入任何东西。 xs [0] = myLayer创建并插入std :: make_pair＆lt; 0，myLayer＆gt;进入你的地图，这显然需要一个图层的复制结构。

典型的解决方案是将您的类型更改为std :: map＆lt; int，std :: shared_ptr＆lt; layer＆gt;取代。复制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-＆gt;首先， //与（* it）.first（键值）相同

因此

xs.begin()->first;

相当于

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

Et瞧。已创建地图中该对的副本。其中涉及创建图层的副本。

（如果地图将指针或自动打印机保留到图层而不是图层本身，则不会出现问题。）

现在，如果map :: iterator :: operator-＆gt;这不会发生。返回value_type引用，而不是value_type。即如果它返回左值而不是右值。看起来很奇怪它没有，但我没有按照标准行事。

你可以通过

解决这个问题

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

（未经测试。）

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

3 个答案: