Swift中的常量和变量

作者: 老板娘来盘一血 | 来源:发表于2016-10-10 13:34 被阅读1015次

    前言

    Swift作为一门新语言,对于熟练掌握Objective-C编程的iOS开发者来说其实很容易上手,但其在语法和编程习惯上改变了很多,对于从未了解Objective-C语言而从Swift开始学习iOS开发的新手来说可能上手有一定难度,下面我将这段时间的学习成果结合官方文档说明做一个简单的汇总,希望可以帮助到正在学习Swift的小伙伴们。
    本文主要是介绍Swift中最常用的常量和变量,将从常量和变量的 定义与申明命名规范两者的深入思考 三个方面入手,入门基础篇,重点介绍变量和常量的使用以及区别,希望大家在阅读完本文后都可以熟练使用它们。

    常量和变量的定义与申明

    常量和变量把名字和一个特定类型的值关联起来。常量的值一旦设置好便不能再被更改,然而变量可以在将来被设置为不同的值。

    • 申明
      常量和变量必须在使用前被声明,使用关键字 let 来声明常量,使用关键字 var 来声明变量。举个简单的例子:
    class Person: NSObject {
        let life = 1
        var age = 0
    }
    

    这里我们有一个Person类继承NSObject,显然人的生命只有一条应该设置为不可以改变的常量,但是人的年龄是随着时间变化的应该声明为变量,同理,当你在开发过程中有类似需求时应该这样来选择何时使用变量、何时使用常量。
    当然我们可以选择一行代码以逗号分隔的形式申明多个简单的变量或常量如下所示:

     var a = 0, b = 1.0, c = "CoderYQ" 
    
    • Swift中的类型安全和类型推断
      Swift 是一门类型安全的语言,即你必须时刻清楚此时代码需要处理的值的类型,编译器会进行类型检查,任何不匹配的类型都会被标记为错误当然更不能参与运算。当你操作不同类型的值时,类型检查能帮助你避免错误。当然并不是所有的变量和常量都需要明确指出一个确定的类型,如果你没有为申明的变量或常量指定类型,Swift 会使用类型推断的功能推断出合适的类型,通过检查你给变量赋的值,类型推断能够在编译阶段自动的推断出值的类型,这就是Swift中类型推断

      就像上面的连续申明变量abc的代码中我们并没有明确指出三者的类型,编译器则是通过你给三者赋的值来推断三者的类型分别为:Int类型、Double类型、String类型。
      但是在某些必要时刻我们是需要给申明的变量或常量提供类型标注的,以此来明确他们能够存储的值。添加类型标注的方法是在变量或常量的名字后边加一个冒号,再跟一个空格,最后加上要使用的类型名称(这里和Objective-C中不太一样),如下所示的代码效果其实和上面的是一样的:

    var a: Int = 0
    var b: Double = 1.0
    var c: String = "CoderYQ"
    

    如果变量的类型都一样,我们还可以这样申明:

    var a, b, c : Double
    

    命名规范

    常量和变量的名字几乎可以使用任何字符,甚至包括 Unicode 字符:

    let π = 3.14159
    let 你好 = "你好世界"
    let 🐶🐮 = "dog cow"
    

    官方文档对于命名规范还有这样的要求:

    常量和变量的名字不能包含空白字符数学符号箭头保留的(或者无效的)Unicode 码位连线制表符。也不能以数字开头,尽管数字几乎可以使用在名字其他的任何地方。
    一旦你声明了一个确定类型的常量或者变量,就不能使用相同的名字再次进行声明,也不能让它改存其他类型的值。常量和变量之间也不能互换,如果你需要使用 Swift 保留的关键字来给常量或变量命名,可以使用反引号( ` )包围它来作为名称。总之,除非别无选择,避免使用关键字作为名字除非你确实别无选择。

    总结一句:Swift中变量和常量的命名相较于Objective-C中更加灵活多变,但是仍然有上面的规定需要注意,而且他们的命名尽量做到见名知意,以便于开发人员之间的协同合作。这里我给大家列出了Swift中主要的关键字,希望大家在命名的时候尽量规避他们。

    • 用作声明的关键字:
    class、deinit、enum、extension、func、import、init、let、protocol、static、struct、subscript、typealias、var
    
    • 用作语句的关键字:
    break、case、continue、default、do、else、fallthrough、if、in、for、return、switch、where、while
    
    • 用作表达和类型的关键字:
    as、dynamicType、is、new、super、self、Self、Type、__COLUMN__、__FILE__、__FUNCTION__、__LINE__
    
    • 特定上下文中被保留的关键字:
    associativity、didSet、get、infix、inout、left、mutating、none、nonmutating、operator、override、postfix、precedence、prefix、right、set、unowned、unowned(safe)、unowned(unsafe)、weak、willSet
    

    深入思考

    经过上面的学习我们已经能够熟练使用常量和变量了,那么两者之间在使用上到底有何区别呢?这里通过例子说明一下:

    //通过 UIView() 方法创建一个 UIView 的对象
    //(假设系统分配的内存地址为:0x7faa31616bb0)并赋值给申明为 UIView类型 的常量:view0
    let view0 : UIView = UIView()
    
    //通过 UIView() 方法创建另外一个 UIView 的对象
    //(假设系统分配的内存地址为:0x7f9890c062b0) 并赋值给申明为 UIView类型 的变量:view1
    var view1 : UIView = UIView()
    
    • 第一行代码的意思:首先在内存中的堆区创建一个内存地址为0x7faa31616bb0UIView类型的对象,然后在内存中的栈区申明一个名为view0的常量指向该对象,即view0中保存的是0x7faa31616bb0这个地址,而且该常量的值是不可变的(这不废话吗),即view0中保存的内存地址不能变了。

    • 第二行代码的意思: 在堆区又创建一个新的内存地址为0x7f9890c062b0UIView类型的对象,然后在栈区又申明一个名为view1的变量指向该对象,即view0中保存的是0x7faa31616bb0这个地址,注意此时view1的值是可以改变的,即view1中保存的内存地址是可以变化的。

    如果此时执行下面的操作:

    //重新创建一个新的 `UIView` 的对象
    //(假设系统分配的内存地址为:`0x7f9890c042b0`)并赋值给上面的常量 `view0`
    view0 = UIView()
    

    编译器会报这样的错误:

     error: cannot assign to value: 'view0' is a 'let' constant,
    change 'let' to 'var' to make it mutable
    

    错误原因:创建一个新的对象有一个新的内存地址,你把新的对象重新赋值给view0,即view0现在指向另一个对象了,相当于将view0中的原来存储的0x7faa31616bb0内存地址修改成了0x7f9890c042b0,但是view0中存储的内存地址一旦赋值了是不能修改的,所以编译器这里就报错了,他建议你将 let 变成 var 来申明 view0

    //重新创建一个新的 `UIView` 的对象
    //(假设系统分配的内存地址为:`0x7f9890c042b0`)并赋值给上面的变量 `view1`。
    view1 = UIView()
    

    这里是不会报错的,因为view1中保存的内存地址是可以修改的。
    但是如果我接着执行下面的代码,编译器会不会报错呢?

    view0.backgroundColor = UIColor.white
    view0.backgroundColor = UIColor.black
    

    代码解释:先将 view0 的背景色设置为白色,然后将view0的背景色修改为黑色(Swift2.0和Swift3.0的修改背景色的方法有所不同,这里使用的是Swift3.0,只是精简了代码,并无本质区别)。
    答案是不会的,因为在上面的操作中我并没有修改view0中保存的内存地址,只是通过view0中保存的内存地址拿到view0指向的对象,然后修改对象内部的属性(这里是backgroundColor,还可以是frame等等),和 view0 是常量还是变量并没有关系。

    • 本质区别
      常量的值不可修改的的本质是其保存的内存地址不可修改,但是可以通过该地址拿到地址指向的对象并修改对象的属性。
      变量的值可以修改的本质是其保存的内存地址能够被修改。

    看到这里如果你认为关于常量和变量的知识点就这么多,那就大错特错了,Swift引入两者很可能与编程范式有关。具体来说:

    • let和var与函数式编程和命令式编程

    letvar 这两个关键字背后蕴藏着两种截然不同的编程范式:函数式编程和命令式编程。Swift对这两者进行了高度融合:它允许你使用引入赋值所带来的简单直观的建模方法。同时也鼓励你使用不变性(常量)缓解各类并发问题。

    关于常量和变量与函数式和命令式编程之间更加深入的探讨请参考下面的文章,其缜密的分析、独特的见解以及探索的深度和广度是本文所不能比拟的。
    Swift中的 let 和 var
    值语义(不是值类型)

    最后

    如果文中有任何纰漏或错误欢迎在评论区留言指出,本人将在第一时间修改过来;喜欢我的文章,可以关注我以此促进交流学习; 如果觉得此文戳中了你的G点请随手点赞;转载请注明出处,谢谢支持。

    下一篇:Swift中闭包的简单使用

    相关文章

      网友评论

        本文标题:Swift中的常量和变量

        本文链接:https://www.haomeiwen.com/subject/uwwmyttx.html