未初始化的变量可以解决 TypeScript 中的 strictNullChecks

问：

请考虑以下 MRE：

let foo: string;
function test() {
  console.log(foo.trim())
}
test()

我正在使用 TSConfig 中的选项。 我预料到编译器会出现错误。 但我只在运行时得到一个：strictNullChecks'foo' is possibly 'undefined'

TypeError：无法读取 undefined 的属性（读取“trim”）

为什么 TSConfig 编译器不抱怨？ 为什么我不需要将未初始化的变量键入为 ？string | undefined

这里也没有编译错误：

module1

export let foo: string;

module2

import { foo } from 'module1';
console.log(foo.trim());

我知道如何强制执行类型检查，但我的问题是为什么 TypeScript 不这样做，我认为这是他工作的一部分！undefined

编辑：正如@matthieu-riegler所注意到的，当变量未声明为顶级变量时，它的行为符合预期。但实际上，只有当变量在调用站点的同一“级别”声明时，它才会按预期运行，因为这也不会引发任何编译器错误：

function test() {
let foo: string;
  function test2() {
    console.log(foo.trim())
  }
}
test()