C++ 返回数组元素时非常量引用的初始化无效

我正在编写一个封装动态分配数组的类，并尝试编写运算符[]函数。目前我有：

bool& solution::operator[](unsigned int pos)
{
  if(pos < _size)
  {
    return this->_data[pos];
  }
  else
  {
    return false;
  }
}

但是我从g++中得到以下错误：

错误：从“bool”类型的右值初始化“bool&”类型的非常量引用无效

---

我应该怎么做？我需要[]运算符才能修改元素。

这是因为布尔literalfalse是右值，不能绑定到非常量引用bool&这是运算符[]的返回类型

只需将返回类型从bool&更改为bool，错误就会消失。但这并不能解决您的问题，正如您所说，您希望返回元素的引用，以便可以在callsite上更改元素，然后您必须执行以下操作：

//correct solution
bool& solution::operator[](unsigned int pos)
{
  if(pos > _size)
     throw std::out_of_range("invalid index");
  return this->_data[pos];
}

也就是说，您应该通知调用方一个无效的索引，这样它就可以知道出了什么问题。C++的各种方法都是为了实现这个目的，即通知错误。 当索引无效时，尝试返回任何值false或true只会隐藏问题。问问自己，如果返回一个存储在类中的伪布尔值，那么调用方会知道索引是否无效吗？没有

//incorrect solution
bool& solution::operator[](unsigned int pos)
{
  if(pos > _size)
     return _dummy; //it hides the problem, no matter if its true or false!
  return this->_data[pos];
}

---

这是因为布尔literalfalse是一个右值，不能绑定到非常量引用bool&它是运算符[]的返回类型

只需将返回类型从bool&更改为bool，错误就会消失。但这并不能解决您的问题，正如您所说，您希望返回元素的引用，以便可以在callsite上更改元素，然后您必须执行以下操作：

//correct solution
bool& solution::operator[](unsigned int pos)
{
  if(pos > _size)
     throw std::out_of_range("invalid index");
  return this->_data[pos];
}

也就是说，您应该通知调用方一个无效的索引，这样它就可以知道出了什么问题。C++的各种方法都是为了实现这个目的，即通知错误。 当索引无效时，尝试返回任何值false或true只会隐藏问题。问问自己，如果返回一个存储在类中的伪布尔值，那么调用方会知道索引是否无效吗？没有

//incorrect solution
bool& solution::operator[](unsigned int pos)
{
  if(pos > _size)
     return _dummy; //it hides the problem, no matter if its true or false!
  return this->_data[pos];
}

---

通常，标准库类不在.operator[]中进行边界签入，如果在.at中跨越了边界，则抛出异常；除非所讨论的类使这不可能实现，否则最好遵循此约定，以防您遇到使用.at的模板。例如，标准库类通常不签入.operator[]的边界，并在边界被跨入时引发异常。at；除非所讨论的类使这成为不可能，否则最好遵循此约定，以防您遇到使用.at的模板。