为函数返回的右值引用赋值

Question

#include <utility>
template <typename Container>
decltype(auto) index(Container &&arr, int n) {
    return std::forward<Container>(arr)[n];
}

进行函数调用：

#include <vector>
index(std::vector {1, 2, 3, 4, 5}, 2) = 0;

当函数调用完成时，对象std::vector {1, 2, 3, 4, 5}将被销毁，为释放的地址赋值会导致未定义的行为。但是上面的代码运行良好，valgrind 什么也没检测到。也许编译可以帮助我制作另一个不可见的变量，例如

auto &&invisible_value {index(std::vector {1, 2, 3, 4, 5}, 2)};
invisible_value = 9;

如果我的猜测不正确，我想知道为什么为从函数返回的右值引用赋值是可行的，以及临时对象index(std::vector {1, 2, 3, 4, 5}, 2)何时会被销毁。

这个想法起源于？Effective Modern C++？，Item3：理解decltype。

Answer 1

你说“当函数调用完成时，对象向量 {1, 2, 3, 4, 5} 将被销毁”但这是不正确的。直到语句结束，即下一行代码，才删除为函数调用创建的临时文件。否则想象一下通过临时字符串的 c_str() 会破坏多少代码。