Блог

 function assertNotFalsey<T>(test: T): void | never {
  if (!test) {
    throw new Error('your thing failed');
  }
}

function doesNotWork(possiblyNull: { id: string } | null) {
    // do something that makes me sure that possiblyNull.id exists unless there is a downnstream error
    assertNotFalsey(possiblyNull)
    console.log(possiblyNull.id) // Does not compile as `id` might be null
}

function doesWork(possiblyNull: { id: string } | null) {
    // do something that makes me sure that possiblyNull.id exists unless there is a downnstream error
    if (!possiblyNull) {
    throw new Error('your thing failed');
  }
    console.log(possiblyNull.id) // type is scoped down to not include null.
}
  

Я хотел бы на самом деле выдавать ошибку при утверждении, а не только указывать компилятору принять то, что я делаю, используя оператор утверждения null . Если бы я мог заставить общую функцию работать, я мог бы расширить ее, чтобы взять массив тестов и напечатать конкретную ошибку, если какой-либо сбой удалит много шаблонов.

решает ли это вашу проблему

     console.log(possiblyNull?.id) // Does not compile as `id` might be null
  

Как насчет следующего

 type HasId = {id: string}

//typegaurd to check for id
function checkId(obj:any) : obj is HasId{
 if(obj amp;amp; typeof obj.id === "string"){return true;}
 throw new Error("checkID assertion failed")
}

function NowWorks<T extends HasId | null> (possiblyNull: T) {
  if (checkId(possiblyNull)) {
    console.log(possiblyNull.id) // Does not compile as `id` might be null
  }
}
  

Ссылка на игровую площадку