Tcl的变量没有类型(除了他们是否真的变量的关联数组 - 即使用$foo(bar)语法 - FO r你使用array exists)但Tcl的值。好吧，有点。 Tcl可以在不同类型之间进行变异，因为它认为合适，并且不公开这些信息[*];你所能做的就是检查一个值是否符合特定的类型。

这种一致性检查与完成string is(在您需要的-strict选项，丑陋的历史原因)：

if {[string is integer -strict $foo]} {

puts "$foo is an integer!"

}

if {[string is list $foo]} { # Only [string is] where -strict has no effect

puts "$foo is a list! (length: [llength $foo])"

if {[llength $foo]&1 == 0} {

# All dictionaries conform to lists with even length

puts "$foo is a dictionary! (entries: [dict size $foo])"

}

}

请注意，所有值符合字符串类型; Tcl的值是总是可序列化。对于JSON序列化，可以使用肮脏的黑客来产生一个“正确的”序列化(严格地说，从Tcl的角度来看，所有东西都是正确的，但这对其他语言并不完全有帮助)与Tcl 8.6。代码要做到这一点，原本张贴在Rosetta Code是：

package require Tcl 8.6

proc tcl2json value {

# Guess the type of the value; deep *UNSUPPORTED* magic!

regexp {^value is a (.*?) with a refcount} \

[::tcl::unsupported::representation $value] -> type

switch $type {

string {

# Skip to the mapping code at the bottom

}

dict {

set result "{"

set pfx ""

dict for {k v} $value {

append result $pfx [tcl2json $k] ": " [tcl2json $v]

set pfx ", "

}

return [append result "}"]

}

list {

set result "\["

set pfx ""

foreach v $value {

append result $pfx [tcl2json $v]

set pfx ", "

}

return [append result "\]"]

}

int - double {

return [expr {$value}]

}

booleanString {

return [expr {$value ? "true" : "false"}]

}

default {

# Some other type; do some guessing...

if {$value eq "null"} {

# Tcl has *no* null value at all; empty strings are semantically

# different and absent variables aren't values. So cheat!

return $value

} elseif {[string is integer -strict $value]} {

return [expr {$value}]

} elseif {[string is double -strict $value]} {

return [expr {$value}]

} elseif {[string is boolean -strict $value]} {

return [expr {$value ? "true" : "false"}]

}

}

}

# For simplicity, all "bad" characters are mapped to \u... substitutions

set mapped [subst -novariables [regsub -all {[][\u0000-\u001f\\""]} \

$value {[format "\\\\u%04x" [scan {& } %c]]}]]

return "\"$mapped\""

}

警告：不支持上面的代码。这取决于肮脏的黑客。它很容易在没有预警的情况下突破。 (但是它不工作。移植到Tcl的8.5将需要一个微小的C扩展到读出的类型的注释。)

[*]严格，但它用于发现当前类型注释提供一个不支持的接口的价值为8.6 - 作为::tcl::unsupported::representation的一部分 - 但该信息采用刻意的人类可读形式，如有更改，恕不另行通知。它用于调试，而不是代码。而且，Tcl在内部使用相当多的不同类型(例如，，缓存的命令和变量名称)，在正常情况下你不想探测;事情是引擎盖下相当复杂的...