Microsoft/TypeScript

Noncrashing property access through non-null assertion operator should narrow that property to NonNullable

Open

#15.655 aperta il 8 mag 2017

Vedi su GitHub
 (11 commenti) (1 reazione) (0 assegnatari)TypeScript (6726 fork)batch import
BugDomain: check: Control FlowHelp Wanted

Metriche repository

Star
 (48.455 star)
Metriche merge PR
 (Merge medio 6g 17h) (9 PR mergiate in 30 g)

Descrizione

TypeScript Version: 2.3 (Playground)

Code

Using strictNullChecks.

interface Foo {
    optional?: number;
}

interface Bar {
    foo?: Foo;
}

function test(bar: Bar) {
    if (bar.foo!.optional) {
        let num: number = bar.foo.optional;
    }

    if (bar.foo && bar.foo.optional) {
        let num: number = bar.foo.optional;
    }
}

Expected behavior: No errors or warnings.

Actual behavior:

  • num in first if block is number | undefined
  • bar.foo in first if block can be undefined

skarmavbild 2017-05-08 kl 12 58 06

Guida contributor

Direzione di ricerca
Indaga come il compilatore TypeScript gestisce il narrowing del tipo per l'accesso alle proprietà tramite l'asserzione non null. Esamina il grafico del flusso di controllo e l'inferenza dei tipi per le proprietà opzionali.
Tech stack
typescript
Dominio
compilers
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
TypeScript type systemcontrol flow analysis
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30