用於使用默認值解構函數參數的flowType

Question

在這種情況下，我們有沒有不破壞類型檢查的解決方法？

// Error
function foo({name = 42}: {name: ?number}) {
  //          ^ null or undefined [1] is incompatible with number [2].
  console.log(name);
}

該錯誤的解決方案阻止流程檢查默認值類型。

// Correct
const foo = ({name = true}: $Subtype<{name: ?string}>) => {
  //                 ^ flow does not check this
  console.log(name);
}

Answer 1

還能保持類型安全的唯一解決方法是不使用解構：

function foo(props: {name: ?number}) {
    let name = props.name === undefined ? 41 : props.name;
    console.log(name);
}

Answer 2

我們具有用於添加類型的舊代碼庫，因此我們不希望更改功能。

分解參數而不是標題中的內容-對我來說很棒。

function foo(arg: {name: ?number}) {
  const { name = 42 } = arg;
  // the default value is only used for undefined values.
  console.log((name: (number | null)));
}