3 语言参考 on 编程那些事儿

3.1 关于语言参考

Fri, 11 Sep 2026 20:00:03 +0800

原文链接: https://docs.swift.org/latest/documentation/the-swift-programming-language/aboutthelanguagereference/

3.1 关于语言参考

了解正式语法所使用的记法。

本书这一部分描述 Swift 编程语言的正式语法。这里描述的语法旨在帮助你更深入地理解这门语言，而不是让你直接去实现解析器或编译器。

3.2 词法结构

Fri, 11 Sep 2026 20:00:03 +0800

原文链接: https://docs.swift.org/latest/documentation/the-swift-programming-language/lexicalstructure/

3.2 词法结构

了解语法中最底层的组成部分。

Swift 的词法结构描述什么样的字符序列构成语言的合法词法单元。这些合法词法单元构成语言最底层的组成部件，后续章节便用它们来描述语言的其余部分。一个词法单元由标识符、关键字、标点、字面量或运算符构成。

3.3 类型

Fri, 11 Sep 2026 20:00:03 +0800

原文链接: https://docs.swift.org/latest/documentation/the-swift-programming-language/types/

3.3 类型

使用内置的具名类型和复合类型。

在 Swift 中，类型分为两种：具名类型和复合类型。具名类型是定义时可以赋予特定名字的类型，包括类、结构体、枚举和协议。例如，名为 MyClass 的用户自定义类的实例，类型就是 MyClass。除了用户自定义的具名类型，Swift 标准库还定义了许多常用的具名类型，包括表示数组、字典和可选值的类型。

3.4 表达式

Fri, 11 Sep 2026 20:00:03 +0800

原文链接: https://docs.swift.org/latest/documentation/the-swift-programming-language/expressions/

3.4 表达式

访问、修改和赋值。

在 Swift 中，表达式有四类：前置表达式、中置表达式、主表达式和后置表达式。对表达式求值会返回一个值、产生副作用，或者两者兼有。

3.5 语句

Fri, 11 Sep 2026 20:00:03 +0800

原文链接: https://docs.swift.org/latest/documentation/the-swift-programming-language/statements/

3.5 语句

把表达式组织起来并控制执行流程。

在 Swift 中，语句有三类：简单语句、编译器控制语句和控制流语句。简单语句最常见，由一个表达式或一个声明构成。编译器控制语句让程序能够改变编译器行为的某些方面，包括条件编译块和行控制语句。

3.6 声明

Fri, 11 Sep 2026 20:00:03 +0800

原文链接: https://docs.swift.org/latest/documentation/the-swift-programming-language/declarations/

3.6 声明

引入类型、运算符、变量以及其他名称和构造。

声明把新的名称或构造引入你的程序。例如，你用声明来引入函数和方法、引入变量和常量，并定义枚举、结构体、类和协议类型。你还可以用声明扩展某个已有具名类型的行为，并把在别处声明的符号导入自己的程序。

3.7 属性特性

Fri, 11 Sep 2026 20:00:03 +0800

原文链接: https://docs.swift.org/latest/documentation/the-swift-programming-language/attributes/

3.7 属性特性

为声明和类型添加信息。

Swift 中的属性特性有两类——一类作用于声明，一类作用于类型。属性特性提供关于声明或类型的附加信息。例如，函数声明上的 discardableResult 特性表示：虽然该函数返回一个值，但如果这个返回值没有被使用，编译器不应该生成警告。

3.8 模式

Fri, 11 Sep 2026 20:00:03 +0800

原文链接: https://docs.swift.org/latest/documentation/the-swift-programming-language/patterns/

3.8 模式

匹配并解构值。

模式表示单个值或复合值的结构。例如，元组 (1, 2) 的结构是两个元素组成的逗号分隔列表。由于模式表示的是值的结构、而不是某个特定的值，你可以用各种值来与它匹配。例如，模式 (x, y) 可以匹配元组 (1, 2)，也可以匹配任何其他二元元组。除了用值来匹配模式，你还可以提取复合值的部分或全部内容，把每一部分绑定到常量或变量名。

3.9 泛型形参与实参

Fri, 11 Sep 2026 20:00:03 +0800

原文链接: https://docs.swift.org/latest/documentation/the-swift-programming-language/genericparametersandarguments/

3.9 泛型形参与实参

把声明泛化，从而把具体类型抽象出去。

本章介绍泛型类型、函数和构造器的形参与实参。声明泛型类型、函数、下标或构造器时，你要指定这个泛型类型、函数或构造器可以处理的类型形参。这些类型形参充当占位符，在创建泛型类型实例或调用泛型函数、构造器时，会被实际的具象类型实参替换。

3.10 语法概要

Fri, 11 Sep 2026 20:00:03 +0800

原文链接: https://docs.swift.org/latest/documentation/the-swift-programming-language/summaryofthegrammar/

3.10 语法概要

读完整套正式语法。

词法结构

Grammar of whitespace:

whitespace → whitespace-item whitespace?
whitespace-item → line-break
whitespace-item → inline-space
whitespace-item → comment
whitespace-item → multiline-comment
whitespace-item → U+0000, U+000B, or U+000C

line-break → U+000A
line-break → U+000D
line-break → U+000D followed by U+000A

inline-spaces → inline-space inline-spaces?
inline-space → U+0009 or U+0020

comment → // comment-text line-break
multiline-comment → /* multiline-comment-text */