|
3241 | 3241 | a possibly empty, comma-separated list of \grammarterm{initializer-clause}s |
3242 | 3242 | that constitute the arguments to the subscript operator. |
3243 | 3243 | The \grammarterm{postfix-expression} and |
3244 | | -the initialization of the object parameter of |
3245 | | -any applicable subscript operator function is sequenced before |
| 3244 | +the initialization of the object parameter\iref{dcl.fct} of |
| 3245 | +any applicable subscript operator function\iref{over.sub} is sequenced before |
3246 | 3246 | each expression in the \grammarterm{expression-list} and also before |
3247 | | -any default argument. |
| 3247 | +any default argument\iref{dcl.fct.default}. |
3248 | 3248 | The initialization of a non-object parameter of |
3249 | | -a subscript operator function \tcode{S}\iref{over.sub}, |
| 3249 | +a subscript operator function \tcode{S}, |
3250 | 3250 | including every associated value computation and side effect, |
3251 | 3251 | is indeterminately sequenced with respect to that of |
3252 | 3252 | any other non-object parameter of \tcode{S}. |
|
3257 | 3257 | consisting of a single \grammarterm{assignment-expression}. |
3258 | 3258 | One of the expressions shall be a glvalue of type ``array of |
3259 | 3259 | \tcode{T}'' or a prvalue of type ``pointer |
3260 | | -to \tcode{T}'' and the other shall be a prvalue of unscoped enumeration or integral type. |
| 3260 | +to \tcode{T}'' and the other shall be a prvalue of unscoped enumeration\iref{dcl.enum} or integral type. |
3261 | 3261 | The result is of type ``\tcode{T}''. |
3262 | 3262 | \indextext{type!incomplete}% |
3263 | 3263 | The type ``\tcode{T}'' shall be a completely-defined object type.% |
|
0 commit comments