关于C++ constexpr变量常量销毁规则及核心常量表达式的疑问

云原生阿岚

2026-7-10

参考规则

constexpr 变量必须满足以下要求：
……
它必须具备常量销毁特性，即满足以下任一条件：
它是类类型或其（可能是多维的）数组，该类类型拥有constexpr析构函数，且对于一个仅执行销毁该对象操作的假设表达式e，若将该对象及其非可变子对象（不包括可变子对象）的生命周期视为始于e内，则e将是一个核心常量表达式。

用户疑问

我不清楚的是：若仅执行销毁对象操作的表达式e中，对象及其非可变子对象（不包括可变子对象）的生命周期始于e，则e被视为核心常量表达式这一表述的含义。

我推测其含义如下：例如对于如下类：

class C {
public:
  C(char c) : c(c) {}
private:
  char c;
};

以及如下代码：

void foo() {
  char c;
  C(c);
}

表达式C(c)是否会被视为核心常量表达式？因为通过它创建的对象会在;结束前完成创建与销毁。（我注意到引用中将该表达式描述为假设的，但标准委员会肯定设想过符合该核心常量表达式定义的实际场景？另外，上述示例较为刻意，且所考虑的表达式并非仅销毁类对象C；是否存在完全符合该定义的用例？）

规则解析与解答

规则核心含义

这条规则的本质是单独验证对象的销毁动作能否在常量表达式语境中执行：假设存在一个仅做销毁操作的表达式e，我们临时把对象的非可变子对象的生命周期限定在e内部（即忽略它们的实际创建过程，只聚焦销毁本身），此时这个销毁操作必须能构成核心常量表达式——也就是说，销毁动作不能依赖运行时状态，也不能执行常量表达式禁止的操作（比如调用非constexpr函数、修改非可变对象等）。

对你示例的分析

你提到的C(c)包含对象构造+销毁两个动作，不符合规则中“仅执行销毁操作”的假设场景，因此不能直接用它来验证这条规则。

符合定义的实际用例

我们可以构造仅聚焦销毁动作的场景：

// 符合要求的类：析构函数是constexpr，销毁动作无非法操作
class ValidC {
public:
    constexpr ValidC(char c) : c(c) {}
    constexpr ~ValidC() = default; // C++20起默认析构函数自动为constexpr
private:
    char c;
};

// 模拟规则中的假设场景：仅执行销毁操作的表达式
constexpr void verify_destroy() {
    // 按规则假设对象生命周期始于此表达式内
    constexpr ValidC obj('x');
    // 这里的隐式析构就是仅销毁操作，属于核心常量表达式
}

这个场景里，销毁obj的动作（调用constexpr析构函数）完全符合核心常量表达式要求，因此ValidC类型的变量可以被声明为constexpr。

再看反例：

class InvalidC {
public:
    constexpr InvalidC() = default;
    ~InvalidC() {
        // 析构函数非constexpr，且包含运行时操作
        puts("Destroy");
    }
};

该类的析构函数不是constexpr，且包含运行时IO操作，即使假设对象生命周期始于销毁表达式内，销毁动作也无法构成核心常量表达式，因此InvalidC类型的变量不能被声明为constexpr。

规则的实际意义

这条规则是为了保证constexpr变量的销毁过程也能在编译时完成（比如静态存储期的constexpr变量，其销毁可能在程序启动/结束的常量语境中执行），确保对象整个生命周期（创建+销毁）都符合常量表达式的约束。

内容的提问来源于stack exchange，提问作者Vinod