swift 编程实践
swift 类型推断
毫无疑问,类型推断是现在编程语言的一个重要特性,它让我们的代码更加的简洁易懂。但是swift的类型推断有时候却并非按照我们想像的工作。
比较下面两段代码:
self.performSelector("selector")
和
let selector = "selector"
self.performSelector(selector)
乍看上去两段代码应该是等效的。然而事实却是第一段代码能够顺利编译,第二段代码会编译失败。究其原因,selector的类型会被推断成为String,而performSelector不接受String类型的参数。第一段代码的"selector"会被推断成为Selector类型,因而顺利编译。
目前swift的类型推断系统还不能完全根据上下文得出正确的类型,所以经常使用option查看变量类型是一个推荐的做法
swift 类型推断和编译时间
考虑下面一段代码:
let myCompany = [
"employees": [
"employee 1": ["attribute": "value"],
"employee 2": ["attribute": "value"],
"employee 3": ["attribute": "value"],
"employee 4": ["attribute": "value"],
"employee 5": ["attribute": "value"],
"employee 6": ["attribute": "value"],
"employee 7": ["attribute": "value"],
"employee 8": ["attribute": "value"],
"employee 9": ["attribute": "value"],
"employee 10": ["attribute": "value"],
"employee 11": ["attribute": "value"],
"employee 12": ["attribute": "value"],
"employee 13": ["attribute": "value"],
"employee 14": ["attribute": "value"],
"employee 15": ["attribute": "value"],
"employee 16": ["attribute": "value"],
"employee 17": ["attribute": "value"],
"employee 18": ["attribute": "value"],
"employee 19": ["attribute": "value"],
"employee 20": ["attribute": "value"],
]
]
这一段代码非常简单,但是如果这一段代码需要编译的话,將需要消耗数小时。
如果我们把上面的“String类型”,改成我们自定义的其他类型。编译速度可能会有一些提升。但是当需要推断的类型数量达到一定级别后。编译速度依然是不可接受的。
推测其中的原因,应该是因为每添加一个元素,编译器都需要确切的知道在当前步骤的确切类型。直接导致了编译复杂度的直线上升。
如果我们直接声明出常量myCompany的类型,编译將在毫秒级别时间内完成。
当需要推断的类型比较复杂的时候,直接声明类型將显著提升编译效率
Optional
swift是一种静态强类型语言。其中能体现强类型的特性之一就是optional变量。
在很多语言当中,nil或者null能够赋值给任意的class类型变量。但是swift不行,如果我们想给任何变量赋值nil,我们一定需要将其设置为optional类型。如
let optional: Int? = nil
究其本质,optional其实就是一个enum。其实现为
enum Optional<T> {
case Some(T)
case None
}
"?"其实是苹果为Optional这种特殊的enum提供的语法糖。对于必须有值和可能有值两种情况进行了非常明确的区分。
Enum & Optional
考虑下面一个场景,一个客户需要订火车票去其他城市,但是他有可能订往返票,也有可能订单程票,或者是订联程票。
我们要初始化这一段行程,我们可以用Optional和Enum分别进行设计。
首先,我们定义一个叫做OriginDestination的class,代表单边行程。
设计一,使用Optional:
class Itinerary {
let departing: OriginDestination
let returning: OriginDestination?
let secondDeparting: OriginDestination?
init(departing: OriginDestination, returning: OriginDestination?, secondDeparting: OriginDestination?) {
self.departing = departing
self.returning = returning
self.secondDeparting = secondDeparting
}
}
我们需要通过判断returning和secondDeparting来判断这一段行程的类型。这种设计有几点问题:
- 无法限定外面传进来的值的可能性。比如当returning和secondDeparting同时有值的时候,我们并没有为这种情况定义业务逻辑,也就无法为该种情况提供实现。但是从代码的角度来看,并不能限定这种情况的发生。
- 扩展性,当需要扩展票的类型的时候,这段代码将变的难以扩展和维护。
- 可读性,在不那么了解业务逻辑的情况下,并不能看出returning和secondDeparting二选一的条件。或许只能通过文档约定。
设计二,使用Enum:
enum ItineraryType {
case Oneway(departing: OriginDestination)
case RoundTrip(departing: OriginDestination, returning: OriginDestination)
case OpenJaw(departing: OriginDestination, secondDeparting: OriginDestination)
}
class Itinerary {
let itinerary: ItineraryType
init(itinerary: ItineraryType) {
self.itinerary = itinerary
}
}
这一次设计意图更加明显,直接由ItineraryType来判断行程的类型,并且将对应的值存入对应的case当中。用Optional设计的几点问题就迎刃而解。
推荐使用带值的Enum来实现这种类型多选一,并且有不同的值的组合的需求
Protocol Extension
面向接口编程是OO的设计准则之一,swift中的Protocol约束能力强,并且还能进行扩展。让我们来看一下两组实现:
实现一:
protocol P1 {
func optionalMethod()
}
extension P1 {
func optionalMethod() {
print("default optional method")
}
}
class C1: P1 {
func optionalMethod() {
print("override optional method")
}
}
let c1: P1 = C1()
c1.optionalMethod()
我们可以得到的输出结果为:override optional method
实现二:
protocol P2 {
}
extension P2 {
func optionalMethod() {
print("default optional method")
}
}
class C2: P2 {
func optionalMethod() {
print("override optional method")
}
}
let c2: P2 = C2()
c2.optionalMethod()
我们可以得到的输出结果为:default optional method
以上两组定义实现,区别在于P1中申明了OptionalMethod方法,而P2中没有。而结果是C1成功重写此方法,C2重写失效。
再观察protocol extension,我们容易发现。我们可以很轻松的实现多重继承的关系。而多重继承带来的复杂度相信大家都能够体会。
在足够简单的情况下使用Protocol Extension。不要让一时的方便造成复杂度的上升