TypeScript类型错误疑问：已定义联合类型为何仍报string|undefined不兼容？

我定义了联合类型DogName，取值为"dog1"|"dog2"|"dog3"，并编写了一个提取字符串最后一位字符转换为数字的函数。虽然参数都是非空字符串，但TypeScript仍提示错误：类型'string | undefined'不能赋值给'string'类型。用类型断言as string可以规避错误，但不清楚报错原因。

出错代码 #

type DogName = "dog1" | "dog2" | "dog3"

const parseDogNumber = (dogName: DogName): number => {
    const dogNumber = dogName.at(-1) // 预期返回string，但TS认为是string | undefined
    const asInt = parseInt(dogNumber) 
//                           ^^^^^
// Argument of type 'string | undefined' is not assignable to parameter of type 'string'.
//   Type 'undefined' is not assignable to type 'string'.(2345)
     

    return asInt
}

规避错误的代码 #

const parseDogNumber2 = (dogName: DogName): number => {
    const dogNumber = dogName.at(-1) as string 
    const asInt = parseInt(dogNumber)
    return asInt
}

原因说明 #

TypeScript中String.prototype.at()的类型定义是基于通用string类型的：当传入的索引超出字符串范围（比如空字符串调用at(-1)），方法会返回undefined，因此它的返回类型被标注为string | undefined。

虽然DogName的所有取值都是非空字符串，调用at(-1)必然返回有效字符，但TypeScript的类型系统不会针对这种具体的字面量联合类型做特殊推导——它只知道DogName是string的子类型，所以会沿用at()方法的通用返回类型，从而触发类型错误。

其他解决方案 #

除了类型断言，还可以用以下更安全的方式：

• 使用slice(-1)：该方法对非空字符串调用slice(-1)始终返回最后一个字符，类型为string

  const parseDogNumber3 = (dogName: DogName): number => {
      const dogNumber = dogName.slice(-1)
      return parseInt(dogNumber)
  }
  

• 使用非空断言!：明确告诉TS该值不可能为undefined（仅当你能确保参数不会出现空字符串时使用）

  const parseDogNumber4 = (dogName: DogName): number => {
      const dogNumber = dogName.at(-1)!
      return parseInt(dogNumber)
  }
  

内容的提问来源于stack exchange，提问作者Emman