老师好，感觉「只有当函数返回 true 时，形参被确定为 A 类型」这里的描述有点让人不好理解

来源：7-15 【 TS 自定义守卫理解+应用】快速学透自定义守卫【真实应用场景】

luckept

2022-04-12

经过实验，我发现并不是这个函数的返回值去决定它是否能点出来属性和方法，而是他会默认将函数执行结果视作真，若直接调用，它会直接将判断的内容类型范围收缩为守卫的类型。如果在判断语句中取反，它才默认不视作守卫的类型

【就其实跟老师您说的，自定义守卫是在编译期间确定类型的，那它如何能够根据函数返回 true 或 false 来决定类型是否被守卫呢，它又没有去实际运行】

也即是说，不做取反操作时 TS 就默认认为这个函数的逻辑是成功的，于是类型缩窄为守卫定义的类型，而取反时，TS 会认为这个函数的逻辑要在取反后才为真，这时形参的类型就不再是守卫的类型。下面是实验的代码，若有理解不当，请老师指正

函数返回为 false，但 if 中不做取反操作，可以点出来属性

function isString(str: any): str is string {
 return false
}

['1',2,3].forEach((item) => {
  if(isString(item)) {
	  // 此时可以点出来 string 类型的方法和属性
  }
})

函数返回为 true，但 if 中取反，不能点出来属性

function isString(str: any): str is string {
 return true
}

['1',2,3].forEach((item) => {
  if(!isString(item)) {
	  // 此时无法点出来 string 类型的方法和属性
  }
})