【ios学习】Swift 4.2新特性

Swift 4.2是Swift 4的第二次小更新,随之带来了很多很棒的改进-这使得今年将成为Swift的重要一年,并且更加确认这个社区驱动的Swift演变进程正在让一个伟大的语言变得更好。

这次我们获得了一些特性比如enum case 数组,warning与error编译指令,动态成员查找等等,这些都是Swift 4.1新特性(详见我的文章what's new in Swift 4.1)之外新增加的。Swift 4.2现在距离主代码分支的最终合并仅相差几天,届时只有一些重要修正会加入。如果将来有任何改变,文中这些例子也会更新。

直到一个新版的Xcode与Swift4.2一起发布,你就可以下载最新版的Swift主干开发快照并在你当前Xcode版本上激活它。

试着自己做:我创建了一个 Xcode playground展示Swift 4.2新内容,你可以编辑里面的实例。

enum案例的衍生集合

SE-0194介绍了一个新的CaseIterable协议,它会对一个enum中的所有cases自动生成一个数组(array)属性。

在Swift 4.2之前,它需要 hacks, hand-coding, 或者源代码生成才能实现,但是现在你需要的仅仅是让你的enum符合CaseIterable协议。在编译时,Swift会自动生成一个allCases属性,这个allCases是一个按照你定义的顺序排列,包含所有enum’s cases的数组。

例如,如下创建一个pasta形的enum,并要求Swift去自动为它创建一个allCases数组

enum Pasta: CaseIterable {

casecannelloni, fusilli, linguine, tagliatelle

}

你可以更进一步,像使用一个普通数组一样用这个属性- 把[Pasta]放在代码前,我们就可以这样输入

forshape inPasta.allCases {

print("I like eating \(shape).")

}

这个allCases的自动合成仅替换并不使用关联数值的enums。加入下面这些并不会自动生效,但是如果需要你可以自己添加。

enum Car: CaseIterable {

staticvarallCases: [Car] {

return[.ford, .toyota, .jaguar, .bmw, .porsche(convertible: false), .porsche(convertible: true)]

}

caseford, toyota, jaguar, bmw

caseporsche(convertible: Bool)

}

这时如果你的任何一个enum cases被标记为unavailable,Swift就不能合成allCases属性。所以如果你需要allCases,你要像下面这样自己添加它:

enum Direction: CaseIterable {

staticvarallCases: [Direction] {

return[.north, .south, .east, .west]

}

casenorth, south, east, west

@available(*, unavailable)

caseall

}

注意:要想allCases 数组被合成,你需要添加CaseIterable而不是一个extension到你enum的原始声明中。这意味着你不能用extension反向地让已存在的enums遵守一个协议。

Warning与error诊断指令

SE-0196介绍新的编译指令来帮助我们在代码中标记 issues. 这对使用过Objective-C的开发者应该很熟悉了,随着Swift 4.2的发布,我们也能在Swift中使用它了

这两个指令是#warning和#error,前者会强制Xcode在生成你的代码时发出一个警告,后者会发出一个编译错误这样你的代码就完全不能生成。下面说明了它们的用处

#warning主要用于提醒你或者别人一些工作还没有完成,Xcode模板常使用#warning标记一些你需要替换成自己代码的方法存根(method stubs)。

#error主要用于如果你发送一个库,需要其他开发者提供一些数据。比如,一个网络 API的认证密码,你需要用户输入它们自己的密码,就使用#error在继续之前强制他们更改这行代码。

它们的使用方式都一样,#warning("Some message") 和 #error("Some message"),例如

func encrypt(_ string: String, withpassword: String) -> String{

#warning("This is terrible method of encryption")

returnpassword + String(string.reversed()) + password

}

struct Configuration {

varapiKey: String{

#error("Please enter your API key below then delete this line.")

return"Enter your key here"

}

}

#warning和#error可以和已存的#if编译指令共同使用,并且只有在条件为true时才会激活。例如:

#ifos(macOS)

#error("MyLibrary is not supported on macOS.")

#endif

动态成员查找

SE-0195介绍了一个方法,让Swift更接近脚本语言比如Python,但是用一种类型安全的方法-你不会失去任何Swift的安全性,但是你确实增强了写类似PHP和Python代码的能力。

这个特性的核心在于一个新属性,称作@dynamicMemberLookup,它命令Swift使用一种下标方法去进行属性访问。这种下标方法,需要subscript(dynamicMember:):你可以通过所请求属性的字符串名得到,并且可以返回你想要的任何值。

让我们看一个小例子这样你就可以知道基本了。我们可以创建一个Person结构,并且从一个字典读取它的值,像这样

@dynamicMemberLookup

struct Person {

subscript(dynamicMember member: String) -> String{

let properties = ["name": "Taylor Swift", "city": "Nashville"]

returnproperties[member, default: ""]

}

}

@dynamicMemberLookup 属性需要一个类型去执行subscript(dynamicMember:)方法,从而处理一件实际的动态成员查找工作。你可以看到,我写了一个代码,按字符串接收成员名字,并返回一个字符串。从内部看它只是在一个字典中查找这个成员名字并返回它的值。

这种结构允许我们这样写代码:

let person = Person()

print(person.name)

print(person.city)

print(person.favoriteIceCream)

它会干净地编译运行,即使name, city, 和favoriteIceCream并不作为Person类型中的属性存在。相反,它们都在运行时被查找。在前两次呼叫print()时,代码会打出Taylor Swift” 和 “Nashville”,而最后一次会是一个空白字符串,因为我们的字典并不存储任何favoriteIceCream

我的subscript(dynamicMember:) 方法必须返回一串字符,这体现了Swift的类型安全性。即使你在处理动态数据,Swift依旧保证你会得到你想要的。如果你想要多种不同的类型,就执行不同的subscript(dynamicMember:)方法,像这样

@dynamicMemberLookup

struct Employee {

subscript(dynamicMember member: String) -> String{

let properties = ["name": "Taylor Swift", "city": "Nashville"]

returnproperties[member, default: ""]

}

subscript(dynamicMember member: String) -> Int {

let properties = ["age": 26, "height": 178]

returnproperties[member, default: 0]

}

}

现在任何属性都可以通过不止一种方式被访问,Swift需要你知道应该运行哪一种。它可以是内部的,比如如果你向一个只接收字符串的函数传递返回值,或者它可以是外部的,像这样

let employee = Employee()

let age: Int = employee.age

无论哪种方式,Swift必须明确知道哪种下标要被呼叫

你甚至可以强行要求subscript返回一个闭包(Closure):

@dynamicMemberLookup

struct User {

subscript(dynamicMember member: String) -> (_ input: String) -> Void {

return{

print("Hello! I live at the address \($0).")

}

}

}

let user = User()

user.printAddress("555 Taylor Swift Avenue")

当它运行时,user.printAddress返回一个闭包,即输出一串字符,之后("555 Taylor Swift Avenue")部分立即通过这串字符来呼叫它。

如果你对包含一些普通属性和方法的类型使用动态成员下标,这些属性和方法会始终代替动态成员被使用。例如,我们可以定义一个附有动态成员下标的Singer结构,其中内置有name属性

struct Singer {

publicvarname = "Justin Bieber"

subscript(dynamicMember member: String) -> String{

return"Taylor Swift"

}

}

let singer = Singer()

print(singer.name)

这个代码会打出“Justin Bieber”,因为name属性会代替动态成员下标被使用

@dynamicMemberLookup完全参与到Swift的类型系统中,这意味着你可以用在protocols, structs, enums,和 classes中,即使classes被标记为@objc

实际中,这意味着两件事情。首先,你可以使用@dynamicMemberLookup建立一个类,并且任何从它继承的类都会自动为@dynamicMemberLookup属性. 所以,下例会打出“I’m a sandwich”,因为HotDog继承于Sandwich

@dynamicMemberLookup

classSandwich {

subscript(dynamicMember member: String) -> String{

return"I'm a sandwich!"

}

}

classHotDog: Sandwich { }

let chiliDog = HotDog()

print(chiliDog.description)

注意:如果你不认为热狗是三明治,那就来我的推特打我呀

第二,你可以通过在协议中定义,来反向地让其他类型使用@dynamicMemberLookup,通过扩展协议 添加一个默认执行的subscript(dynamicMember:),之后让其他类型按你想要的方式符合你的协议。

例如,下例创建了一个新的Subscripting协议,提供一个默认的subscript(dynamicMember:),它会返回一条信息,之后扩展Swift的String去使用这个协议。

@dynamicMemberLookup

protocol Subscripting { }

extension Subscripting {

subscript(dynamicMember member: String) -> String{

return"This is coming from the subscript"

}

}

extension String: Subscripting { }

let str = "Hello, Swift"

print(str.username)

在他的Swift演变提案中, Chris Lattner也给了一个JSON enum的例子,即使用动态成员查找通过JSON为引导(navigating)建立更自然的语法

@dynamicMemberLookup

enum JSON {

caseintValue(Int)

casestringValue(String)

casearrayValue(Array)

casedictionaryValue(Dictionary)

varstringValue: String? {

ifcase.stringValue(let str) = self {

returnstr

}

returnnil

}

subscript(index: Int) -> JSON? {

ifcase.arrayValue(let arr) = self {

returnindex < arr.count ? arr[index] : nil

}

returnnil

}

subscript(key: String) -> JSON? {

ifcase.dictionaryValue(let dict) = self {

returndict[key]

}

returnnil

}

subscript(dynamicMember member: String) -> JSON? {

ifcase.dictionaryValue(let dict) = self {

returndict[member]

}

returnnil

}

}

没有动态成员查找你将需要为JSON enum 引导一个实例 ,像这样

let json = JSON.stringValue("Example")

json[0]?["name"]?["first"]?.stringValue

但是有了动态成员查找你可以用下面这个

json[0]?.name?.first?.stringValue

我认为这个例子特别重要,因为它指出了@dynamicMemberLookup的要点,它能把定制下标转化为简单的点语法

注意:使用动态成员查找意味着如果不具备全部的有效性,代码的完成会损失很多,因为不存在东西去完成。尽管这不算是什么惊喜,这也是Python IDEs有时不得不处理的问题。Chris Lattner (SE-0195的作者)在他的提案中讨论了未来关于代码完成的可能性,它值得一读

增强的条件一致性

条件一致性在Swift 4.1中引入,允许当特定条件被满足时,类型就去符合一个协议。

例如,如果我们有Purchaseable协议

protocol Purchaseable {

func buy()

}

和一个符合这个协议的简单类型

struct Book: Purchaseable {

func buy() {

print("You bought a book")

}

}

之后如果数组中所有元素符合Purchasable,我们就可以让数组符合Purchaseable,

extension Array: Purchaseable where Element: Purchaseable {

func buy() {

foritem inself {

item.buy()

}

}

}

在编译时它运行的很好,但是有一个问题,如果你要在运行时查询一个条件一致性,你的代码会崩溃,因为这在Swift 4.1中不支持。

现在,在Swift 4.2中已经被修复,所以如果你收到一种类型的数据,想要检查它是否可以被转化为一个条件一致性协议,它可以做到了。

例如

let items: Any = [Book(), Book(), Book()]

iflet books = items as? Purchaseable {

books.buy()

}

另外,对Hashable一致性自动合并的支持在Swift 4.2被大幅提高,来自Swift 标准库的几个内置类型,包括optionals, arrays, dictionaries, 和 ranges-现在当他们的元素符合Hashable时会自动符合Hashable 协议

例如:

struct User: Hashable {

varname: String

varpets: [String]

}

Swift 4.2 可以为这个结构自动合并 Hashable一致性, 但Swift 4.1不能.

本地集合元素移除

SE-0197介绍一个新的 removeAll(where:) 方法,它具有高性能,本地为集合过滤。给它一个闭合环境运行,它会除去所有符合条件的目标。

例如,如果你有一个名称的collection,并且想移除叫“Terry”的人,你可以用这个

varpythons = ["John", "Michael", "Graham", "Terry", "Eric", "Terry"]

pythons.removeAll { $0.hasPrefix("Terry") }

print(pythons)

现在,你也许会想到你可以通过filter()来实现,像这样

pythons = pythons.filter { !$0.hasPrefix("Terry") }

然而,这样并不能有效利用存储,它指定你不需要的而不是你想要的,而且更高级的本地方法会带来一系列复杂性,这些是新手很讨厌的。

布尔值切换

SE-0199为布尔值带来了一个新的toggle()方法,即在true和false之间翻转。这个引发了Swift社区的一片讨论,部分人认为它太细枝末节,也有部分是因为Swift论坛的讨论时不时变得失控。

执行这个提案的完整代码仅仅几行

extension Bool {

mutating func toggle() {

self = !self

}

}

然而,它最终有助于让Swift代码变得更自然

varloggedIn = false

loggedIn.toggle()

就像这个提案中提到,它在更复杂的数据结构中特别有用:

myVar.prop1.prop2.enabled.toggle()避免了在手动操作时潜在的输入错误。=

这个提案让Swift更简单安全的写入,并且完全是附加的,所以我认为大部分人会很快去使用它。

展望Swift 5.0

苹果形容Swift 4.2为”为了实现Swift 5中ABI稳定性的中继点”,但是我希望你能明白这是一个很保守的声明-我们正在得到一些很好的新特性,既有对过去特性的改进,也有ABI的改变。

更好的是,在最终发布之前我们也许还会看到新的特性被加入-我们可能同时看到SE-0192, SE-0193, SE-0202, 和SE-0206的到来。

然而,我们归根结底依旧期待Swift 5.0能提供大家盼望已久的ABI稳定性。苹果谨慎小心步步为营的方法似乎会走的更好,而且它让人怀有希望,觉得Swift 5.0将会更值得等待。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 211,639评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,277评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 157,221评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,474评论 1 283
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,570评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,816评论 1 290
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,957评论 3 408
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,718评论 0 266
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,176评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,511评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,646评论 1 340
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,322评论 4 330
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,934评论 3 313
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,755评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,987评论 1 266
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,358评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,514评论 2 348

推荐阅读更多精彩内容