在解释这个例子之前，我先讲两个知识点。

第一个知识点很重要。我在前面讲变量和常量的时候说过，Julia 中其实没有任何一个标识符的作用域可以是真正全局的。对于 Julia，所谓的“全局”只是针对于某个模块而言的。Julia 里根本就不存在能够跨越多个模块的（更别提跨越全部模块的）纯粹的全局作用域。即使是被直接定义在Core模块中的那些程序定义，也是由于 Julia 进行了特殊的处理，才使得它们的作用域看起来像是真正全局的。

在 Julia 程序的上下文中，如果一个变量、常量或者类型等被直接定义在了某个模块当中，那么它们就可以被称为全局程序定义，它们的作用域就是 Julia 所说的全局作用域。但是，你一定要清楚，这里的“全局”的真正含义。

第二知识点很简单。我在讲变量和常量的时候也说过，我们在 REPL 环境中输入的代码默认都属于Main模块。因此，把这两点综合起来看，我们在 REPL 环境中直接定义的变量、常量、类型、结构体、有名函数等就都属于全局程序定义，而它们的作用域则都是全局作用域。

现在，基于这两点以及之后的结论，我们再来看上面的示例。

我先定义了一个全局的变量num，并把0赋给了它。在它下面，与while关键字处于同一行的就是这条while语句的条件表达式，即：num <= 9。

在该while语句刚开始执行的时候，Julia 会先对它的条件表达式进行求值。只要其求值结果为true，此while语句中的子语句就会被执行。在这之后，每当该while语句中的子语句被完整地执行一遍，它的条件表达式就会被重新求值一次。如果其求值结果依然为true，那么那些子语句就会被再次执行。这就是所谓的循环。直到这个条件表达式的求值结果变为false，这条while语句所代表的循环才会结束。

我们再来看这条while语句中的子语句组。我先试图把变量num的值加1，之后又打印了该变量的值和必要的间距。在这里，我使用了一个我们还未曾用到过的关键字global。

即使我们把num += 1替换成一条肯定合法的语句，如num = 10，若不在这里添加也是不妥的。代码如下（看看就可以了，不要去尝试执行它）：

因为，如此一来就会出现这种情况：虽然我们在while语句的子语句组中定义了局部变量num，但是在其条件表达式中引用的依然是全局变量num。显然，我们为局部变量num赋值并不会影响到全局变量num。因此，这个循环会一直执行下去。倘若我们不采取任何的措施（如杀掉进程），那么它就永远不会结束。这就是一个简单的死循环！

这种行为是由上面这段代码的编写方式决定的。而且，我们只有在定义一个变量或者给一个变量赋值的时候才能添加像global这样的关键字。所以这个问题没有其他更好的解决方案。我在前面使用的语句global num += 1其实就是最优的。请记住，若想在局部的作用域中为全局的变量赋值，那么就一定要在该变量的左边添加global。

既然我们讲到了global这个关键字，那我就再说一下与之相对应的关键字local。与global正好相反，local会让 Julia 认为处于该关键字右边的标识符指代的是一个在当前作用域之下的局部变量。

local的适用场景没有global广泛。不过，对于嵌套在一起的局部作用域而言，它还是很有用的。请看下面的示例：

这段代码包含了一个两层的循环。这两层循环都是用while语句实现的。同时，它们也代表了两个嵌套在一起的局部作用域。

可以看到，循环中引用的num仍然是一个全局变量。外层循环的条件是num小于9，而内层循环的条件是num不能被2整除。而且，无论是哪一层循环，都会在当前的条件满足的情况下对num进行加1的操作。

此外，我在外层的循环里还定义了一个局部的变量sign。并且，我在内层的循环中还引用了这个局部变量，并对它进行了重新赋值。这个局部变量代表了我们在每一次外层迭代的最后将要打印的内容。你肯定也发现了，每当外层的迭代即将完成的时候，变量sign的值都会与num的值相等。其实，我在这里添加这个局部变量只是为了体现local的用法和作用。

可以看到，在我添加了local之后，这段代码打印出了10以内的所有正奇数。

让我们来一起分析一下原因。我刚刚说过，关键字的作用是，让 Julia 认为处于该关键字右边的标识符指代的是一个在当前作用域之下的局部变量。因此，在这个local右边的sign就会被视为一个在内层的while语句中定义的局部变量。以下简称这个sign为内层的sign。显然，这个内层的sign与在外层的while语句中定义的那个sign（以下简称外层的sign）就不再是同一个变量了。又由于我对内层sign的赋值肯定不会影响到外层sign的值，所以外层迭代打印出的内容才都会是奇数。这就是local关键字对这段代码的实际影响。

关键字local可以把一个原本引用自外层局部作用域的变量变成一个仅属于当前作用域的新变量。这是对重名变量的另一种解法。但它可以解决的只是在多个嵌套在一起的局部作用域当中出现重名变量的问题。别忘了，在默认的情况下，Julia 会让同名的局部变量遮蔽掉那个对应的全局变量。所以，在这里并不会涉及到（也用不着涉及到）全局作用域。

反观关键字global，它面向的则是在某个局部作用域和全局作用域当中出现重名变量的问题。它的添加会改变 Julia 的默认行为，让当前作用域下的标识符不再代表一个新的变量，而是代表同名的全局变量。

由于while语句的编写特点，global往往会在这种语句中经常出现。然而，local在while语句中出现的次数就明显少了许多。原因是，我们通常很少会编写拥有很多层的嵌套循环。即使编写了这样的代码，我们一般也不会写出重名的局部变量。因为这么做会大大降低代码的可读性，同时还会加重我们自己的心智负担。

最后，顺便说一下，我们在while语句中也可以使用break语句和continue语句。而且，它们在这里的用法和作用与在for语句中的没有什么两样。但特别的是，当我们仅仅把true作为while语句的条件表达式时，break语句的加入就显得尤为重要了。例如：

很显然，如果上面这条while语句中没有break语句，那么它就将形成一个死循环！在绝大多数情况下，这都不会是我们的意愿。实际上，对于几乎所有的while语句，我们都应该考虑清楚并实现好它的结束机制。

现在总结一下。while语句也可以被用来实现循环。它总是需要携带一个条件表达式，用于控制循环的启停。在这里，我们需要特别注意变量的作用域问题。由于我们经常需要在while语句的条件表达式和子语句组中引用外界的变量，所以在编写它的时候还是需要考虑得更周到一些的。在必要的时候，我们可以借助关键字global或来辅助控制变量的定义或引用。