为何Tcl中用==比较数字字符串后SQL的CAST无法还原原字符串？

核心原因 #

Tcl是动态类型语言，但每个变量会同时存储字符串表示和内部优化表示（如整数、浮点数）。当你用expr {$id_1 == $id_2}时，==是数值比较运算符，会触发Tcl将变量的内部表示转为整数类型（00000被解析为整数0）。

虽然puts输出时会优先调用变量最初的字符串表示（所以你看到的还是00000），但Tcl的SQLite扩展在绑定参数时，会优先读取变量的内部数值表示，导致传给SQL的是整数0，CAST为text后自然变成"0"。

而用eq做比较时，eq是字符串比较运算符，不会触发数值转换，变量的内部表示保持为字符串，所以SQL绑定后CAST结果正常。

能否用SQL修正？ #

不行。因为SQL接收到的参数已经是整数0，而非原字符串00000，SQL层面无法还原丢失的前导零。

解决办法 #

1. 规范字符串比较：始终用eq/ne比较字符串，避免使用==/!=（这些是数值比较运算符）
2. 重置变量类型：如果已经误操作了==，可以通过重新赋值字符串强制变量回到字符串类型：

   set id_1 "$id_1" ;# 强制变量存储字符串表示
   

3. 显式字符串绑定：在SQL绑定前，确保参数以字符串类型传递，比如用字符串包裹变量后再绑定：

   puts [db one {select json_object(
      'id_1',cast(:id_1 as text),
      'id_2',cast(:id_2 as text)
   )} [list :id_1 "$id_1" :id_2 "$id_2"]]
   

验证代码（基于你的示例） #

package require sqlite3
sqlite3 db ":memory:"

# 初始状态：变量为字符串
set id_1 00000
set id_2 00000
puts [db one {select json_object('id_1',cast(:id_1 as text),'id_2',cast(:id_2 as text))}]
# 输出：{"id_1":"00000","id_2":"00000"}

# 用==触发数值转换
puts [expr {$id_1 == $id_2}]
# 输出：1

# puts仍显示原字符串，但变量内部已转为整数
puts "id_1 $id_1 id_2 $id_2"
# 输出：id_1 00000 id_2 00000

# 此时SQL绑定的是整数0
puts [db one {select json_object('id_1',cast(:id_1 as text),'id_2',cast(:id_2 as text))}]
# 输出：{"id_1":"0","id_2":"0"}

# 修复：重置变量为字符串
set id_1 "$id_1"
set id_2 "$id_2"
# 再次SQL查询恢复正常
puts [db one {select json_object('id_1',cast(:id_1 as text),'id_2',cast(:id_2 as text))}]
# 输出：{"id_1":"00000","id_2":"00000"}

# 用eq比较的正确示例
set id_3 00000
set id_4 00000
puts [expr {$id_3 eq $id_4}]
# 输出：1
puts [db one {select json_object('id_3',cast(:id_3 as text),'id_4',cast(:id_4 as text))}]
# 输出：{"id_3":"00000","id_4":"00000"}

内容的提问来源于stack exchange，提问作者Gary