TypeScript Academy · 课时

非空断言运算符

Q: 「非空断言运算符」这节课中我会学到什么？

使用 ! 运算符断言值不为 null 或 undefined。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

使用 ! 运算符断言值不为 null 或 undefined。

非空断言运算符 是 CoddyKit 上的免费 TypeScript Academy 课时。这是第 2 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 TypeScript Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 4 节课。

非空断言运算符

后缀!运算符会告诉 TypeScript：“这里的值不是null或undefined。”它会从类型中移除这些可能性，但不会执行任何运行时检查。

function firstChar(s: string | null): string {
  return s!.charAt(0); // assert s is not null
}
console.log(firstChar('hello'));

应将 ! 放在哪里

应将!紧接在要断言的表达式之后，并放在任何后续访问之前。它会从该表达式的类型中移除null | undefined。

type Box = { value?: number };
const box: Box = { value: 7 };
const n: number = box.value!; // value is number | undefined -> number
console.log(n);

在守卫之后断言非空

有时您已经在逻辑上确保某个值 present，但编译器无法理解这一推理。此时!可以让您继续操作。即便如此，实际的运行时检查通常更清晰。

const list: Array<string | null> = ['a', null, 'c'];
const present = list.filter((x) => x !== null);
// TS may still see string | null; assert if certain:
console.log(present[0]!.toUpperCase());

再次强调：仅在编译时生效

与as一样，!运算符会在运行时被擦除。它不会执行检查。如果值实际上为空，即使编译器已经满意，运行时仍会报错。

function risky(s: string | null): number {
  return s!.length; // no runtime guard
}
console.log(risky('hi'));
// risky(null) would throw at runtime

! 的危险之处

如果您对确实可能为空的值断言非空，就制造了一个隐藏错误。编译器不再发出警告，因此只有当空值在生产环境中实际出现时，错误才会暴露。

type User = { name?: string };
const u: User = {};
// const len = u.name!.length; // compiles, crashes at runtime
console.log('name is undefined here -> ! would crash');

优先进行实际检查

只要可行，请用实际的空值检查或可选链替代!。安全版本只需增加一行代码，却能消除一整类运行时崩溃。

type User = { name?: string };
function nameLen(u: User): number {
  if (u.name) return u.name.length; // checked
  return 0;
}
console.log(nameLen({ name: 'Ada' }), nameLen({}));

确定赋值断言

另一个相关功能是确定赋值断言：let x!: T。它向编译器承诺，x会在使用前完成赋值，即使声明时尚未初始化。

let token!: string; // promise: assigned before use
function init() { token = 'abc123'; }
init();
console.log(token.length);

类中的确定赋值

在类中，这种写法很常见：属性由框架或初始化方法 set，而不是由构造函数设置。属性名后的!会消除“未明确赋值”错误。

class Service {
  config!: { url: string }; // set later by setup()
  setup() { this.config = { url: '/api' }; }
}
const s = new Service();
s.setup();
console.log(s.config.url);

谨慎使用确定赋值

确定赋值断言是另一个编译器无法验证的承诺。如果您在给属性赋值之前访问它，运行时会读到undefined，且不会收到警告。

class Late {
  data!: number[];
  read() { return this.data.length; } // crashes if called before init
}
const l = new Late();
l.data = [1, 2];
console.log(l.read());

非空断言与可选链的区别

如果?.可以解决问题，就不要使用!。可选链会在运行时安全地处理空值，而!只是让编译器停止警告。它们解决的是不同的问题。

type Cfg = { db?: { host?: string } };
const c: Cfg = {};
console.log(c.db?.host ?? 'localhost'); // safe
// c.db!.host! would crash here

何时可以使用 !

当您确实有编译器无法表达的可靠保证时，使用!运算符是合理的——例如某个刚刚添加并立即 read 的值。即便如此，也请说明它为何安全。

const cache = new Map<string, number>();
cache.set('hits', 0);
// We just set it, so get is non-null:
const hits = cache.get('hits')!;
console.log(hits);

快速检查

检验您对非空断言运算符的理解。

回顾：非空断言

您已经学会：

后缀 ! 只在编译时从类型中移除 null | undefined。
它不会执行运行时检查，因此错误的断言仍会导致程序崩溃。
let x!: T 是针对后续初始化值的确定赋值断言。
优先使用真实检查或可选链；仅在确有可靠保证时使用 !。

接下来学习双重断言及其风险。

const map = new Map<string, number>();
map.set('a', 1);
const v = map.get('a')!;
console.log(v);

常见问题解答

「非空断言运算符」课时是免费的吗？

是的 — 「非空断言运算符」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 TypeScript Academy 课程的其余内容，请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 4 节课。

「非空断言运算符」这节课中我会学到什么？

使用 ! 运算符断言值不为 null 或 undefined。你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 TypeScript Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 2 节课，共 4 节。

「非空断言运算符」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 TypeScript Academy 课中编写并运行代码吗？

能。每节 TypeScript Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 TypeScript Academy