为何any类型会提前禁用类型检查？代码中严格空检查失效疑问

疑问1：为何any类型会提前禁用类型检查？ #

any是TypeScript专为兼容JavaScript代码、绕过类型系统设计的类型，核心特性就是完全关闭对该值的类型校验：

• 任何针对any类型值的操作（访问属性、调用方法、赋值给其他类型变量等）都不会触发TypeScript的类型错误提示；
• 从设计初衷来看，any是为了让开发者在迁移JS代码到TS、或处理无法明确类型的场景时，暂时跳过类型检查，因此会直接禁用对该值及相关操作的类型校验逻辑。

疑问2：示例代码中使用any类型为何会禁用严格空检查？这是Bug吗？ #

这不是Bug，是TypeScript针对any类型的既定设计行为，具体原因如下：

1. 先看示例代码：

type SomeType = any;

interface Optional {
  some?: { 
    key: SomeType;
  };
}

interface NotOptional {
  key: SomeType;
}

const opt: Optional = {};

const val: NotOptional = {
  key: opt.some?.key // 当SomeType为any时无报错
}

2. 当SomeType为any时，opt.some?.key的类型会被推断为any——可选链操作的结果如果是any类型，TypeScript不会对其进行空值校验；
3. NotOptional中的key类型也是any，而any类型的值可以赋值给任何类型（包括自身），因此不会触发严格空检查的错误；
4. 若把SomeType换成具体类型（比如string），opt.some?.key的类型会变成string | undefined，此时赋值给NotOptional的非可选key就会触发严格空检查的错误，这才是严格空检查生效的正常表现。

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