什么是 C++20 中的“预期析构函数”？

Question

似乎在 C++20 中引入了一种称为“预期析构函数”的东西。 在C++17 [class.dtor]:

1. 在析构函数的声明中，声明符是一个函数声明符 (11.3.5)，形式为

ptr-declarator (parameter-declaration-clause) noexcept-specifier(opt) attribute-specifier-seq(opt)

在 C++20 中，这已更改为 this:

1. 声明符 id 具有以 ~ 开头的非限定 id 的声明声明了预期的析构函数；它的声明符应该是一个函数声明符（[dcl.fct]），形式为

ptr-declarator (parameter-declaration-clause) noexcept-specifier(opt) attribute-specifier-seq(opt)

那么这个“预期析构函数”是什么？好吧，标准似乎并没有澄清，至少对我来说：

4. 在类的定义结束时，在该类中声明的预期析构函数之间执行重载决议，并使用空参数列表来选择该类的析构函数，也称为选定的析构函数。如果重载解析失败，则程序是非良构的。

引入“预期析构函数”这一新概念的原因是什么？它甚至意味着什么？它如何更改代码？它允许做什么？

我认为这可能是为了在模板元编程中使用，或者可能与 SFINAE 相关，但这些只是猜测。

Answer 1

意思是它所说的意思。它是一个“析构函数”，由英文单词“prospective”修饰，意思是“潜在的、可能的或预期的”。所以它是一个潜在的析构函数。

概念的目的是允许...概念。

析构函数是具有特殊属性和行为的特殊成员函数。但最重要的是，你只能拥有一个，而且当你使用一个类时，你必须立即知道你拥有哪一个（甚至与默认构造函数不同）。

但是，如果你想根据类的模板参数是否满足某些概念来实现不同的析构函数，这意味着你必须有多个析构函数。它们将根据requires 子句进行区分。

考虑std::optional<T>。如果T 有一个平凡的析构函数，则optional<T> 的析构函数必须是平凡的。但是如果optional 被占用，非平凡形式需要显式调用非平凡析构函数。这是两个函数体：= default 和 { /*actual code*/ }。

从历史上看，这是通过使用专用于T 是否具有微不足道的析构函数的基类或成员类型来完成的。但是适当的requires 子句可以使其更容易实现。

根据您引用的标准部分，稍后确定哪个析构函数声明仍然存在。进行重载解析需要对所有“预期析构函数”进行模板替换。这会导致其requires 子句未能消失的任何此类析构函数。如果此过程分解为单个析构函数，那么这就是实际的析构函数。如果它解析为多个析构函数，则代码格式错误。