Какие выражения создают значения x?

Во введении к §5 (C ++ 11 §5 [expr] / 6) есть полезное ненормативное примечание:

[Примечание: выражение является значением x, если оно:

• результат неявного или явного вызова функции, возвращаемый тип которой является ссылкой rvalue на тип объекта,

• приведение к ссылке rvalue на тип объекта,

• выражение доступа к члену класса, обозначающее нестатический член данных не ссылочного типа, в котором выражение объекта является значением x, или

• .* выражение указателя на член, в котором первый операнд является значением x, а второй операнд - указателем на член данных.

В общем, действие этого правила состоит в том, что именованные ссылки rvalue обрабатываются как lvalue, а безымянные ссылки rvalue на объекты обрабатываются как xvalue; Ссылки rvalue на функции обрабатываются как lvalue независимо от того, имеют ли они имена. —В конце примечания]

Если просмотреть оставшуюся часть §5, этот список кажется исчерпывающим. За списком следует пример:

struct A {
    int m;
};

A&& operator+(A, A);
A&& f();
A a;
A&& ar = static_cast<A&&>(a);

Выражения f(), f().m, static_cast<A&&>(a) и a + a являются значениями x. Выражение ar - это lvalue.

Есть два распространенных способа получить выражение xvalue:

• Используйте std::move для перемещения объекта. std::move выполняет static_cast тип ссылки rvalue и возвращает ссылку rvalue.

• Используйте std::forward для пересылки rvalue. std::forward обычно используется в шаблоне функции, чтобы обеспечить безупречную пересылку аргумента функции.

  Если аргумент, предоставленный шаблону функции, был rvalue, типом параметра будет ссылка rvalue, которая является lvalue. В этом случае std::forward выполняет static_cast ссылочный тип rvalue и возвращает ссылку rvalue.

  (Примечание: если аргумент, предоставленный шаблону функции, был lvalue, типом параметра будет ссылка lvalue, а std::forward вернет ссылку lvalue.)

В разделе 5, в котором описывается синтаксис допустимых выражений, перечислены для каждого синтаксиса выражения условия, в которых выражение является lvalue, xvalue или prvalue. Полный список возможных значений x из раздела 5:

5.2.2 параграф 10: вызов функции - это ... значение x, если тип результата является ссылкой rvalue на тип объекта.

(На техническом языке Стандарта «тип объекта» не означает то же самое, что «тип класса». «Тип объекта» включает основные типы, указатели и массивы и исключает только типы функций. Ссылка rvalue на тип функции всегда рассматривается как lvalue, а не как xvalue.)

Наиболее заметными функциями, которые возвращают ссылку на rvalue, являются, конечно, std::move, а иногда и std::forward.

5.2.5 абзац 4: Если E2 является нестатическим элементом данных ... если E1 является значением x, тогда E1.E2 является значением x

(С другой стороны, поиск элемента данных E1->E2 всегда является lvalue.)

Точно так же, если E1 является значением x, тогда поиск элемента данных E1.*E2 является значением x:

5.5 абзац 6. Результат выражения .*, второй операнд которого является указателем на элемент данных, имеет ту же категорию значений (3.10), что и его первый операнд.

Для различных типов слепков:

• dynamic_cast<Type>(expr): 5.2.7 параграф 2
• static_cast<Type>(expr): 5.2.9 абзац 1
• reinterpret_cast<Type>(expr): 5.2.10 параграф 1
• const_cast<Type>(expr): 5.2.11 абзац 1
• (Type) expr: 5.4 абзац 1

выражение является значением x тогда и только тогда, когда Type является ссылкой rvalue на тип объекта. То же верно и для Type(expr), поскольку

5.2.3 абзац 1: Если список выражений [в скобках после имени типа] является единственным выражением, выражение преобразования типа эквивалентно (по определенности и, если определено по смыслу) соответствующему выражению приведения (5.4).

(С другой стороны, Type{expr} всегда является prvalue.)

Раздел 5.16 об условном операторе заканчивается тем, что A ? B : C иногда может быть значением x, если B и / или C являются значениями x. Но полные правила сложно резюмировать.

Если выражение заканчивается вызовом определяемой пользователем перегруженной операторной функции, то раздел 5.2.2 применяется к этому выражению, а не к тому, которое описывает поведение встроенного оператора. (См. Выражение a + a в опубликованном примере @James.)

Как вы упомянули,

Значение xvalue (значение «eXpiring») также относится к объекту, обычно ближе к концу его жизненного цикла (например, чтобы его ресурсы можно было перемещать).

Фокус: object, be moved, end lifetime

Вот пример:

void move_test(){
    std::string s = "I'm here!";
    std::string m  =  std::move(s);  // move from <s> to <m>
    // s is now in an undefined, but valid state; 
    std::cout << "s=" << s << "; &s=" << &s << std::endl;
}

Перемещая, мы можем преобразовать именованное значение (lvalue, здесь s) в rvalue (то есть std::move(s)). В частности, поскольку он не может быть prvalue (у него есть имя! Другими словами, у него есть личность), он в конечном итоге становится xvalue.

xvalue всегда обслуживает семантику перемещения C ++.

Из того, что я прочитал, я понял, что называть что-то xvalue - это причудливый способ сказать:

Xvalue - это просто rvalue, хранилище которого могло быть освобождено, поэтому его использование означает, что вы должны сами проверить его существование.

Как правило, это один или несколько уровней косвенного обращения от фактического rvalue.

Напротив, rvalue гарантированно будет иметь пространство для хранения, пока оно находится в области видимости.

Возможно, я ошибаюсь, но это то, что я понял.