tcl - Tcl 脚本中错误的静态检测

Question

我已经开发了一些代码，但我在 Linux 机器上遇到了 Tcl 解释器的错误标记问题。

#!/usr/bin/tclsh
if {1} {
  puts "abc1"
} elseif {} {
  puts "abc2" 
}

上面的代码没有标记 "elseif" 的错误状态直到它进入 elseif健康)状况。
有什么办法可以检查这种无意中出现的拼写错误。

Answer 1

Tcl 在编译时没有发现错误，并且在上面的示例中它可以确定它永远不需要检查 elseif首先是条款；它只是首先发出 puts直接地。

现在，在存在非平凡的第一个条件的情况下，elseif 中的错误就是这种情况。表达式在达到之前不会被报告。这就是 Tcl 的语义——尤其是 if命令 — 已定义；在执行命令时报告评估中的错误(与粗略的主要语法相反)。我能理解您对此的不满，并建议您查看 Tcler's Wiki page在静态语法分析工具上，它可以为您标记潜在的问题(在几乎总是正确的非常温和的假设下)。特别是，我听说了关于Frink的好消息。和 the checker tool in TDK (后者是商业工具，但质量非常高)。