构造一个 constexpr std::weak_ptr

Question

根据std::weak_ptr 文档，可以构造一个constexpr weak_ptr：

#include <memory>
constexpr weak_ptr<int> foo{};

但是，尝试使用 clang 会产生编译错误，抱怨 constexpr 变量不能具有非文字类型“const std::weak_ptr<int>”，这是因为 weak_ptr<int> 具有用户提供的析构函数。 （确实如此，查看 libc++ 头文件）

我的问题是，这是一个 libc++ 错误，还是 constexpr weak_ptr 没有意义，并且使用 constexpr 默认构造函数是一个错误？我可以期望这在未来会起作用吗？

Answer 1

这是一个 libc++ 错误

没有。

constexprweak_ptr 没有意义

是的。

使用 constexpr 默认构造函数是错误的吗？

没有。用于非文字类型的 constexpr 构造函数允许 constant initialization 用于静态和线程存储持续时间变量，这发生在任何动态初始化之前。

这意味着，例如，全局默认构造的 weak_ptr 对象始终被初始化，并且可以安全地用于全局对象的构造函数中。

// TU 1
namespace foo {
   std::weak_ptr<int> meow;
}

// TU 2
namespace foo {
   extern std::weak_ptr<int> meow;
}

struct C {
    C() { /* can safely use foo::meow here */ }
} c;

我可以期待这个 [constexprweak_ptr] 在未来工作吗？

没有。