TypeScript未识别空值检查，报错参数类型不兼容

嘿，这种TS明明做了检查却还报错的情况我太熟了！本质上是TypeScript没法自动识别你的条件判断已经排除了undefined的可能性，咱们来逐个解决：

先搞懂为啥会报错 #

你的代码里虽然判断了node.nodeType的取值，但TS没办法从这个判断里反向推导node本身不是undefined——毕竟如果node是undefined，访问node.nodeType在运行时会直接报错，但TS的类型分析逻辑没把这层关联起来，所以它依然认为node可能是undefined。

具体解决方案 #

方案1：先明确检查node是否存在 #

最简单的修复方式就是在判断nodeType之前，先确认node不是undefined：

if (node && node.nodeType !== NODE_TYPE_LEAF && node.nodeType !== NODE_TYPE_PSEUDO) {
  for (let i = 0; i < node.children.length; i++) {
    // 这里TS会自动收窄node的类型为HermiteOctreeNode，不会再报错
    yourTargetFunction(node.children[i]);
  }
}

这个方法利用了TS的真值检查，一旦node通过了node && ...的判断，TS就知道它不可能是undefined或者null了。

方案2：用自定义类型守卫（更优雅的长期方案） #

如果这种判断会在代码里多次出现，写一个自定义类型守卫函数可以让类型收窄更清晰：

// 定义类型守卫：告诉TS当函数返回true时，node一定是HermiteOctreeNode
function isValidNonLeafNode(node: HermiteOctreeNode | undefined): node is HermiteOctreeNode {
  return !!node && node.nodeType !== NODE_TYPE_LEAF && node.nodeType !== NODE_TYPE_PSEUDO;
}

// 使用类型守卫
if (isValidNonLeafNode(node)) {
  for (let i = 0; i < node.children.length; i++) {
    yourTargetFunction(node.children[i]);
  }
}

这种方式相当于给TS明确的类型规则，后续只要用这个函数做判断，TS就能准确识别node的类型。

方案3：应急用类型断言（谨慎使用） #

如果只是临时快速解决问题，可以用类型断言强制告诉TSnode不是undefined：

if (node.nodeType !== NODE_TYPE_LEAF && node.nodeType !== NODE_TYPE_PSEUDO) {
  for (let i = 0; i < node.children.length; i++) {
    yourTargetFunction(node.children[i] as HermiteOctreeNode);
  }
}

⚠️ 注意：这种方式会跳过TS的类型检查，一定要确保你已经100%确认node不可能是undefined，不然运行时会出bug！

额外注意点 #

检查一下你的代码里有没有在if块内重新给node赋值的情况——如果node是let声明的变量，并且在判断后被修改了，TS会丢失之前的类型收窄信息，这种情况下建议把node改成const声明（如果不会被修改的话），或者避免在块内重新赋值。

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