Elixir：为生成器分配变量（变量范围？）答案

【问题标题】：Elixir: to assign variable in for generator(variable scope?)Elixir：为生成器分配变量（变量范围？）
【发布时间】：2018-02-06 07:21:50
【问题描述】：

我正在解决，find the largest prime factor of the number, Project Euler problem3。

按照 Elixir 代码抛出警告，我认为不要在 if block(assigning) 中进行评估：

num = 13195

range = num
         |> :math.sqrt
         |> Float.floor
         |> round

for dv <- 2..range do
  if rem(num, dv) == 0 and div(num, dv) != 1 do
    num = div(num, dv)
  end
end

num
|> IO.puts

警告是：

$ elixir 3.exs
warning: variable "num" is unused
  3.exs:10

warning: the result of the expression is ignored (suppress the warning by assigning the expression to the _ variable)
  3.exs:10

13195

$ elixir -v
Erlang/OTP 20 [erts-9.2] [source] [64-bit] [smp:4:4] [ds:4:4:10] [async-threads:10] [hipe] [kernel-poll:false] [dtrace]

Elixir 1.5.3

如何更新（分配）num？（以下 Python 和 Javascript 代码适用于相同的问题）：

# 3.py
from math import ceil, sqrt

num = 600851475143

for div in range(2, ceil(sqrt(num)) + 1):
    if num%div == 0 and num/div != 1:
        num /= div

assert int(num) == 6857

// 3.js
var num = 600851475143;

var range = Array.from({length: Math.trunc(Math.sqrt(num))}, (x, i) => i + 2)

for (const div of range) {
  if (num%div === 0 && num/div != 1) {
      num /= div;
  }
}

var assert = require('assert');

assert(num === 6857)

【问题讨论】：

在 Elixir 中，变量是不可变的。您可以将符号重新分配给新值，但不能更新正在枚举的变量的值。相反，您将更新的值（实际上是一个新变量）传递给函数。这就是 Enum.reduce 在 praise the sun 的回答中所做的。

标签： for-loop scope elixir variable-assignment

【解决方案1】：

您实际上是在创建一个新变量并从外部范围隐藏该变量

你可以这样重写

num = 13195

range =
  num
  |> :math.sqrt()
  |> Float.floor()
  |> round

num =
  2..range
  |> Enum.reduce(num, fn elem, acc ->
    if rem(acc, elem) == 0 and div(acc, elem) != 1 do
      div(acc, elem)
    else
      acc
    end
  end)

IO.puts num

更多关于阴影：

+------------------------------------------------------------+
| Top level                                                  |
|                                                            |
|  +------------------------+     +------------------------+ |
|  | Module                 |     | Module                 | |
|  |                        |     |                        | |
|  | +--------------------+ |     | +--------------------+ | |
|  | | Function clause    | |     | | Function clause    | | |
|  | |                    | |     | |                    | | |
|  | | +----------------+ | |     | | +----------------+ | | |
|  | | | Comprehension  | | |     | | | Comprehension  | | | |
|  | | +----------------+ | |     | | +----------------+ | | |
|  | | +----------------+ | | ... | | +----------------+ | | |
|  | | | Anon. function | | |     | | | Anon. function | | | |
|  | | +----------------+ | |     | | +----------------+ | | |
|  | | +----------------+ | |     | | +----------------+ | | |
|  | | | Try block      | | |     | | | Try block      | | | |
|  | | +----------------+ | |     | | +----------------+ | | |
|  | +--------------------+ |     | +--------------------+ | |
|  +------------------------+     +------------------------+ |
|                                                            |
+------------------------------------------------------------+

嵌套作用域中的任何变量，如果其名称与周围作用域中的变量一致，则该外部变量将被遮蔽。换句话说，嵌套范围内的变量会暂时将变量从周围的范围中隐藏起来，但不会以任何方式影响它。

source

【讨论】：

谢谢！学习使用reduce进行更新。顺便说一句，Elixir 变量在for（或包括所有do ~ end）范围内有界？