如何处理打字稿getter函数中的referenceError

Question

在打字稿中，我有一个带有 Database 对象的项目，该对象是一个 array 电影 对象。我还有一个 throwif 功能。以下代码不会产生任何错误：

function throwIf(condition: boolean, message: string){
    if (condition) return new Error (message)
}

function getCinema(cineId: number, database: Database): Cinema {
    throwIf(cineId == null, 'cineId should not be null')
    throwIf(database == null, 'database should not be null')

    let cinema = database
        .find(cinema => cinema.id === cineId)

    if (!cinema) throw new Error (`No cinema with id : ${cineId} `)
    return cinema
}

但我宁愿这样写：

function throwIf(condition: boolean, message: string){
    if (condition) return new Error (message)
}

function getCinema(cineId: number, database: Database): Cinema {
    throwIf(cineId == null, 'cineId should not be null')
    throwIf(database == null, 'database should not be null')

    let cinema = database
        .find(cinema => cinema.id === cineId)

    throwIf(!cinema,`No cinema with id : ${cineId} `)
    return cinema
}

但它会引发编译器错误：

Type 'Cinema | undefined' is not assignable to type 'Cinema'.
  Type 'undefined' is not assignable to type 'Cinema'.

有没有办法让它工作？ 没有将返回值输入为 Cinema|undefined ?

Answer 1

if 充当type guard。

user type guard 在类似情况下很有用，但在这里不适用，因为它应该返回一个值并与if 一起使用。

像throwIf 这样的函数不能被编译器静态分析以用作类型保护。 open issue 显示 Node.js assert 作为此限制的示例。

可以使用非空断言来解决这个问题：

...
throwIf(!cinema,`No cinema with id : ${cineId} `)
return cinema!;

因为throwIf 之后需要始终使用非空断言：

throwIf(!cinema,`No cinema with id : ${cineId} `)'
console.log(cinema!);
return cinema!;

或者重新分配一个没有操作的变量：

throwIf(!cinema,`No cinema with id : ${cineId} `)'
cinema = cinema!;
console.log(cinema);
return cinema;

或者预先声明它（可以在throwIf调用之前以负面方式影响类型a）：

let cinema = database.find(cinema => cinema.id === cineId)!;

throwIf 的当前状态在 TypeScript 中不能被认为是实用的；它并不比各自的 if (...) throw ... 语句更短或更易读。