它如何解析 If 语句中括号内的空格

Question

我知道 Tcl 中的 if 语句需要大括号{ }而不是括号( )。

但是，以下（错误的）代码打印"Aha!"，因为 Tcl 似乎能够正确解释 if 条件：

set flow_control 1
if ($flow_control==1) {
    puts "Aha!"
}

然而，以下（带空格）因表达式"（1"）中的不平衡开放参数"而失败

set flow_control 1
if ($flow_control == 1) {
    puts "Aha!"
}

当然，使用带或不带括号

、带或不带空格的大括号都可以：

set flow_control 1
if {$flow_control == 1} {
    puts "Braces rule!"
}

我的问题是，为什么第二种情况会失败？

Donal Fellows 对 TCL 中 if 语句的回答清楚地解释了大括号和括号之间的区别，但我无法弄清楚为什么空格会导致第二个块失败。

Answer 1

大括号是一种引用机制，将多个单词组合成一个单词。参考 12 条语法规则

请仔细注意 if 命令的语法：

if expr1 ?then? body1 elseif expr2 ?then? body2 elseif ... ?else? ?bodyN?

expr1必须是一个单词。

由于大括号，{ $foo == $bar }是一个单词

($flowcontrol == 1)没有大括号或双引号，因此解析为 3 个单独的单词。第一个单词的变量被展开，然后这个单词被赋予if作为expr1，(1不是一个有效的表达式。

没有空格($flowcontrol==1)是一个词。变量被展开，然后(1==1) - 一个有效的表达式 - 被赋予if 。