为什么析构函数不能有引用限定符?

是否有其他原因(除了 因为标准是这么说的 )为什么不允许使用以下代码?

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

我知道这是违法的,但我想知道为什么。

我在想那位老人 避免未命名实例 问题,即使用防护对象时,如:

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

这是法律代码,但显然容易出错,因为锁防护在构建后会立即被销毁,因为它是一个临时(未命名)对象。

我本来打算做这样的事

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

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