为什么 std：：unique_ptr 没有像 std：：shared_ptr 那样的别名构造函数？

Why doesn't std::unique_ptr have an aliasing constructor like std::shared_ptr has?

本文关键字：ptr std 别名 构造函数 unique 为什么 shared      更新时间：2023-10-16

我刚刚发现了std::shared_ptr的"别名构造函数"，发现自己在问"为什么std：：unique_ptr没有相应的构造函数？

也就是说，如果要分配一个Foo以便可以将其Bar成员传递给应完全管理Foo生存期的函数，能够这样做不是很好吗？

#include <memory>
struct B {}
struct A {
  B b;
}
void f(std::unique_ptr<B> b);
std::unique_ptr<A> a = std::make_unique<A>();
std::unique_ptr<B> b { std::move(a), &(a->b) };  // a now invalid.
f(std::move(b));  // f now responsible for deleting the A.

这适用于 std：：shared_ptr ( http://ideone.com/pDK1bc (

#include <iostream>
#include <memory>
#include <string>
struct B {
  std::string s;
};
struct A {
  B b;
  A(std::string s) : b{s} {};
  ~A() { std::cout << "A deleted." << std::endl; }
};
void f(std::shared_ptr<B> b) {
  std::cout << "in f, b->s = " << b->s << " (use_count=" << b.use_count() << ")" << std::endl;
}
int main() {
  std::shared_ptr<A> a = std::make_shared<A>("hello");
  std::shared_ptr<B> b { a, &(a->b) };
  a.reset();  // a now invalid.
  std::cout << "before f, b->s = " << b->s << " (use_count=" << b.use_count() << ")" << std::endl;
  f(std::move(b));  // f now responsible for deleting the A.
  std::cout << "after f" << std::endl;
  return 0;
}

输出预期的

before f, b->s = hello (use_count=1)
in f, b->s = hello (use_count=1)
A deleted.
after f
没有一个

合乎逻辑的理由为什么不包括这样的事情？和/或，使用带有删除A的自定义删除器的unique_ptr<B>模拟它是一个坏主意吗？

我相信

"问题"在于，与std::shared_ptr不同，std::unique_ptr的删除器没有被类型擦除。std::unique_ptr<T>的默认删除器(大小为零，作为几乎不可见的默认类型参数编码到类型本身中(只是[](T * p){ delete p; }。但很明显，通过 std::make_unique<B> 创建的std::unique_ptr<B>和通过指向A对象的B成员创建的不能具有相同的删除器。后一种情况的删除程序必须执行一些指针算术才能获取原始指针返回A *。这两个删除器只能具有相同的类型，如果它们都存储偏移量或指向原始对象的内部指针。这将不再具有零大小。 与手动执行new和delete相比，std::unique_ptr 的设计开销为零，这是一件好事。我没有看到使用自己的删除器来存储该附加指针的任何直接缺点，尽管我仍然必须遇到一个用例，我会发现这很有用。

shared_ptr具有引用计数开销。 在其引用计数块中，它还存储了一个显式删除器(因为如果您存储在堆上，那么更多的字节是多少？

这也是为什么对基类型的shared_ptr可以记住在没有虚拟 dtor 的情况下删除派生类型的原因。

另一方面，unique_ptr将其删除器存储在实例中，并且默认删除器是无状态的 - 使用0字节。 这使得unique_ptr内存使用量方面原始指针的开销为零。

无状态删除程序无法记住删除其他内容。

您可以向支持别名的unique_ptr添加有状态删除程序，但随后必须手动添加别名。 其中一个构造函数同时采用指针和删除器。

相关文章：