不可复制的对象、映射和 shared_ptr：复制构造函数中的错误

Question

我在构建不可复制对象时遇到问题。让我们考虑以下示例：

class Uncopyable{
protected:
    Uncopyable(){};
    ~Uncopyable(){};

private:
    Uncopyable(const Uncopyable&);
    Uncopyable& operator=(const Uncopyable&);
};


class Base { };
class Derived : public Base { };

class A : private Uncopyable {
public:
    A(std::map<std::string, std::shared_ptr<Base>> & inMap);
private:
    A(const A&);
    A& operator=(const A&);
};

int main() {
    std::map<std::string, std::shared_ptr<Derived>> lMap;
    std::shared_ptr<A> oA(std::make_shared<A>(lMap));
}

如果我假设我的对象 A 是 non-copyable ，它就不起作用。作为指针，我希望我的对象 A 理解 Derived 是一个 Base，但是我收到以下消息：

error C2664: 'A::A(const A &)' : cannot convert argument 1 from 'std::map<std::string,std::shared_ptr<Derived>,std::less<_Kty>,std::allocator<std::pair<const _Kty,_Ty>>>' to 'std::map<std::string,std::shared_ptr<Base>,std::less<_Kty>,std::allocator<std::pair<const _Kty,_Ty>>> &'
1>          with
1>          [
1>              _Kty=std::string
1>  ,            _Ty=std::shared_ptr<Derived>
1>          ]
1>          and
1>          [
1>              _Kty=std::string
1>  ,            _Ty=std::shared_ptr<Base>
1>          ]

谢谢。

Answer 1

该错误与A 的不可复制性无关，并且确实不在复制构造函数中——它在map 构造函数中。该错误与 A' 构造函数采用

std::map<std::string, std::shared_ptr<Base>> &

你正在传递一个：

std::map<std::string, std::shared_ptr<Derived>>

作为T 类型的左值引用的参数只能由T 类型或派生自T 的类型（或具有operator T& 的类型）的左值来满足。但是std::map<std::string, std::shared_ptr<Derived>> 实际上并没有从std::map<std::string, std::shared_ptr<Base>> 继承——这两种类型也根本不相关——std::map 没有交叉类型的构造函数。

换句话说，仅仅因为 D 是 B 并不意味着 map<X, D> 是 map<X, B>。以这种方式，C++ 类型系统中没有类型的协变。某些类型至少允许您从Class<D>（例如std::shared_ptr）构造Class<B>，但标准容器并非如此（例如vector，map，...）

您必须将lMap 更改为保留std::shared_ptr<Base>s 才能使其正常工作。它可以在内部保存std::shared_ptr<Derived>s - 但map 类型必须匹配。

---

旁注，在 C++11 中，您不需要 Uncopyable。你可以简单地明确delete这些操作：

A(A const& ) = delete;
A& operator=(A const& ) = delete;