An lvalue is an expression with an object type or an incomplete type other than void;if an lvalue does not designate an object when it is evaluated, the behavior is undefined.

• 不再限定左值必须引用一个对象，但是规定如果使用了一个没有引用对象的左值，其行为是未定义的。