Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
172 lines (102 sloc) 4.84 KB

#Null-aware Operators

Contact information

  1. Gilad Bracha.

  2. gbracha@google.com.

  3. https://github.com/gbracha/nullAwareOperators

Status

This proposal was accepted by the DEP, and was included in the 3rd edition of the Dart language specification.

This document is out of date. Please refer to the official Dart language specification.

##Summary

We propose the addition of the following operators:

  • ?. where a?.b is sugar for a == null ? null : a.b.

  • The null-coalescing operator (aka ifNull) ?? where a??b is sugar for a == null? b : a.

  • ??= where v ??= e is sugar for v = v ?? e.

##Motivation

See bugs:

###Pros

  • Simple. Effects are entirely local, specified by translation to existing Dart.

###Cons

  • Syntactic sugar causes cancer of the semicolon.

  • There might be demand for extensions. For example, compound null-aware assignment, e.g., a?+= x. These are not supported. The fact that they are not supported is not, in my view, a weakness of the proposal. The weakness is that it gives rise to such temptations.

  • Allows for 'elvis closurization' as in a?.m where m is a method, not because this is desired, but because it is not easily distinguished from other cases. In some sense this runs counter to the desire to clean up closurization as described in the generalized tear offs proposal. I'd rather not introduce things like a?#m.

  • Does not support operators.

##Examples

if ((stringMightBeNull ?? "").length == 0) {
    // string is empty or null
}

zip = lottery?.drawWinner()?.address?.zipcode

Proposal

See above. The proposal is strictly limited to the above syntactic transforms.

Deliverables

Language specification changes

16.19.1 Compound Assignment

A compound assignment of the form v op= e is equivalent to v=v op e. A compound assignment of the form C.v op= e is equivalent to C.v = C.v op e. A compound assignment of the form e1.v op = e2 is equivalent to ((x) => x.v = x.v op e2)(e1) where x is a variable that is not used in e2. A compound assignment of the form e1[e2] op= e3 is equivalent to ((a, i) => a[i] = a[i] op e3)(e1, e2) where a and i are variables that are not used in e3. ;

compoundAssignmentOperator:

‘*=’ | 
‘/=’ | 
‘ ̃/=’ | 
‘%=’ | 
‘+=’ | 
‘-=’ | 
‘<<=’ | 
‘>>=’ | 
‘&=’ | 
‘ˆ=’ | 
‘|=’
‘??=’
;

?? can either replace unaryExpression or logicalOrExpression. Assuming the latter.

16.20 Conditional

A conditional expression evaluates one of two expressions based on a boolean condition. conditionalExpression:

ifNullExpression (‘ ?’ expressionWithoutCascade ‘:’ expressionWithoutCascade)?
;

Rest of section 16.20 is unchanged

16.xx If-null Expression

An if-null expression evaluates an expression and if the result is null, evaluates another.

ifNullExpression:
  logicalOrExpression ‘??’ logicalOrExpression

An if-null expression of the form e1??e2 is equivalent to the expression e1 == null? e2: e1.

16.31 Assignable Expressions

Assignable expressions are expressions that can appear on the left hand side of an assignment. This section describes how to evaluate these expressions when they do not constitute the complete left hand side of an assignment.

Of course, if assignable expressions always appeared as the left hand side, one would have no need for their value, and the rules for evaluating them would be unnecessary. However, assignable expressions can be subexpressions of other expressions and therefore must be evaluated.

assignableExpression:
primary (arguments* assignableSelector)+ | 
super assignableSelector |
identifier
;

assignableSelector:
‘[’ expression ‘]’ |
 ‘.’ identifier |
 ‘?.’ identifier 
;

An assignable expression can be conditional or unconditional.

A conditional assignable expression of the form e1?.identifier is equivalent to the expression e1 == null ? null : e1.identifier.

An unconditional assignable expression is either:

Rest of section 16.31 is unchanged

A working implementation

TBD

Tests

TBD

Patents rights