csharplang/spec/expressions.md

Expressions

This content has moved to the dotnet/csharpstandard repository. The list below provides links to each heading in this section. The links specify the C# 6 branch, which is version when the specifications merged.

To view the text of the Microsoft spec before merging with the ECMA text, checkout the ms-spec-text tag in this repository.

• Expressions
  • Expression classifications
    • Values of expressions
  • Static and Dynamic Binding
    • Binding-time
    • Dynamic binding
    • Types of constituent expressions
  • Operators
    • Operator precedence and associativity
    • Operator overloading
    • Unary operator overload resolution
    • Binary operator overload resolution
    • Candidate user-defined operators
    • Numeric promotions
      • Unary numeric promotions
      • Binary numeric promotions
    • Lifted operators
  • Member lookup
    • Base types
  • Function members
    • Argument lists
      • Corresponding parameters
      • Run-time evaluation of argument lists
    • Type inference
      • The first phase
      • The second phase
      • Input types
      • Output types
      • Dependence
      • Output type inferences
      • Explicit parameter type inferences
      • Exact inferences
      • Lower-bound inferences
      • Upper-bound inferences
      • Fixing
      • Inferred return type
      • Type inference for conversion of method groups
      • Finding the best common type of a set of expressions
    • Overload resolution
      • Applicable function member
      • Better function member
      • Better conversion from expression
      • Exactly matching Expression
      • Better conversion target
      • Overloading in generic classes
    • Compile-time checking of dynamic overload resolution
    • Function member invocation
      • Invocations on boxed instances
  • Primary expressions
    • Literals
    • Interpolated strings
    • Simple names
    • Parenthesized expressions
    • Member access
      • Identical simple names and type names
      • Grammar ambiguities
    • Invocation expressions
      • Method invocations
      • Extension method invocations
      • Delegate invocations
    • Element access
      • Array access
      • Indexer access
    • This access
    • Base access
    • Postfix increment and decrement operators
    • The new operator
      • Object creation expressions
      • Object initializers
      • Collection initializers
      • Array creation expressions
      • Delegate creation expressions
      • Anonymous object creation expressions
    • The typeof operator
    • The checked and unchecked operators
    • Default value expressions
    • Nameof expressions
    • Anonymous method expressions
  • Unary operators
    • Null-conditional operator: These sections have been rearranged.
    • Null-conditional expressions as projection initializers: These sections have been rearranged.
    • Null-conditional expressions as statement expressions: These sections have been rearranged.
      • §11.7.7 Null Conditional Member Access
      • §11.7.9 Null Conditional Invocation Expression
      • §11.7.11 Null Conditional Element Access
    • Unary plus operator
    • Unary minus operator
    • Logical negation operator
    • Bitwise complement operator
    • Prefix increment and decrement operators
    • Cast expressions
    • Await expressions
      • Awaitable expressions
      • Classification of await expressions
      • Runtime evaluation of await expressions
  • Arithmetic operators
    • Multiplication operator
    • Division operator
    • Remainder operator
    • Addition operator
    • Subtraction operator
  • Shift operators
  • Relational and type-testing operators
    • Integer comparison operators
    • Floating-point comparison operators
    • Decimal comparison operators
    • Boolean equality operators
    • Enumeration comparison operators
    • Reference type equality operators
    • String equality operators
    • Delegate equality operators
    • Equality operators and null
    • The is operator
    • The as operator
  • Logical operators
    • Integer logical operators
    • Enumeration logical operators
    • Boolean logical operators
    • Nullable boolean logical operators
  • Conditional logical operators
    • Boolean conditional logical operators
    • User-defined conditional logical operators
  • The null coalescing operator
  • Conditional operator
  • Anonymous function expressions
    • Anonymous function signatures
    • Anonymous function bodies
    • Overload resolution and anonymous functions
    • Anonymous functions and dynamic binding
    • Outer variables
      • Captured outer variables
      • Instantiation of local variables
    • Evaluation of anonymous function expressions
  • Query expressions
    • Ambiguities in query expressions
    • Query expression translation
      • Select and groupby clauses with continuations
      • Explicit range variable types
      • Degenerate query expressions
      • From, let, where, join and orderby clauses
      • Select clauses
      • Groupby clauses
      • Transparent identifiers
    • The query expression pattern
  • Assignment operators
    • Simple assignment
    • Compound assignment
    • Event assignment
  • Expression
  • Constant expressions
  • Boolean expressions