求解单变量表达式的值将会得到什么结果？

IT行业相对于一般传统行业，发展更新速度更快，一旦停止了学习，很快就会被行业所淘汰。所以我们需要踏踏实实的不断学习，精进自己的技术，尤其是初学者。今天golang学习网给大家整理了《求解单变量表达式的值将会得到什么结果？》，聊聊，我们一起来看看吧！

运行以下 go 代码片段，可以发现函数 foo 在计算函数的第二个参数时接收实际设置的第一个参数的值。这种行为可能看起来违反直觉，因此我们需要证明这是语言规范的一部分，而不是特定于实现的东西。

package main

import (
    "fmt"
)

func setVal(s *int, v int) int {
    old := *s
    *s = v
    return old
}

func foo(s int, p int) {
    fmt.Printf("s = %d, p = %d\n", s, p)
}

func main() {
    var s int
    foo(s, setVal(&s, 99))
}

程序输出 s = 99, p = 0，这意味着变量 s 的修改值已传递给函数。

以下是 go 规范关于此情况的说明。

在函数调用中，...参数必须是单值表达式...参数按通常的顺序求值。在评估它们之后，调用的参数将按值传递给函数...其中通常的顺序是词汇从左到右的顺序。

变量是保存值的存储位置。 ...通过引用表达式中的变量来检索变量的值；它是分配给变量的最新值。

因此 foo(s, setval(&s, 99)) 是函数调用，变量 s 和函数 setval() 是单值表达式，首先对 s 进行求值。最后一个规范语句使人们假设变量评估的结果是它的值，因此如果这是真的，函数 foo 应该接收变量 s 的初始值。

但事实上，该函数似乎接收了在评估第二个参数时设置的第一个参数的值，这有点令人困惑。

这是否意味着评估顺序被破坏或者变量评估的结果不是它的值？

解决方案

规范中您“错过”的内容是 Spec: Calls:

在函数调用中，函数值和参数在 the usual order 中求值。求值后，调用的参数按值传递给函数，被调用的函数开始执行。

评估参数并不意味着读取或“采用”它们的值。第一个参数是s，它的评估是s本身，但是它的值还没有被读取。第二个参数被求值，这意味着调用 setval() 并将修改 s 的值。

现在我们已经评估了参数，它们的值已被读取，因此 s 将具有值 99。

在示例中评估 s 很简单，但当然这可能是一个更复杂的表达式，就像第二个参数一样。这是一个更复杂的示例：

s, s2 := new(int), new(int)

getFunc := func() func(s int, p int) { return foo }
first := func(a, b *int) *int { return a }

getFunc()(*first(s, s2), setVal(s, 99))

最后一个函数的调用涉及以下步骤：

• 计算函数值：调用 getfunc()，其返回值将是函数值
• 评估参数： (a) first() 被调用，其返回值被解引用； (b) 调用setval()，将使用其返回值
• 现在已获取值：*s 的值和 s 的旧值（setval() 返回的值）。

这将输出与您的示例相同的内容，请在 Go Playground 上尝试。

今天关于《求解单变量表达式的值将会得到什么结果？》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！