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

Question

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

1. 在析构函数的声明中，声明符是以下形式的函数声明符 (11.3.5)

ptr-declarator ( parameter-declaration-clause ) noexcept-specifier(opt) 属性说明符-seq(opt)

在C ++ 20这得到了改变，以这样：

1. 其 declarator-id 具有以 ~ 开头的非限定 id 的声明声明了一个预期的析构函数；其声明符应为以下形式的函数声明符 ([dcl.fct])

ptr-declarator ( parameter-declaration-clause ) noexcept-specifier(opt) 属性说明符-seq(opt)

那么这个“潜在的破坏者”是什么？那么标准似乎没有澄清，至少对我来说：

4. 在类定义结束时，在该类中声明的预期析构函数之间执行重载解析，并带有空参数列表，以选择该类的析构函数，也称为选定的析构函数。如果重载解析失败，则程序格式错误。

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

我认为这可能是为了用于模板元编程，或者可能与 SFINAE 有什么关系，但这些只是猜测。

Answer 1

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

这个概念的目的是允许……概念。

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

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

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

从历史上看，这是通过使用专门确定是否T具有简单析构函数的基类或成员类型来完成的。但是一个适当的requires条款可以使它更容易实施。

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