2018年三月月 发布的文章

defer函数参数求值简要分析

一. 引子

书接上文,在发表了《对一段Go语言代码输出结果的简要分析》一文之后,原问题提出者又有了新问题,这是一个典型Gopher学习Go的历程,想必很多Gopher们,包括我自己都遇到过的。我们先来看看这段代码(来自原问题提出者):

// https://play.golang.org/p/dOUFNj96EIQ
package main

import "fmt"

func main() {
    var i int = 1

    defer fmt.Println("result =>",func() int { return i * 2 }())
    i++
}

这里显然有坑!初学者的常规逻辑一般是:defer是在main函数退出后执行,退出前i已经做了+1操作,值变成了2,这样一来defer后的Println应该输出:result => 4 才对!实际输出结果呢?

result => 2

这怎么可能?

实际上不光是defer这样,即使用go关键字替换掉defer,输出的结果也是一样的:result => 2

package main

import (
     "fmt"
    "time"
)

func main() {
    var i int = 1

    go fmt.Println("result =>",func() int { return i * 2 }())
    i++
    time.Sleep(3*time.Second)
}

二. defer function分析

那么究竟为什么输出的是2,而不是4呢?因为无论是go关键字还是defer关键字,在代码执行到它们时,编译器都要为它们后面的函数准备好函数调用的参数堆栈,要确定的参数值和参数类型大小。这样一来就得去求值:对它们后面的函数的参数进行求值

以本文第一个defer那个例子为例!我们需要为defer后面的函数进行参数求值

defer fmt.Println("result =>",func() int { return i * 2 }())

此时defer后面的函数是Println,这里Println有两个输入参数:”result =>”和func() int {return i * 2}(),前者就是一个字符串常量值,而后者是一个函数调用,我们需要对该函数调用进行求值。而在此时,i依然为1,因此Println的第二个参数的求值结果为2,于是上面defer的调用就等价于:

defer fmt.Println("result =>",2)

因此,无论最终i的值变成了多少,defer最终的输出都是:result => 2。go关键字后面的参数亦是如此。其实这个过程与为普通函数的调用做准备是一样的,也要先对函数的参数进行求值,之后再进入函数体,只不过defer将进入函数执行的过程推迟到defer的调用方退出之前了。

搞清楚这个defer原理后,我们如果想在defer函数执行时输出4,那么使用一个闭包函数即可:

// https://play.golang.org/p/Eux7zpSr7O8

package main

import "fmt"

func main() {
        var i int = 1

        defer func() {
                fmt.Println("result =>", func() int { return i * 2 }())
        }()
        i++
}

这里我们看到defer 后面是一个不带任何参数的匿名函数,所谓的对参数求值也是无值可求。在main函数退出前,defer后面的匿名函数真正执行时i的值已经是2,因此闭包函数中的Println输出4。

三. defer method分析

defer后面除了可以跟着普通函数调用外,还可以使用方法调用(method):

defer instance.Method(x,y)

这可能又会让初学者有些迷惑,多数又是Method的receiver类型以及go自动对instance的Method调用解引用或求地址的问题,我们“趁热打铁”,再来基于上一篇文章《对一段Go语言代码输出结果的简要分析》中的例子做些修改,看看将go关键字换成defer会是一种什么情况:

//https://play.golang.org/p/T8CdRfEn2h4

package main

import (
    "fmt"
)

type field struct {
    name string
}

func (p *field) print() {
    fmt.Println(p.name)
}

func main() {
    data1 := []*field{{"one"}, {"two"}, {"three"}}
    for _, v := range data1 {
        defer v.print()
    }

    data2 := []field{{"four"}, {"five"}, {"six"}}
    for _, v := range data2 {
        defer v.print()
    }
}

这段代码运行起来输出:

six
six
six
three
two
one

有了《对一段Go语言代码输出结果的简要分析》一文中的思路作为基础,对上面这段代码的分析也就不难了。没错,还是按照我上一篇的“等价转换”思路去思考,将method转换为function后,再分析。上面的代码可以等价变换为下面代码:

https://play.golang.org/p/a-vOSz4N3jb

package main

import (
    "fmt"
)

type field struct {
    name string
}

func print(p *field) {
    fmt.Println(p.name)
}

func main() {
    data1 := []*field{{"one"}, {"two"}, {"three"}}
    for _, v := range data1 {
        defer print(v)
    }

    data2 := []field{{"four"}, {"five"}, {"six"}}
    for _, v := range data2 {
        defer print(&v)
    }
}

接下来,我们就利用defer的“参数实时求值”原理,对上面的代码作分析:

data1的三次迭代:defer的参数求值完后,defer print(v)调用分别变成了:

  • defer print(&field{“one”})
  • defer print(&field{“two”})
  • defer print(&field{“three”})

data2的三次迭代,defer的参数求值完后,defer print(v)调用分别变成了:

  • defer print(&v)
  • defer print(&v)
  • defer print(&v)

于是在main退出前,defer函数按defer被调用的反向顺序执行:

  • print(&v)
  • print(&v)
  • print(&v)
  • print(&field{“three”})
  • print(&field{“two”})
  • print(&field{“one”})

而此刻:v中存储的值为field{“six”},于是前三次print均输出”six”。

四. 小结

defer虽然带来一些性能损耗,但defer的适当使用可以让程序的逻辑结构变得更为简洁。

《对一段Go语言代码输出结果的简要分析》一文发出后,出乎意料地收到一些反馈,其实很多Go初学者希望能看到一些像这样的入门,但又“较真”的,最好再涉及点底层实现的文章。以后有精力会多多关注这一点的。欢迎大家来本站继续交流,从各位朋友提出的问题中,我也能收获到灵感^0^。


著名云主机服务厂商DigitalOcean发布最新的主机计划,入门级Droplet配置升级为:1 core CPU、1G内存、25G高速SSD,价格5$/月。有使用DigitalOcean需求的朋友,可以打开这个链接地址:https://m.do.co/c/bff6eed92687 开启你的DO主机之路。

我的联系方式:

微博:https://weibo.com/bigwhite20xx
微信公众号:iamtonybai
博客:tonybai.com
github: https://github.com/bigwhite

微信赞赏:
img{512x368}

商务合作方式:撰稿、出书、培训、在线课程、合伙创业、咨询、广告合作。

对一段Go语言代码输出结果的简要分析

年后事情实在是多,各种被催进度,于是好长一段时间未更博客了,自责中….。今天蹦出来热热身^0^!

中午在微博私信中看到一封来自某Gopher的咨询,他贴了一段代码,并表示对代码的输出结果的不解,希望我能帮他分析一下。他的代码如下:

//testslicerange.go
package main

import (
    "fmt"
    "time"
)

type field struct {
    name string
}

func (p *field) print() {
    fmt.Println(p.name)
}

func main() {
    data1 := []*field{{"one"}, {"two"}, {"three"}}
    for _, v := range data1 {
        go v.print()
    }

    data2 := []field{{"four"}, {"five"}, {"six"}}
    for _, v := range data2 {
        go v.print()
    }

    time.Sleep(3 * time.Second)
}

go playground上,其输出结果为(在我的多核mac,Go 1.10上面程序与此稍有不同,输出的item相同,只是前后顺序有不同):

one
two
three
six
six
six

虽然这位Gopher并没有明确说明他的疑惑究竟是什么?但从上述的输出结果来看,他一定是想问:为什么对data2的迭代输出的是三个”six”,而不是four、five、six?

好了,我来分析一下。首先,我要对这个程序做个等价变换,变换后的程序源码如下:

//testslicerange-transform.go
package main

import (
    "fmt"
    "time"
)

type field struct {
    name string
}

func print(p *field) {
    fmt.Println(p.name)
}

func main() {

    data1 := []*field{{"one"}, {"two"}, {"three"}}
    for _, v := range data1 {
        go print(v)
    }

    data2 := []field{{"four"}, {"five"}, {"six"}}
    for _, v := range data2 {
        go print(&v)
    }

    time.Sleep(3 * time.Second)
}

这里我把field结构体的method:print,换成了普通的以field指针作为第一个参数的函数print,这个变换是等价的,因为go中的method本质上就是以method的receiver作为第一个参数的普通function,即:

instance.method(x,y) <=> function(instance, x,y)

因此,执行上述的变换后的testslicerange-transform.go,得到的结果与testslicerange.go是一致的:

one
two
three
six
six
six

这样变换以后,问题是不是豁然开朗了,你可以很清楚地看到使用go关键字启动一个新goroutine时是如何绑定参数的:

- 迭代data1时,由于data1中的元素类型是field指针,因此赋值后v就是元素地址, 每次调用print时传入的参数(v)实际上也是各个field元素的地址;
- 迭代data2时,由于data2中的元素类型是field(非指针),因此赋值后v是元素的copy,每次传入的&v实际上是v的地址,而不是被copy的元素的地址;

剩下的就是for range常见的那个”坑”的问题(在我的《关于Go,你可能不注意的7件事》一文中有详尽说明),那就是v在整个for range过程只有一个,data2迭代完成之后,v是元素”six”的copy

这样,一旦启动的各个child goroutine在main goroutine执行到Sleep时才被调度执行,那么最后的三个goroutine在打印&v时,打印的也就都v
中存放的值”six”了。而前三个child goroutine各自传入的是元素(“one”、”two”、”three”)的地址,打印的就是”one”、”two”、”three”。

那么原程序如何修改一下才能让其按期望输出(“one”、”two”、”three”, “four”, “five”, “six”)呢?我们来改一下:只需将field method的receiver type由*field改为field即可。

// testslicerange1.go
package main

import (
    "fmt"
    "time"
)

type field struct {
    name string
}

func (p field) print() {
    fmt.Println(p.name)
}

func main() {

    data1 := []*field{{"one"}, {"two"}, {"three"}}
    for _, v := range data1 {
        go v.print()
    }

    data2 := []field{{"four"}, {"five"}, {"six"}}
    for _, v := range data2 {
        go v.print()
    }

    time.Sleep(3 * time.Second)
}

上述程序在go playground上的输出为:

one
two
three
four
five
six

至于为什么,可以参考我的分析思路,自行分析一下。


著名云主机服务厂商DigitalOcean发布最新的主机计划,入门级Droplet配置升级为:1 core CPU、1G内存、25G高速SSD,价格5$/月。有使用DigitalOcean需求的朋友,可以打开这个链接地址:https://m.do.co/c/bff6eed92687 开启你的DO主机之路。

我的联系方式:

微博:https://weibo.com/bigwhite20xx
微信公众号:iamtonybai
博客:tonybai.com
github: https://github.com/bigwhite

微信赞赏:
img{512x368}

商务合作方式:撰稿、出书、培训、在线课程、合伙创业、咨询、广告合作。

如发现本站页面被黑,比如:挂载广告、挖矿等恶意代码,请朋友们及时联系我。十分感谢! Go语言第一课 Go语言精进之路1 Go语言精进之路2 Go语言编程指南
商务合作请联系bigwhite.cn AT aliyun.com

欢迎使用邮件订阅我的博客

输入邮箱订阅本站,只要有新文章发布,就会第一时间发送邮件通知你哦!

这里是 Tony Bai的个人Blog,欢迎访问、订阅和留言! 订阅Feed请点击上面图片

如果您觉得这里的文章对您有帮助,请扫描上方二维码进行捐赠 ,加油后的Tony Bai将会为您呈现更多精彩的文章,谢谢!

如果您希望通过微信捐赠,请用微信客户端扫描下方赞赏码:

如果您希望通过比特币或以太币捐赠,可以扫描下方二维码:

比特币:

以太币:

如果您喜欢通过微信浏览本站内容,可以扫描下方二维码,订阅本站官方微信订阅号“iamtonybai”;点击二维码,可直达本人官方微博主页^_^:
本站Powered by Digital Ocean VPS。
选择Digital Ocean VPS主机,即可获得10美元现金充值,可 免费使用两个月哟! 著名主机提供商Linode 10$优惠码:linode10,在 这里注册即可免费获 得。阿里云推荐码: 1WFZ0V立享9折!


View Tony Bai's profile on LinkedIn
DigitalOcean Referral Badge

文章

评论

  • 正在加载...

分类

标签

归档



View My Stats