流量甚至类型细化后抱怨未定义

Question

您可以在flow.org/try查看代码，或者你可以看它在这里：

/* @flow */ 

type Thing = { 
    arr?: Array<number> 
} 

const thing: Thing = { 
    arr: [10, 20, 30] 
} 

function getSubArray(thing: Thing, index: number) { 
    if (!thing.arr) return [] 

    return [ 
    ...thing.arr.slice(0, index), 
    ...thing.arr.slice(index + 1) 
    ] 
} 

const newArr = getSubArray(thing, 1) 

我认为做if (!thing.arr) return []，将作为“类型精化”和流理解thing.arr之后不是undefined。然而，它给我一个错误说

16:  ...thing.arr.slice(index + 1)   
     ^call of method `slice`. Method cannot be called on possibly undefined value 
16:  ...thing.arr.slice(index + 1) 
     ^undefined 

任何帮助，将不胜感激！

Answer 1

第一次致电arr.slice“可能”变异thing.arr变为undefined，使得第二次调用slice出现错误。流程通过使细化无效来保护您免受这种可能性的影响。

您可以将thing.arr存储在const中，然后使用它（在所有三个位置）来避免潜在的错误。