为什么 auto_ptr 的接口指定两个类似复制构造函数的构造函数

Question

我正在查看此链接上的 auto_ptr 文档 自动指针 有些事情我无法完全理解为什么要这样做。在接口部分，有两个关于其复制构造函数的声明：

1)

auto_ptr(auto_ptr<X>&) throw (); 

2)

template <class Y> 
     auto_ptr(auto_ptr<Y>&) throw(); 

这是做什么用的。

Answer 1

它在那里，以防您可以隐式转换指针：

struct base {};
struct derived : base {};

std::auto_ptr<derived> d(new derived);
std::auto_ptr<base> b(d); // converts 

另外，您没有询问，但您会注意到复制构造函数是非常量的。这是因为 auto_ptr 将取得指针的所有权。在上面的示例中，构造 b 后，d 不保留任何内容。这使得 auto_ptr 不适合在容器中使用，因为它无法复制。

C++0x 抛弃了 auto_ptr 并创建了一个名为 unique_ptr 的指针。该指针具有相同的目标，但由于移动语义而正确地实现了这些目标。也就是说，虽然它不能被复制，但它可以“移动”所有权：

std::unique_ptr<derived> d(new derived);

std::unique_ptr<base> b(d); // nope, cannot be copied
std::unique_ptr<base> b(std::move(d)); // but can be moved

这使得 unique_ptr 适合在容器中使用，因为它们不再复制其值，而是移动它们。

Answer 2

第一个是复制构造函数，第二个是来自auto_ptr以及其他模板参数的模板化构造函数。

如果实现不希望编译器生成一个非模板复制构造函数，则它必须提供一个非模板复制构造函数。这是因为可用作复制构造函数的模板化构造函数不会抑制编译器生成构造函数，并且由于不是模板，编译器生成的构造函数始终更适合复制构造。