c++ - 像这样的 C++ 中的 "rebinding"引用是否合法？

Question

以下在 C++ 中是否合法？

据我所知，Reference 有一个微不足道的析构函数，所以它应该是合法的。
但我认为引用不能合法地反弹......可以吗？

template<class T>
struct Reference
{
    T &r;
    Reference(T &r) : r(r) { }
};

int main()
{
    int x = 5, y = 6;
    Reference<int> r(x);
    new (&r) Reference<int>(y);
}

Answer 1

您并没有重新绑定(bind)引用，而是在另一个具有新位置的内存中创建一个新对象。由于旧对象的析构函数从未运行，我认为这将是未定义的行为。