流量甚至類型細化後抱怨未定義

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中，然後使用它（在所有三個位置）來避免潛在的錯誤。