← 返回单词列表

type-checking

verb 编号: T02731

type-check 的现在分词和动名词形式，表示“正在进行类型检查”或“类型检查”这一活动。

💡 记忆钩子

把数据想成待核对的物品，把类型想成它应放入的盒子；type-checking 就是持续检查物品是否放进了合适的盒子，也可以把这项检查当作一个名词来谈。

📝 学习建议

先把它当作 type-check 的词形来学习：作谓语时强调正在进行，作名词时指“类型检查”这项活动。不要把它误解成普通的“检查类型”这一中文短语；这里通常指程序或数据中的类型核对。

📖 中文释义

verb

core 正在类型检查；类型检查

📖 这是 type-check 的现在分词和动名词：可以表示某人或某程序正在检查数据、变量或表达式的类型是否合适，也可以把“类型检查”作为一项活动来谈。

💡 表示进行中的动作时使用“be + type-checking”，表示活动时可使用“type-checking + 名词”或“在 type-checking 期间”这样的结构。它通常用于编程、编译器和软件开发语境，不能自然地泛指日常生活中的普通检查。中文学习者容易只按“正在……”理解，从而漏掉它作动名词、表示一项工作的用法。

form-of gerund participle present

The compiler is type-checking the program before it runs.

编译器正在运行程序前检查它的类型。

Type-checking can catch many errors early.

类型检查可以及早发现许多错误。

🏷 单词标签 & 词根