Swift是一门现代化的编程语言，具有许多高级语法特性，下面我们来逐一介绍。

1. 可选类型（Optional）

Swift中的可选类型是一种特殊的类型，它可以表示一个值是存在或不存在的。在声明一个可选类型时，需要在类型名称后面加上一个问号（?）来表示这个类型是可选的。例如：

```
var optionalString: String? = "Hello, World!"
```

在这个例子中，`optionalString` 是一个可选类型的字符串，它的值可以是一个字符串，也可以是 `nil`。

2. 闭包（Closure）

闭包是一种可以在代码中传递和使用的功能性代码块。在 Swift 中，闭包可以像函数一样被定义和调用。闭包可以捕获和存储其所在上下文中任意常量和变量的引用。例如：

```
let numbers = [1, 2, 3, 4, 5]
let mappedNumbers = numbers.map { $0 * 2 }
```

在这个例子中，`map` 函数接受一个闭包作为参数，用于对数组中的每个元素进行操作。

3. 枚举（Enumeration）

枚举是一种定义一组相关值的通用方式。在 Swift 中，枚举可以包含任意类型的值，并且可以定义方法来操作这些值。例如：

```
enum CompassPoint {
    case north
    case south
    case east
    case west
}

let direction = CompassPoint.north
```

在这个例子中，`CompassPoint` 是一个枚举类型，它包含了四个可能的值。`direction` 是一个 `CompassPoint` 类型的变量，它的值为 `north`。

4. 泛型（Generics）

泛型是一种可以让代码更加灵活和可重用的方式。在 Swift 中，泛型可以用于函数、方法、类、结构体和枚举等。泛型可以让我们编写一些通用的代码，可以适用于不同类型的数据。例如：

```
func swapTwoValues<T>(_ a: inout T, _ b: inout T) {
    let temporaryA = a
    a = b
    b = temporaryA
}

var a = 10
var b = 20
swapTwoValues(&a, &b)
```

在这个例子中，`swapTwoValues` 函数使用了泛型类型 `T`，它可以适用于任意类型的数据。

5. 协议（Protocol）

协议是一种定义一组方法和属性的蓝图，用于描述某种特定的功能或行为。在 Swift 中，协议可以被类、结构体和枚举实现，以提供一些通用的功能。例如：

```
protocol FullyNamed {
    var fullName: String { get }
}

struct Person: FullyNamed {
    var firstName: String
    var lastName: String
    
    var fullName: String {
        return "\(firstName) \(lastName)"
    }
}

let person = Person(firstName: "John", lastName: "Doe")
print(person.fullName)
```

在这个例子中，`FullyNamed` 是一个协议，它要求实现一个 `fullName` 属性。`Person` 结构体实现了这个协议，并提供了一个计算属性来返回全名。

6. 扩展（Extension）

扩展是一种在不改变原有代码的情况下，为类、结构体、枚举或协议添加新的功能的方式。在 Swift 中，扩展可以添加新的方法、计算属性、下标等。例如：

```
extension Int {
    var squared: Int {
        return self * self
    }
}

let number = 5
print(number.squared)
```

在这个例子中，我们为 `Int` 类型添加了一个 `squared` 计算属性，用于计算一个整数的平方。