The Swift Programming Language

• 语言: 英语
• 格式: .pdf
• 来源: carlosicaza.com

摘要

文档是关于Swift编程语言的官方参考，介绍了Swift的语法、类型系统、控制流等核心内容。Swift是一种用于iOS和OS X应用开发的新编程语言，融合了C和Objective-C的优点。语言参考部分描述了Swift的形式语法，包括词法结构、标识符、运算符等。Swift有两种类型：命名类型（如类、结构体、枚举、协议）和复合类型（如函数类型和元组类型）。类型注解用于显式指定变量或表达式的类型。Swift提供了for-in循环、switch语句等控制流结构，其中switch语句支持多种模式匹配。字符串和字符类型提供了Unicode兼容的文本处理方式。文档强调Swift是一种类型安全的语言，引入了可选类型来处理值的缺失情况。

AI总结

《The Swift Programming Language》文档主要内容总结如下：

**关于Swift语言**
- Swift是用于iOS和OS X应用开发的新编程语言，融合了C和Objective-C的优点，同时摒弃了C兼容性的限制
- 采用安全编程模式，增加现代特性，使编程更简单、灵活、有趣
- 基于成熟的Cocoa和Cocoa Touch框架构建
- 编译器针对性能优化，语言针对开发效率优化，从"Hello, world"到整个操作系统都能适用

**基础概念**
- 使用`let`声明常量，`var`声明变量
- 提供所有基本类型：Int、Double、Float、Bool、String
- 集合类型：Array和Dictionary
- 引入元组（Tuples）——可组合多个值，函数可返回多个值
- 引入可选类型（Optionals）——处理值缺失情况，比Objective-C的nil指针更安全
- Swift是类型安全语言，能在开发早期发现类型错误

**语法结构**
- 代码写在全局作用域即可作为程序入口，不需要main函数
- 语句末尾不需要分号
- 支持for-in、while、if、switch等控制流结构
- Swift的switch语句不会自动"穿透"到下一个case
- 字符串用String类型表示，支持字符串插值，与NSString无缝桥接

**语言参考部分**
- 文档后半部分描述了Swift的形式语法
- 语法使用箭头(→)表示"可以由...组成"
- 斜体表示语法类别，粗体表示字面单词和标点
- 可选语法类别用下标opt标记
- Swift语言本身较小，许多常用类型、函数和运算符定义在标准库中

**类型系统**
- 两种类型：命名类型（类、结构体、枚举、协议）和复合类型（函数类型、元组类型）
- 基本数据类型（数字、字符、字符串）实际上是标准库中用结构体实现的命名类型
- 类型注解用冒号(:)指定变量或表达式的类型

**词法结构**
- 空白字符用于分隔标记和确定运算符是前缀还是后缀
- 注释被编译器视为空白
- 标识符可以包含字母、下划线、Unicode字符，数字和组合字符也可使用
- 保留字作为标识符需加反引号(`)