0

这甚至不会发出警告：

xquery version "3.1";
let $a := 1
let $a := 2
return $a
(: yields 2 in all runtimes I tested :)

为什么（函数式）编程语言允许变量重新声明？我真的只是想了解它背后的理由。我相信，通过在编译步骤拒绝这一点可以进行一些更积极的优化。由于子作用域也知道局部变量，这只会为难以捕捉错误留下更多空间。JavaScript 多年来一直存在这个问题，并最终通过引入和var来摆脱它。letconst

这是一个可能难以跟踪值的示例。

xquery version "3.1";
let $f := function ($c) {
  (: some code ... :)
  let $b := $a
  let $a := 2
  let $c := $b
  (: some more code ... :)
  return ($a, $b, $c)
}
let $a := 1
return ($a, $f($a), $a)

在评估它之前，您可能想先猜测一下。

4

1 回答 1

1

“为什么”的问题总是很困难，因为你可以猜到设计师为什么会做出他们所做的决定，但通常不可能获得他们推理的历史证据。如果你想研究历史，工作组的档案可以在https://lists.w3.org/Archives/Public/public-xsl-query/上找到——但是搜索工具不是特别好，所以你会完成你的工作。但即使你在会议记录中找到相关讨论，它也可能只记录决定，而不是详细的论点。

XSLT 1.0 不允许重新声明局部变量，我似乎记得 XSL 人通常反对允许它，而 XQuery 人通常赞成。两种方式都有争论。允许它的主要论据可能是“没有不必要的限制”论点：如果它具有明确定义的语义，您就不会禁止它。不允许它的理由是人们可能会误用和误解它；他们认为如果两个变量具有相同的名称，则它们一定是相关的。

Javascript 类比并不是一个特别好的类比，因为过程语言中的变量与函数语言中的变量有很大不同。

许多其他语言允许两个局部变量具有相同的名称，只要它们具有不同的范围。

于 2020-04-26T20:16:12.290 回答