Уточнения потока не распространяются «вверх»?

Question

Я был удивлен видеть, что this example не typecheck:

/* @flow */ 

type State = { flag: boolean } 

function firstStep(state: State) { 
    if (state.flag) { 
    secondStep(state) 
    // this works though: 
    // secondStep({ flag: state.flag }) 
    } 
} 

function secondStep(state: { flag: true }) {} 

3: type State = { flag: boolean } 
        ^boolean. Expected boolean literal `true` 
13: function secondStep(state: { flag: true }) {} 
           ^boolean literal `true` 

Flow знает, что может уточнить state.flag к true, но он не знает, что state может быть уточнена в { flag: true }. Это ожидалось?

Answer 1

Как и многие отношения подтипов, которые отлично смотрятся на поверхности, это разрушается изменчивостью. secondStep может сохранить ссылку на state, а firstStep может впоследствии изменить state.flag на false.

Однако это работает, если вы используете disjoint unions:

type State = { flag: true } | { flag: false }; 

(tryflow)

Вы можете обнаружить, что непересекающиеся союзы соответствии с вашим случаем использования лучше в любом случае, так как тогда вы можете иметь различные свойства в вашем State объект в зависимости от значения флага.

Обратите внимание, что в этом случае Flow не позволяет установить state.flag в false, поэтому уточнение может проводиться в secondStep.