為什么'value is Type'的ReturnType是function boolean？

Question

我想讓 function 接收值並運行類型保護 function。

const checkType = (string: string) : string is 'a' => string === 'a'
/// const checkType: (string: string) => string is "a"

const getType = (value: 'a' | 'b') => checkType(value);
/// const getType: (value: 'a' | 'b') => boolean

我預計getType的返回類型為string is 'a'但它被斷言為boolean 。

{value} is {Type}可以在一個 function 中工作嗎？

不能傳送到另一個function嗎？

Answer 1

返回類型string is 'a'只是傳達 typescript 它是一個類型保護。 無論如何，它都會返回boolean ，因為類型保護用於在運行時確認類型。

不能傳送到另一個function嗎？

是的，您可以在if語句中添加保護 function，如下所示。 這將確保如果防護檢查在運行時通過，它實際上確認它是給定的類型。

const isLiteralA = (string: string) : string is 'a' => string === 'a'

function myFunction(stringValue: string) {
  if (isLiteralA(stringValue)) {
    // Any operation on `stringValue` inside this if statement will assume it to be
    // the string literal "a" since stringValue passed the guard check for the same
  }
  else {
    // If `stringValue` does not pass the guard check, do something else (if required)
  }
}

您可以參考： https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates