Std::Vector::与Std：：Exchange的引用

Question

struct Manager
{
  std::vector<bool> lifeTimes;

  //Should return the state before trying to kill it
  bool kill(std::size_t index)
  {
    return std::exchange(lifeTimes[index], false);
  }
};

错误：无法将类型为“std::_bit_reference&”的非常量lvalue引用绑定到类型为“std::vector::reference”{aka“std::_bit_reference”}的rvalue

因此，它抱怨false，因为只有第二个参数是rvalue

Answer 1

它不是一个bug，MSVC编译代码是因为它有一个扩展，可以将临时对象（Rvalue）绑定到非常量的Lvalue引用。

下面的代码用MSVC编译：

void foo(int& i) {}
foo(20); // you are passing Rvalue and it is bound to Lvalue reference

上面的代码不能在g++或CLang下编译，当您添加const以引用const Lvalue时，它可以工作：

void foo(const int&){}
foo(20); // you can bind Rvalue to const Lvalue reference

T& vector<T>::operator[](index) // where T is not bool

vector<bool>::reference vector<bool>::operator[](index)
              ^^^^^^^^^  

return std::exchange(lifeTimes[index], false);

  bool kill(std::size_t index)
  {
      std::vector<bool>::reference proxyForBit = lifeTimes[index];
    return std::exchange(proxyForBit, false);
  }