ECMA-334: 12.3.3.21 Invocation expressions and object creation expressions

Microsoft .NET Framework, ASP.NET, Visual C# (CSharp, C Sharp, C-Sharp) Developer Training, Visual Studio

C# Language Specification

12. Variables 12.3 Definite assignment 12.3.3 Precise rules for determining definite assignment 12.3.3.1 General rules for statements 12.3.3.2 Block statements, checked, and unchecked statements 12.3.3.3 Expression statements 12.3.3.4 Declaration statements 12.3.3.5 If statements 12.3.3.6 Switch statements 12.3.3.7 While statements 12.3.3.8 Do statements 12.3.3.9 For statements 12.3.3.10 Break, continue, and goto statements 12.3.3.11 Throw statements 12.3.3.12 Return statements 12.3.3.13 Try-catch statements 12.3.3.14 Try-finally statements 12.3.3.15 Try-catch-finally statements 12.3.3.16 Foreach statements 12.3.3.17 Using statements 12.3.3.18 Lock statements 12.3.3.19 General rules for simple expressions 12.3.3.20 General rules for expressions with embedded expressions 12.3.3.21 Invocation expressions and object creation expressions 12.3.3.22 Simple assignment expressions 12.3.3.23 && expressions 12.3.3.24 || expressions 12.3.3.25 ! expressions 12.3.3.26 ?: expressions 12.3.3.27 Anonymous method expressions 12.3.3.28 Yield statements 12.3.3.29 ?? expressions

© 2006 ECMA International

12.3.3.21 Invocation expressions and object creation expressions

For an invocation expression expr of the form:

primary-expression ( arg₁, arg₂, … , arg_n )

or an object creation expression expr of the form:

new type ( arg₁, arg₂, … , arg_n )

• For an invocation expression, the definite assignment state of v before primary-expression is the same as the state of v before expr.

• For an invocation expression, the definite assignment state of v before arg₁ is the same as the state of v after primary-expression.

• For an object creation expression, the definite assignment state of v before arg₁ is the same as the state of v before expr.

• For each argument arg_i, the definite assignment state of v after arg_i is determined by the normal expression rules, ignoring any ref or out modifiers.

• For each argument arg_i for any i greater than one, the definite assignment state of v before arg_i is the same as the state of v after arg_i-1.

• If the variable v is passed as an out argument (i.e., an argument of the form "out v") in any of the arguments, then the state of v after expr is definitely assigned. Otherwise, the state of v after expr is the same as the state of v after arg_n.