★学习笔记:《iOS高级:Swift入门精讲②》第一节 Swift编程-01➡08 inout

前言:

本篇为视频学习笔记

输入输出参数 (In-Out Parameter)

★ 可以用inout定义一个输入输出参数:可以在函数内部修改外部实参的值

例子 - 1

 var number = 10
 func add(_ num: Int){
 }
 add(number)

外面定义一个变量number = 10,希望函数调用完,外边这个变量能够加1。我们调用函数把这个number传进去,add(number)。那么函数内部num能不能num += 1 呢?如下面这样写:


image.png

运行一下,你就会发现程序会报错,其实(函数参数)num默认是一个Int类型。就是常量,不能是变量,所以函数参数本身就不可以改。其次,就算num能改,外面的number肯定也不会改变。因为number它是值类型,它是值传递。仅仅是将number这个值,传递过去了。仅仅是将10传递给了num。跟外面number并没有联系。

所以,我们想在函数内部修改外部变量的话?其实很简单,用这个输入输出参数就可以了。在冒号后面加上inout , func add(_ num: inout Int) 如下代码:



但是还会报错,说了输入输出参数必须加 &,跟普通的参数区分开来,如下代码

 var number = 10
 func add(_ num: inout Int){
     num = 20
 }
 add(&number)

我们一加上 & 我们就知道了&number肯定是一个输入输出参数,这样一写就办到了,我们在函数内部修改了外部变量的值。显示结果如下:

修改成功

例子 - 2

说到这点的话,我们有没有想到一个需求,就是更换两个变量的值,也就是说,我们想把下面num1的值和num2的值,交换一下。

 func swapValues(_ v1: inout Int, _ v2: inout Int) {
     let tmp = v1
     v1 = v2
     v2 = tmp
 }
 
 var num1 = 10
 var num2 = 20
 swap(&num1, &num2)

函数两部分都定义了,输入输出参数,我们可以通过第三方变量,把它们交换一下。

说到交换,swift官方自带了一个函数,可以帮助你交换两个变量。


官方

所以,上边函数改了一个名叫做swapValues, 其实还有一个更优雅的方法,如下:

  func swapValues(_ v1: inout Int, _ v2: inout Int) {
    (v1,v2) = (v2,v1)
 }   

利用元祖,相当于v2赋值给v1,v1赋值给v2。整体效果如下:


整体效果

★ 可变参数不能标记为inout

也就是说,你在 _ v1: Int... inout中加是不可以的。

★ inout参数不能有默认值

★ inout参数的本质是地址传递(引用传递)

如例子 - 1,其实&number这种形式非常的眼熟,&其实就是地址的意思。相当于它将变量的地址,传到函数里面去了。说白了,函数内部会根据传递的变量地址值,找到它的存储空间,将20赋值给num的存储空间。说白了就是将20赋值给number的存储空间,这样就想的通了。

有些书籍说inout本质不是地址传递,是引用传递,有的人是这样说的,它先将10这个值,传递给num, (num = 20),20会覆盖掉num这个家伙,然后再将20这个值,返回到外面去,再赋值给number。其实这种说法是错的。怎么去验证谁对,谁错呢?用汇编。

inout参数的本质是地址传递还是引用传递,用汇编验证

playground是不支持汇编的,我们还是打开之前的工程TestSwift。
swift是不允许拿到对象地址的,在test(&number)处打一个断点,

如上代码cmd + R运行一下。


那么我们怎么才能看出来&number,是传递的地址还是什么东西呢?
这样子,我们先看一个问题先,就是这个test调用是怎么做的。



我们看上图这个位置,这就是我们的test函数,我们这个函数接受一个inout函数,而且这个inout函数是int类型的。
我们返回去看一下,这个test是不是接受一个inout,要传递一个Int类型。



那么,调用了test函数,它转成了汇编代码一定有一个callq,记住一点,以后凡是函数调用转成的汇编都叫callq,callq后面跟的可以理解为函数地址。到时候,就会进入这个地址去,执行函数的代码。

那你思考一下,调用函数,那么仅仅是这个代码的话,肯定是有问题的,为什么?因为你得传参啊,对不对。你的这个地址0x100000f60很明显是函数地址,怎么可能包含参数的内容呢?所以callq 0x100000f60这一句,明显没有参数。那么它传参在哪呢?

那么,这一句传参用的什么指令呢?用的是leaq。leaq是什么指令呢,其实就是地址传递,专门用来做地址传递的。它是在将%rbp 加0x120传递给%rdi 。那么这些带百分号的是什么鬼东西呢?这些带百分号的其实就是寄存器,寄存器是存储在CPU里面的,也是存储东西的,跟内存不一样。他是将0x120(%rip)这个地址值传递给了%rdi。说白了,%rdi里面存储的是地址值。然后接下来,我们就调用callq 0x100000f60 这个函数。那么我们就进去看一下,它调用的是什么东西。

接下来,我们要一步一步往下走,我们最好用setp into进入这个函数



大家现在看一下,是不是已经进入这个函数了,如下图:



进入test函数,我们看到了$0x14这个值,16进制的14,是什么,是20。

这个movq是挪动的意思他是将20这个值($0x14)赋值给了(%rdi)(寄存器),里面放的是地址。小括号是什么意思呢,是去寻找这个地址所在的存储空间。应该这样说,根据%rdi所存储的地址值,找到那个存储空间,所以它是将20,放到了那个存储空间。问题是,放到了哪个存储空间呢?这就要看%rdi里面放的是谁的地址了。

这个时候,我们在倒回去。



目的是看清%rdi,是什么鬼东西?%rdi目前里面放的是0x120(%rip)这一串。0x120(%rip)在学到这里,是有点难度的。所以这个test函数的本质还是,地址传递。


再来观察一个问题,这个test函数调用完之后,我们在它后面没有发现任何movq指令。



也就说明,后面没有任何赋值操作,也就意味着20赋值给某一个家伙的操作,已经在test函数中完成了。也就是说白了,20这个值要赋值给number的话,其实已经在这个函数中已经完成了。也就不存在上面所说的,引用传递。也就是,函数结束之后,再倒回来赋值给number,这个说法是不存在的。


也可以去观察一下,如果们这样写,如下图:


第一种情况

现在这个不是输入输出参数,我们注意观察test调用这这个位置,如下图:



你再看一眼,前面赋值给%rdi是什么指令,是movq 。
第二种情况

将上边两种情况做一个对比:如果我们直接第一种情况值传递,我们会发现前面赋值给%rdi是什么指令movq,直接将某个值传递给了%rdi


如果直接写个&,调用test之前%rdi用的是leaq,明显就是地址传递,所以inout的本质就是地址传递。

如果它是值传递,就是movq某个内存里的值给%rdi,其实是哪个内存呢?明显就是number这个变量的内存。相当于从这个内存里取出的值就是10,将10赋值给了%rdi。-0x30(%rbp)其实就是%rbp减0x30,去这个地址里面找这个值。根据%rbp减0x30,找到这个存储空间,按理来说就是number的存储空间,所以到时候,这个-0x30(%rbp)空间的值就是10。

★ inout参数只能传入可以被多次赋值的

 var number = 10
 number = 20
 number = 30
 func test(_ num: inout Int) {     }
 
 test(&number)

比如说这个number为什么可以传递进去呢,因为它是变量就会意味着可以多次赋值,那么问题来了,那么&number这里能不能传递一个40进去呢?明显不行,40是一个字面量,字面量是不允许赋值给它的,你别人赋值给它,肯定会报错。40不支持可以多次赋值,所以不能传。



如果 number是let 类型呢,也是不可以的因为它只能赋值一次,它也不支持多次赋值。所以不能传进去,编译器会报错。


而且,认真思考一下,是在里面修改外面的常量吗?那既然是一个常量,你在函数里面肯定是不能修改的,所以能被传递进来的家伙 test(&number)肯定是能多次赋值的。

例子:


可执行

为什么数组0能够传递去的,因为0这个位置,是可以多次赋值的。



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