悬空参考溶液

Question

T&&运算符[](std::size_t n) && noexcept {std::cout<<"移动"<
我在这部分无法得到预期的结果。 我预测会发生悬空引用。

T 运算符[](std::size_t n) && noexcept {std::cout<<"移动"<
这效果很好。 为什么 T&&增加寿命？

#include <iostream>
#include <stdlib.h>
#include<vector>

template<typename T, typename Alloc = std::allocator<T>>
class my_vector
{
  std::vector<T, Alloc> vec;

public:
  my_vector(std::initializer_list<T> init) : vec{init} {}

  T&& operator[](std::size_t n)  && noexcept {std::cout<<"move"<<std::endl; return std::move(vec[n]); } // moveしたものを参照するとごみを参照してることになる
    //T operator[](std::size_t n)  && noexcept {std::cout<<"move"<<std::endl; return std::move(vec[n]); } 
};

int main()
{

    auto&& vec = my_vector<int>{1, 2, 3}[0]; //case3 move
    std::cout<<vec<<std::endl; //0

}

Answer 1

对于自动&& vec = my_vector{1, 2, 3}[0];，引用未绑定到临时变量（即 my_vector{1, 2, 3} >) 直接，它的 生命周期不会延长。

一般来说，临时对象的生命周期不能通过“传递它”来进一步延长：从临时对象绑定到的引用变量或数据成员初始化的第二个引用不会影响其生命周期。

另一方面，如果将 operator[] 的返回类型更改为 T，那么它会返回什么（即 my_vector{1, 2, 3}[0]) 是一个临时变量，并绑定到 vec，然后它的生命周期将延长到 vec 的生命周期。