Построение constexpr станд :: weak_ptr

Question

Согласно документации std::weak_ptr можно построить constexprweak_ptr:

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

Однако, пытаясь это с лязгом выдает ошибку компиляции, жалуясь, что переменная constexpr не может иметь не буквальный тип 'const std::weak_ptr<int>', потому что weak_ptr<int> имеет предоставленный пользователем деструктор. (что есть, смотря на заголовки libC++)

Вопрос в том, является ли это ошибкой libC++, или constexprweak_ptr просто не имеет смысла, а конструктор по умолчанию constexpr является ошибкой? Могу ли я ожидать, что это сработает в будущем?

Answer 1

является ли это LibC++ ошибка

No.

ли 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], чтобы работать в будущем?

No.