文章

发布于

Excess Property Checks（多余属性检查）：为什么直接传字面量会报错，赋值给变量再传就不报错？

技术讲座：Excess Property Checks（多余属性检查）解析 引言 在编程中，我们经常会遇到各种类型检查和属性验证。其中，多余属性检查（Excess Property Checks）是一个常见的问题，特别是在对象字面量传递给函数或构造器时。本文将深入探讨为什么直接传递字面量会报错，而赋值给变量再传递则不会，并给出相应的代码示例和解决方案。 什么是多余属性检查？ 多余属性检查是指当一个对象字面量被传递给一个函数或构造器时，如果该对象包含了一些函数或构造器预期之外的字段，那么这些额外的字段将被视为“多余属性”。大多数编程语言或框架在处理这种情况时，会抛出错误或警告。 为什么直接传递字面量会报错？ 1. 严格模式 许多编程语言和框架在默认情况下不会启用严格模式，这意味着它们会忽略一些潜在的错误。然而，当开启严格模式时，这些错误会被严格检查。 2. 类型不匹配 当对象字面量被传递给一个期望特定类型或结构的函数或构造器时，如果字面量包含额外的属性，那么这些属性可能与期望的类型不匹配，导致错误。 3. 属性验证 一些框架或库在处理对象字面量时会执行属性验证，以确保传递的对象符合预期。 …

继续阅读“Excess Property Checks（多余属性检查）：为什么直接传字面量会报错，赋值给变量再传就不报错？”

发布于

类型兼容性（Type Compatibility）：为什么 `void` 函数可以接受返回 `string` 的函数？

技术讲座：类型兼容性深度解析——void 函数与返回 string 函数的兼容性 引言 在编程语言中，类型兼容性是一个重要的概念，它决定了不同类型的数据能否在特定的上下文中互相转换或操作。本文将深入探讨类型兼容性的一个有趣现象：为什么 void 函数可以接受返回 string 的函数作为参数？我们将通过理论分析和实际代码示例来揭示这一现象背后的原理。 类型兼容性基础 类型系统 在大多数编程语言中，类型系统是语言的核心组成部分。它定义了数据的不同类别，如整数、浮点数、字符串和布尔值等。类型系统确保了数据的一致性和程序的正确性。 类型兼容性 类型兼容性是指两个类型之间是否可以相互转换或操作。例如，在 C 语言中，整数类型和浮点数类型在许多情况下是兼容的，因为它们都可以表示数值。 void 类型 void 类型是一个特殊的类型，它表示没有类型。在许多编程语言中，void 类型用于函数的返回类型，表示函数不返回任何值。 void 函数与返回 string 函数的兼容性 问题提出 为什么 void 函数可以接受返回 string 的函数作为参数？这看似违反了类型兼容性的常规规则。 理论分析 函数 …

继续阅读“类型兼容性（Type Compatibility）：为什么 `void` 函数可以接受返回 `string` 的函数？”

发布于

可辨识联合（Discriminated Unions）：为何 `tag` 字段是处理多态的最佳实践

技术讲座：可辨识联合（Discriminated Unions）为何 tag 字段是处理多态的最佳实践 引言 在编程中，多态是一种强大的特性，它允许我们编写更加通用和可扩展的代码。然而，在处理多态时，如何有效地表示和操作不同的对象类型成为一个挑战。本讲座将深入探讨可辨识联合（Discriminated Unions），并解释为什么使用 tag 字段是处理多态的最佳实践。 什么是可辨识联合 可辨识联合，也称为标签联合或变体类型，是一种编程语言特性，它允许将不同的数据类型组合在一起，通过一个共同的标签字段来区分不同的类型。这种数据结构在多种编程语言中都有实现，例如 C++ 中的 union，Python 中的 enum，以及 TypeScript 中的 union 类型。 可辨识联合的优势 紧凑的数据表示：联合允许将不同类型的成员存储在相同的内存位置，从而节省内存。 类型安全：通过标签字段，可以确保只有正确类型的实例被处理。 代码简洁：联合可以减少类型检查和转换，使代码更加简洁。 使用 tag 字段处理多态 在可辨识联合中，tag 字段扮演着至关重要的角色。它是区分不同类型的关键，通常是一 …

继续阅读“可辨识联合（Discriminated Unions）：为何 `tag` 字段是处理多态的最佳实践”

发布于

类型收窄（Type Narrowing）全解：Control Flow Analysis（控制流分析）的底层逻辑

类型收窄（Type Narrowing）全解：Control Flow Analysis（控制流分析）的底层逻辑 引言 类型收窄（Type Narrowing）是现代编程语言中一个重要的概念，它允许开发者在运行时基于一些条件对类型进行限制。这一概念在静态类型语言如TypeScript和Java中尤为常见。类型收窄的底层逻辑主要依赖于控制流分析（Control Flow Analysis，简称CFA）。本文将深入探讨类型收窄的概念，并详细介绍控制流分析在类型收窄中的应用。 一、类型收窄概述 1.1 类型收窄的定义 类型收窄是指在一个表达式中，根据某些条件对变量或表达式的类型进行限制的过程。在类型收窄之后，变量的类型变得更加具体，有助于编译器进行更精确的类型检查和优化。 1.2 类型收窄的用途 类型收窄在以下场景中非常有用： 减少类型错误：通过限制类型，可以避免运行时类型错误的发生。 提高性能：编译器可以根据具体类型进行优化，从而提高程序的性能。 代码可读性：类型收窄可以使代码更加简洁易懂。 二、控制流分析概述 2.1 控制流分析的定义 控制流分析是一种静态分析技术，用于分析程序的控制流程 …

继续阅读“类型收窄（Type Narrowing）全解：Control Flow Analysis（控制流分析）的底层逻辑”

发布于

联合类型（Union）是求并集，交叉类型（Intersection）是求交集吗？对象合并的直觉陷阱

技术讲座：联合类型、交叉类型与对象合并的直觉陷阱 引言 在编程中，联合类型和交叉类型是两种常见的类型操作。它们在处理对象合并时经常被使用，但如果不了解其背后的原理，很容易陷入直觉陷阱。本文将深入探讨联合类型、交叉类型及其在对象合并中的应用，并提供工程级代码示例以帮助理解。 联合类型与交叉类型 联合类型 联合类型（Union）是一种类型，它可以表示多个类型中的任意一个。例如，在 TypeScript 中，let value: string | number; 表示 value 可以是 string 或 number。 let value: string | number = 10; // 或 ‘hello’ 交叉类型 交叉类型（Intersection）是一种类型，它表示多个类型的组合。例如，在 TypeScript 中，let value: string & number; 表示 value 必须同时是 string 和 number。 let value: string & number = ’10’; // 错误，因为 ’10’ 不是一个数字 联合类型与交叉类型的应 …

继续阅读“联合类型（Union）是求并集，交叉类型（Intersection）是求交集吗？对象合并的直觉陷阱”

发布于

TypeScript 类型即集合：理解 `extends` 实际上是集合的“子集”关系

技术讲座：TypeScript 类型即集合——理解 extends 实际上是集合的“子集”关系 引言 TypeScript 作为 JavaScript 的超集，引入了静态类型系统，极大地增强了代码的可读性和可维护性。其中，类型系统中的一个重要概念是“继承”，通过 extends 关键字实现。本文将深入探讨 TypeScript 类型系统中的“继承”概念，将其与集合论中的“子集”关系联系起来，并通过工程级代码示例来加深理解。 TypeScript 类型系统简介 在 TypeScript 中，类型系统主要包括以下几种类型： 基本类型：如 number、string、boolean 等。 对象类型：如 interface、type、class 等。 函数类型：如函数接口、函数类型别名等。 通用类型：如 T、K、V 等泛型类型。 “继承”与“子集”关系 在集合论中，如果一个集合的所有元素都属于另一个集合，则称前者是后者的子集。例如，集合 {1, 2, 3} 是集合 {1, 2, 3, 4, 5} 的子集。 在 TypeScript 中，extends 关键字用于定义一个类型是另一个类型的子集。 …

继续阅读“TypeScript 类型即集合：理解 `extends` 实际上是集合的“子集”关系”

发布于

结构化类型（Structural Typing）vs 名义类型（Nominal Typing）：TS 如何模拟“私有标称类型”

结构化类型（Structural Typing）vs 名义类型（Nominal Typing）：TypeScript 如何模拟“私有标称类型” 引言 在类型系统中，结构化类型和名义类型是两种不同的类型概念。结构化类型关注的是值的结构，而名义类型关注的是值的标签。TypeScript 作为一种静态类型语言，提供了丰富的类型系统来支持不同的编程范式。本文将深入探讨 TypeScript 中如何模拟“私有标称类型”，并对比结构化类型和名义类型在 TypeScript 中的应用。 结构化类型和名义类型的定义 结构化类型 结构化类型（Structural Typing）是一种类型系统，它不关心值的标签，而是关心值的结构。也就是说，只要两个值的结构相同，即使它们的类型标签不同，它们也可以被看作是同一种类型。 名义类型 名义类型（Nominal Typing）是一种类型系统，它将类型视为值的标签。每个值都有一个唯一的类型标签，不同类型的值不能相互赋值。 TypeScript 中的类型系统 TypeScript 的类型系统是基于结构化类型的，但也支持名义类型。TypeScript 提供了多种类型，包括 …

继续阅读“结构化类型（Structural Typing）vs 名义类型（Nominal Typing）：TS 如何模拟“私有标称类型””

发布于

Ambient Context：`.d.ts` 声明文件的查找规则与全局污染问题

技术讲座：.d.ts 声明文件的查找规则与全局污染问题 引言 在 TypeScript 中，.d.ts 声明文件是必不可少的组成部分，它们提供了类型定义，使得 TypeScript 能够在编译时进行类型检查。然而，随着项目的复杂性和规模的增长，.d.ts 文件的查找规则和全局污染问题变得日益突出。本文将深入探讨 .d.ts 声明文件的查找规则，并分析如何避免全局污染问题。 .d.ts 声明文件的查找规则 TypeScript 在编译时需要查找相关的 .d.ts 文件，以确保类型定义的正确性。以下是 TypeScript 查找 .d.ts 文件的规则： 1. 项目根目录 TypeScript 首先会检查项目根目录下是否存在 .d.ts 文件。如果存在，TypeScript 会将其包含到当前项目中。 2. node_modules TypeScript 接着会检查 node_modules 目录下的 .d.ts 文件。这意味着，如果你使用 npm 或 yarn 安装了带有 .d.ts 文件的包，TypeScript 会自动识别并使用它们。 3. 模块解析 TypeScript 会根据模块解 …

继续阅读“Ambient Context：`.d.ts` 声明文件的查找规则与全局污染问题”

发布于

自定义 TypeScript Language Service Plugin：为 IDE 添加自定义的报错与补全

技术讲座：自定义 TypeScript Language Service Plugin 引言 TypeScript 是 JavaScript 的一个超集，它通过静态类型、模块化和更多其他特性来提升 JavaScript 的开发体验。为了更好地支持 TypeScript，各种集成开发环境（IDE）提供了 TypeScript Language Service，它为开发者提供了代码补全、代码导航、错误检查等功能。在这个讲座中，我们将深入探讨如何为 TypeScript Language Service 插件添加自定义的报错与补全功能，从而为 IDE 添加更多增值特性。 讲座大纲 TypeScript Language Service 概述 TypeScript Language Service Plugin 的构建 自定义报错 自定义代码补全 实践案例 性能优化与调试 安全性与维护 总结与展望 1. TypeScript Language Service 概述 TypeScript Language Service 是 TypeScript 编译器（TSC）的一个前端部分，它提供了以下功能 …

继续阅读“自定义 TypeScript Language Service Plugin：为 IDE 添加自定义的报错与补全”

发布于

SourceFile 与 Symbol：深入理解编译器如何追踪标识符的定义与引用

技术讲座：深入理解编译器如何追踪标识符的定义与引用 引言 在编程语言的世界中，标识符（如变量名、函数名等）是程序员用来表示程序中数据的符号。编译器在将源代码转换为机器码的过程中，需要正确地追踪这些标识符的定义与引用。本文将深入探讨编译器是如何处理这些标识符的，包括它们在编译过程中的生命周期、作用域以及如何解决命名冲突等问题。 1. 标识符的定义与引用 1.1 定义 标识符的定义是指在源代码中第一次出现该标识符的地方。在大多数编程语言中，定义通常涉及到变量的声明、函数的声明等。 PHP 示例： function greet($name) { echo “Hello, ” . $name; } 在上面的 PHP 示例中，greet 是一个函数名，$name 是一个参数名，它们都在函数声明时被定义。 1.2 引用 标识符的引用是指在整个源代码中对该标识符的使用。引用必须与定义相对应，否则编译器会报错。 Python 示例： x = 10 print(x) 在上述 Python 示例中，x 在赋值语句中被定义，并在 print 函数中被引用。 2. 作用域 作用域是指标识符可被访问的代码范围。 …

继续阅读“SourceFile 与 Symbol：深入理解编译器如何追踪标识符的定义与引用”