Блог

Я не уверен в некоторых нетривиальных примерах rvalue / lvalue.

являются std::vector<int>({1,2,3})[0] std::vector<int>() ли выражения и ниже lvalue или rvalue?

код фактически не используется, но меня немного удивляет, что код действителен. Похоже, что они оба являются значениями lvalue. или нет?

 #include <vector>

int main()
{
    std::vector<int>({1,2,3})[0] = 0;
    std::vector<int>() = {1,2,3}; 
    return 0;
}
  

еще один пример…

Приведенное std::vector<int>() ниже выражение является значением rvalue. верно? а как насчет выражения std::vector<int>({1,2,3})[0] ?
Как векторный объект from std::vector<int>() , так и значение int from ...[0] являются временными значениями. верно?

 auto v = std::vector<int>();
int i = std::vector<int>({1,2,3})[0];
  

std::vector<int>() является значением rvalue, потому что синтаксис type() всегда выдает значение rvalue . std::vector<int>() = {1,2,3}; разрешено, потому что присвоение rvalues типа class разрешено в целом, но может быть отключено для определенного класса путем определения operator= с помощью amp; квалификатора, что std::vector не выполняется.

std::vector<int>({1,2,3})[0] является значением lvalue, поскольку std::vector<...>::operator[] определено для возврата ссылки на значение lvalue. Можно определить его для возврата rvalue или lvalue в зависимости от того, вызывается ли вектор для rvalue или lvalue (см. Ссылку выше), но std::vector он этого не делает.

Как векторный объект из std::vector(), так и значение int из …[0] являются временными значениями. верно?

Ответ vector — да. The int — нет, по крайней мере, формально.

Является ли объект временным или нет, зависит исключительно от способа его создания, например type() . всегда будет давать вам временное значение.

Вектор распределяет свои элементы в куче, что приводит к обычным, не временным объектам. Не имеет значения, что сам вектор является временным.