在 Julia 的函数中重新分配字典值

Question

Julia 新手，因此可能是一个基本问题。

x = 1
function someFn()
   print(x)
   x = 3 
end

这会在 print(x) 处引发错误，因为在函数内部看不到全局 x inside。这是有道理的。

x = [1,2]
function someFn()
   print(x)
   x[1] = 4
end
print(x)

这里 print(x) 可以看到全局数组 x 和 x[1]=4 全局更改全局 x 的值。当我将 x 设为字典时，会观察到类似的行为。

三个问题

1. 变量/数组的这种行为及其在函数内的作用域是否与 Julia 的工作方式一致？
2. 当 x 是一个数组时，即使没有将引用作为输入传递给函数，它在函数内部也是可见的。这是正确的吗？
3. 此外，更改数组中条目的值会全局反映。是不是因为 Julia 在任何地方都将数组 x 视为引用？

Answer 1

让我评论一下我对这个问题的理解。

首先，变量名指向值。在变量名和值之间进行绑定的最基本方法是赋值形式：

variable_name = value

请注意，在= 的左侧，唯一存在的就是变量名，这一点至关重要。

（旁注：除了=之外，还有其他方法可以进行绑定，例如+=等或函数定义；但让我们在这里关注问题的核心）

现在，如果您看到=，这并不意味着它是一个创建新绑定的赋值。特别是：

variable_name[index] = value

不是赋值操作（创建新绑定）而是setindex! 操作。写variable_name[index] = value和写setindex!(variable_name, value, index是一样的。

（旁注：这是真的，除了一些特殊情况，例如处理begin 或end，由@view 宏处理等，但这在讨论中并不重要）

现在根据这些 cmets 直接回答您的问题：

变量/数组的这种行为及其在函数内的作用域是否与 Julia 的工作方式一致？

是的。但请注意，您会收到以下错误：

x = 1
function someFn()
   print(x)
   x = 3 
end

因为 Julia 知道 x = 3 存在于函数体中，这使得 Julia 甚至在绑定到值之前就知道 x 是一个局部变量（变量是局部的或全局的）。

这是一个更极端的例子：

julia> x = 10
10

julia> function f()
       if true
           println(x)
       else
           x = 5
       end
       end
f (generic function with 1 method)

julia> f()
ERROR: UndefVarError: x not defined

虽然我们知道else 之后的分支永远不会执行，但它仍然使变量x 成为本地变量。

当 x 是一个数组时，即使没有将引用作为输入传递给函数，它在函数内部也是可见的。这是正确的吗？

这是可见的，因为x[1] = 4 不会创建名为x 的局部变量，而只是对setindex! 函数的调用。所以本地没有定义x变量，所以使用了全局变量x。

此外，更改数组中条目的值会全局反映。是不是因为 Julia 在任何地方都将数组 x 视为引用？

这里一定要记住x 不是一个数组。它是一个绑定到数组的变量。然后，再次，x[1] = 4 与您编写 setindex!(x, 4, 1) 相同，因此您只需在变量 x 绑定到的值（本例中为数组）上调用函数。这是可行的，因为 Julia 中的作用域规则表明，如果作用域中没有给定名称的局部变量，则 Julia 会在全局作用域中搜索该名称。

最后让我评论一下，不鼓励在 Julia 中使用全局变量，因为这很慢。因此，尽管本次讨论与了解 Julia 的工作方式高度相关，但实际上您几乎不需要知道这一点（您将在 99.99% 的时间使用局部变量，如果您使用全局变量，则最好使用它们const）。