为什么要为具有非平凡析构函数的类声明 constrexpr 构造函数（例如 unique_ptr、std::variant）

Question

据我所知（至少对于c++14），如果析构函数不是微不足道的（隐式生成或=default），它就不能是constexpr。为具有非平凡析构函数的结构声明 constexpr 构造函数有什么意义？

struct X {
  int a_;

  constexpr X(int a) : a_{a} {}

  // constexpr ~X(){}; // Error dtor cannot be marked constexpr
  // ~X(){}; // causes  error at y declaration: temporary of non-literal type ‘X’
             // in a constant expression .
};

template <int N> struct Y {};

int main() {
  Y<X{3}.a_> y; // OK only if the destructor is trivial
  (void)y;
}
// tested with c++14 g++-5.1.0 and clang++ 3.5.0

例如std::unique_ptr有一些constructorsconstexpr（默认和nullptr_t），即使析构函数显然是明确定义的（如果对象是nullptr，确保它没有影响，但没有这意味着它仍然有一个显式定义的析构函数来检查对象是否处于空状态，正如我所见，即使是空析构函数也不允许在编译常量表达式中使用对象)

另一个例子是std::variant 的提案：它几乎拥有所有的构造函数constexpr，尽管析构函数的签名是~variant() 并且它必须是call get<T_j> *this).T_j::~T_j() with j being index().

我错过了什么？

Answer 1

constexpr 构造函数可用于常量初始化，作为静态初始化的一种形式，它保证在任何动态初始化发生之前发生。

例如，给定一个全局std::mutex：

std::mutex mutex;

在符合标准的实现中（阅读：不是 MSVC），其他对象的构造函数可以安全地锁定和解锁 mutex，因为 std::mutex 的构造函数是 constexpr。