闭包表达式是一段没有名字的代码块，可以捕获其所在上下文中的变量。它们是一种更灵活的匿名函数，可以用简洁的语法进行定义。闭包表达式非常适合用于需要传递函数作为参数的场景。
示例
闭包表达式代码示例：
var add: (Int, Int) -> Int = { (a, b) in
return a + b
}
print(add(3, 4)) // 输出: 7在这个例子中，add 是一个变量，类型是 (Int, Int) -> Int，表示一个接受两个 Int 参数并返回一个 Int 值的闭包。
{ (a, b) in return a + b } 是一个匿名闭包，可以直接赋值给 add 变量。
(a, b) 是闭包的参数列表，-> Int 表示闭包的返回类型，in 之后是闭包的代码体。
匿名函数部分：
{ (a, b) in
return a + b
}其中，add是一个变量，用于引用这个匿名函数，它引用了匿名函数。
当闭包被赋值给变量 add 时，Swift 并不会直接将闭包的内容复制到 add 中。
而是将闭包的内存地址（即闭包在堆中的位置）赋值给 add。
add 是一个变量，因此只能引用这个闭包的地址，而不能再被赋值为其他闭包。
为什么需要标注类型？
变量add类型为：
(Int, Int) -> Int虽然 Swift 可以通过类型推断来识别 add 的类型，但在一些情况下，显式标注类型有助于代码的可读性和明确性。
1、明确变量 add 的类型：
通过标注 add: (Int, Int) -> Int，明确告诉编译器和代码阅读者，add 是一个接受两个 Int 类型参数并返回一个 Int 类型值的闭包。
这是代码的“契约”，即使闭包实现逻辑改变，只要符合 (Int, Int) -> Int 的签名，代码仍然有效。
2、帮助编译器在复杂上下文中进行类型推断：
如果闭包比较复杂，或者在类型模糊的上下文中，编译器可能无法准确推断出闭包的类型。显式声明类型可以避免歧义。
变量类型与闭包的关联
1、add 的类型：
add 是一个变量，类型为 (Int, Int) -> Int。这个类型表示它是一个闭包（或函数）类型的引用，可以调用，接受两个 Int 类型参数，并返回一个 Int 类型的结果。
2、闭包的类型：
{ (a, b) in return a + b } 是一个匿名闭包，它的类型同样是 (Int, Int) -> Int。
当执行赋值操作时：
var add: (Int, Int) -> Int = { (a, b) in
return a + b
}编译器检查闭包 { (a, b) in return a + b } 的类型是否与 add 的显式类型 (Int, Int) -> Int 一致。
如果一致，编译器允许赋值，并将闭包的引用地址赋给 add。
关联：
显式声明 add 的类型 (Int, Int) -> Int，约束了可以赋值给 add 的闭包类型。
闭包 { (a, b) in return a + b } 符合这个类型签名，因此可以赋值给 add。
如果省略类型标注会怎样？
可以省略类型标注，代码依然有效：
var add = { (a: Int, b: Int) in
return a + b
}编译器会通过闭包内部的参数声明（a: Int, b: Int）和返回值推断出 add 的类型为 (Int, Int) -> Int。
但是，如果闭包中没有参数类型标注，且上下文中也没有给出足够信息，可能会报错或引发歧义。例如：
var add = { a, b in
return a + b
}
// 错误：编译器无法推断 a 和 b 的类型
此时，可以通过显式标注解决：
var add: (Int, Int) -> Int = { a, b in
return a + b
}总结
标注类型 (Int, Int) -> Int 明确了 add 的用途和签名，既增强了代码的可读性，也减少了潜在的推断错误。
add 的类型和闭包的类型是一致的：(Int, Int) -> Int。
类型标注约束了可以赋值给 add 的闭包的类型，但不改变闭包本身的行为或内容。
