enum Optional<Wrapped> {
case none
case some(Wrapped)
}
swift的可选值是个枚举
switch和if case let的模式匹配
if case
在学习 if case之前，我们先想想，那些地方使用到了case这个关键字，毫无疑问，绝大多数使用case的时候，是在 switch语法中。
Swift中的if case主要用于模式匹配。跟switch很类似，但它本身有特别的使用场景，区别switch在于，switch用于对所有的对象可能值进行判断，而if case之需要对关注的可能值进行判断。老规矩，还是代码上看看。
假设我有一个枚举变量CarBrand,汽车品牌。它的结构如下：
enum CarBrand{
case BMW
case AUDI
case BENZ
}
如果使用switch进变量匹配，并按照不同的车的品牌输出对应的中文名字（这种需求当然可以通过添加属性值的方式更简便的解决，但这里我们只讨论if case的使用，暂时不关注其他的方式。）。我们可能是这样做的：
let myBrand = CarBrand.BMW
switch myBrand{
case .BMW: do{ print("宝马") }
case .AUDI: do{ print("奥迪") }
case .BENZ: do{ print("奔驰") }
}
实际上，我们可能仅仅是想找出BMW的品牌而已，但是我却需要写一部分跟这个品牌无关的代码。我们可以进行一点简化：
switch myBrand{
case .BMW: do{ print("宝马") }
default: () // do nothing
}
可能觉得这个方式还是过于繁琐，有什么办法可以像if那样对枚举值判断吗？
if case应该能帮到你：
let myBrand = CarBrand.BMW
if case .BMW = myBrand{
print("宝马")
}
这样不就舒服多了，不仅没有冗余的代码，还有具备了更好的可读性。
if case let
if case let它实际上不是一个完整的关键字，它if case和let的组合。我们同样会在对枚举类型进行模式匹配的时候用到它，不过这个情况稍微复杂一点。
假设我的CarBrand枚举想要集合更多的东西，比如它的中文名字和生产地。我们可以这样定义这个枚举：
enum CarBrand{
case BMW(name:String,Production:String)
case AUDI(name:String,Production:String)
case BENZ(name:String,Production:String)
}
现在我定一个枚举变量：
let myCar = CarBrand.BMW(name: "宝马",Production: "德国")
如果我想输出myCar的关联属性，直接使用点语法什么的都显然是不行的。我们可在枚举中自定义一些输出关联属性的方法，但是这个做法比较繁琐，并且破坏了枚举结构。
比较简单的是可以使用switch：
switch myCar {
case let CarBrand.BMW(name,Production):
print("This car named \(name)，from\(Production)")
default: () // 不做任何处理
}
这样确实可以的。同样我们觉得这样还是过于繁琐了。
使用if case let：
let myBrand = CarBrand.BMW(name: "宝马",Production: "德国")
if case let CarBrand.BMW(name, Production) = myBrand{
print("\(name),\(Production)")
}
是不是更加简洁呢。当然,if case let 还可一配合where从句写出更加优雅的代码哦。
关于大于或者小于的匹配
//传统用法
if x>=6 && x < 12 {
}
//模式匹配用法
if case 6..<12 = x {
}
复杂一点，如果x是Optional对象，这里可以采用嵌套的模式匹配
//传统用法
if let x = x, x>=6 && x < 12 {
}
//模式匹配用法
if case .some(6..<12) = x {
}
pattern有很多种，看一下官方文档
GRAMMAR OF A PATTERN
pattern → wildcard-pattern
pattern → identifier-pattern
pattern → value-binding-pattern
pattern → tuple-pattern
pattern → enum-case-pattern
pattern → optional-pattern
pattern → type-casting-pattern
pattern → expression-pattern
这里不详细介绍这些pattern，更多的应该switch里面去学习，也就是说switch里面可以使用的在if里面都可以使用
这里举一些例子
1. type-casting-pattern
var t : Any = 10
if case is Int = t {
print("bingo")
}
if t is Int {
}
上面两种用法结果是一样的，一种是模式匹配，另外一种是常用的is operator
2. tuple-pattern
if case (1..<10, 1..<20) = (7, 8) {
}
在这里(1..<10, 1..<20)是一个pattern，而不是普通的tuple，这里会对左右两边的tuple的元素一一进行patteren match
如果把前面换成一个tuple就会出错里，试试看下面的代码
let pattern = (1..<10, 1..<20)
if case pattern = (7,8) {
}
3. optional-pattern
var t : Any? = 10
// 判断t是不是nil，和判断 t ！= nil 等效
if case _? = t {
}
//判断t是不是nil，如果有值则绑定到x
if case let x? = t {
}
4. expression-pattern
前面提到的case 6..<12 = x实际上就是这一种pattern，实际上这里调用了一个函数，也是一个操作符~=
func ~= (pattern: String, value: Int) -> Bool {
return pattern == "\(value)"
}
if case "123" = 123 {
}
通过重载~=操作符，我们可以实现很多自定义的模式匹配，结合起来可以有很多有趣的用法
上面通过一些例子介绍了if中的模式匹配用法，在代码中也有常常遇到这种用法，这种用法可以看成是switch case的一种简易写法，这样理解起来就比较容易了
if case expression1 = expression2 {
statements
}
//等价于
switch expression2 {
case expression1:
statements
default:
break
}
available用法
这是一种特殊的if用法，用来判断运行环境
if #available(platform name version, ..., *) {
statements to execute if the APIs are available
} else {
fallback statements to execute if the APIs are unavailable
}
这个比较简单，不再介绍
网友评论