Typescript未对可选类型报错？VSCode类型校验异常问询

• TypeScript严格检查未开启
  若tsconfig.json中strict设为false，或单独关闭了strictNullChecks，TypeScript会默认允许undefined/null赋值给任意非可选类型，不会触发类型错误。

• 类型断言或守卫干扰了检查
  代码中如果用了sync.user as User这类强制类型断言，TypeScript会直接信任断言结果，跳过空值校验；若存在逻辑错误的类型守卫（比如条件判断未正确过滤undefined），也会让TS误以为sync.user已被确认为非空。

• 方法参数类型定义存在漏洞
  方法的“非可选”要求可能只是口头约定，实际类型定义有问题：比如参数被设为any类型，或是第三方库的类型定义本身不严谨，允许undefined传入。

• Lint规则未配置到位
  项目的ESLint/TSLint未启用空值相关校验规则，比如@typescript-eslint/no-unnecessary-type-assertion，或是未将TypeScript的严格检查和Lint规则联动，导致类型问题没被Lint捕获。

• VSCode TS服务缓存异常
  偶尔VSCode的TypeScript语言服务会出现缓存问题，导致实时检查失效。可以通过Ctrl+Shift+P执行TypeScript: Restart TS Server，或重启VSCode解决。

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