为什么析构函数不能有引用限定符？答案

【问题标题】：Why can't a destructor have reference qualifiers?为什么析构函数不能有引用限定符？
【发布时间】：2020-02-28 08:28:49
【问题描述】：

是否有理由（除了因为标准这么规定）为什么不允许使用以下代码？

struct Foo
{
    ~Foo() && {}
    ~Foo() & {}
};

我知道这是非法的，但我想知道为什么。

我在考虑旧的避免未命名实例问题，即在使用保护对象时，例如：

void do_something()
{
    std::lock_guard{my_mutex};
    // some synchronized operation
}

这是合法代码，但显然容易出错，因为锁守卫在构造后会立即被销毁，因为它是一个临时（未命名）对象。

我本来打算做这样的事情

struct Foo
{
    ~Foo() && = delete;
    ~Foo() & = default;
};

如果类型被构造为临时类型，则会出现编译器错误。

【问题讨论】：

【解决方案1】：

首先，每个类必须只有一个析构函数。在析构函数上允许 ref-qualifiers 可以使析构函数重载。

另一个可能的原因是要和const and volatile qualifiers保持一致：

不得将析构函数声明为const、volatile 或const volatile (9.3.2)。 const 和 volatile 语义 (7.1.5.1) 不适用于正在销毁的对象。

我想，为了保持一致性，rvalues 和 lvalues 之间的区别不适用于正在销毁的对象。

【讨论】：