a guest, я тебе ясно сказал - раздел "The C++ object model" . Дополнительно к нему рекомендую прочесть раздел "Expressions" в отношении "Subscripting" , а также раздел "Declarations" в отношении "Arrays" и как-то согласованно уложить это у себя в сознании.

Может ты, всё-таки, разуешь глаза? Где в данном тексте ты разглядел третью форму глагола evaluate?

- A glvalue is an expression whose evaluation determines the identity of an object, bit-field, or function.
...
- An lvalue is a glvalue that is not an xvalue.

a guest, вот что тут может быть непонятно?

A postfix expression followed by an expression in square brackets is a postfix expression. One of the expressions shall be a glvalue of type “array of T” or a prvalue of type “pointer to T” and the other shall be a prvalue of unscoped enumeration or integral type. The result is of type “T”. The type “T” shall be a completely-defined object type. The expression E1[E2] is identical (by definition) to *((E1)+(E2)) , except that in the case of an array operand, the result is an lvalue if that operand is an lvalue and an xvalue otherwise. The expression E1 is sequenced before the expression E2.

a guest, ты до сих пор не понял, что я нарочно использую слово "расценивается", чтобы сократить возможность двойного трактования слова "оценивается" и специально перевожу не дословно, стараясь следовать литературным нормам русского языка? Ты шо, нерусский?

У него во всех местах стандарта баг, где его маня-мирок сталкивается с когнитивным диссонансом. Не обращай внимания!

Не могу!
Так как слово вычисляется, я, как правило, использую к выражениям, результатом которых является числовое значение, а не тип.

Всё тоже самое. cv-квалификаторы лишь сообщают компилятору об особенностях работы с объектом.

Да вы чо, блин, издеваетесь?!
22136952
"glvalue (generalized left-hand value) - выражение, которое расценивается как определяющее идентификацию объекта , битового поля или функции. Таким выражением может быть как lvalue, так и xvalue.
Ремарка: В стандарте C++ под объектом понимается не только экземпляр структуры или класса, но также экземпляр любого скалярного или пользовательского типа, включая экземпляр типа "массив" (array).
Проводя параллели с лексиконом программистов, результатом оценки выражения glvalue в C++ является переменная - именованная (меченная) непрерывная область памяти данных процесса, предназначенная для хранения типизированных данных, содержимое которой позволено изменять. К примеру, указатель (void*), как меченная непрерывная область памяти некоторого размера (DWORD для 32-разрадных или QWORD для 64-разрядных приложений), предназначенная для хранения данных типа (void*), является переменной, но область памяти на которую указывает хранящийся в этом указателе адрес не может расцениваться как переменная, так как нам ничего не известно о типе того, на что этот адрес указывает и вообще является ли это данными или кодом. В отношении указателя (void*) стандарт C++ говорит нам о том, что указатель типа (void*) указывает на объект неизвестного типа."

Алексей Роза, самый кайф будет, когда девушка углубиться в тему виртуальных методов, чисто виртуальных методов, классов-интерфейсов и т.д. :) Там ещё придётся пояснять такие "нестандартные" вещи, как ABI.