5.2 后缀表达式 + 5.2.1 下标

5.2 后缀表达式

1、后缀表达式从左至右组合。

postfix-expression:

primary-expression

postfix-expression [ expression ]           // 下标

postfix-expression ( expression-list_opt )   // 函数调用

simple-type-specifier ( expression-list_opt )

typename ::_opt nested-name-specifier identifier ( expression-list_opt )

typename ::_opt nested-name-specifier template_opt template-id ( expression-list_opt )

postfix-expression . template_opt id-expression

postfix-expression -> template_opt id-expression

postfix-expression . pseudo-destructor-name

postfix-expression -> pseudo-destructor-name

postfix-expression ++

postfix-expression --

dynamic_cast < type-id > ( expression )

static_cast < type-id > ( expression )

reinterpret_cast < type-id > ( expression )

const_cast < type-id > ( expression )

typeid ( expression )

typeid ( type-id )

 

expression-list:

assignment-expression

expression-list , assignment-expression

 

pseudo-destructor-name:

::_opt nested-name-specifier_opt type-name :: ˜ type-name

::_opt nested-name-specifier template template-id :: ˜ type-name

::_opt nested-name-specifier_opt ˜ type-name

5.2.1 下标

1、后缀表达式后面跟一个由方括号扩起来的表达式还是后缀表达式。前一个表达式应具有“pointer to T”类型，另一个应为枚举或整数类型。最终的后缀表达式为“T”类型的左值。类型“T”必须是定义完全的对象类型。表达式E1[E2]在定义上等于*((E1)+(E2))。[注：有关*和+的详细论述可参考5.3和5.7；有关数组的详细讨论可参考8.3.4。]