C++20 Concepts下带false求值requires子句的析构为何使类非平凡可析构？

1. requires子句的作用边界 #

• 你在类中声明的带requires (!std::is_trivially_destructible_v<T>)的析构函数，对Optional<int>这类平凡可析构的模板实例而言，只是在重载决议环节不满足可行条件、不会被选为调用目标，并不会从类的成员列表中被完全移除。
• 这类条件不匹配的函数，既不会被实例化生成实现，也不会让编译器回退到“自动生成隐式析构函数”的默认逻辑。

2. 平凡可析构的判定逻辑 #

按照C++标准，一个类型要满足平凡可析构，必须同时符合两个要求：

存在一个可正常调用的析构函数，且这个析构函数是平凡的。
平凡析构函数的定义为：要么是编译器隐式生成的，要么是用户在类体内部显式声明为=default的，且析构逻辑不涉及虚函数调用、非平凡基类/成员的清理操作。
对应到你写的代码的实际执行效果：

• 因为你显式声明了一个带requires的析构函数，编译器直接禁用了隐式生成平凡析构函数的逻辑。
• 对Optional<int>来说，你声明的唯一析构函数的requires条件为false，既不会被实例化生成实现，也没有被显式定义为=default的平凡版本。
• 最终Optional<int>不存在符合判定要求的平凡析构函数，因此std::is_trivially_destructible_v返回false。
• 如果你实际在代码中创建、析构Optional<int>类型的对象，还会因为找不到可用的析构函数定义触发链接错误。

3. 平凡类型的判定连带影响 #

std::is_trivial的判定比平凡可析构更严格，要求类型同时满足平凡默认构造、平凡拷贝/移动构造、平凡拷贝/移动赋值、平凡可析构所有条件。只要析构环节不满足平凡性要求，整个类型的平凡性判定就会直接为false。

如果要实现“模板参数为平凡可析构类型时，类本身也保持平凡可析构”的效果，需要对平凡分支的析构函数显式做=default的平凡声明，让编译器能识别到这是一个合格的平凡析构：

template<typename T>
class Optional
{
public:
    // T为平凡可析构的场景：显式默认生成本应有的平凡析构
    ~Optional() requires std::is_trivially_destructible_v<T> = default;
    // T为非平凡可析构的场景：实现自定义的非平凡析构逻辑
    ~Optional() requires (!std::is_trivially_destructible_v<T>) {
        // 自定义资源清理逻辑
    }
};

这种写法下，对Optional<int>来说，第一个析构函数的requires条件为true，且是类体内显式=default的实现，完全符合平凡析构的判定标准，对应的类型特征值就会和你的初始预期一致。

关键认知纠正：requires子句的“条件不满足”仅作用于函数重载的可行性筛选，不会撤销该函数作为类成员的声明效力，也不会触发编译器回退到隐式成员生成的逻辑。

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