程序员iOS DeveloperiOS学习笔记

swift 编程实践

2016-06-24  本文已影响350人  GaryChow
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来判断这一段行程的类型。这种设计有几点问题:

设计二,使用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。不要让一时的方便造成复杂度的上升

上一篇下一篇

猜你喜欢

热点阅读