Tcl API中SQLite的':'式参数替换：整数为何被识别为字符串？

问题的核心出在Tcl的动态类型特性和SQLite Tcl绑定的参数传递规则上：

为什么大括号定义SQL时参数会被当字符串处理？ #

Tcl是弱类型语言，变量的类型由内部存储决定，而非字面内容。比如直接set selEnd "800"时，变量类型是字符串；但用set selEnd [expr {799+1}]时，expr返回整数类型，变量就会被存储为整数。

当用大括号包裹SQL语句时，Tcl不会解析括号内的内容，:selEnd作为SQLite的命名参数，由SQLite的Tcl绑定负责替换。绑定会严格按照Tcl变量的内部类型传递参数：

• 变量是字符串类型，就以SQLite的TEXT类型传递；
• 变量是整数类型，就以INTEGER类型传递。

为什么条件会始终为真？ #

SQLite在比较不同类型的值时，遵循特定转换规则：当整数和字符串比较时，若参数是字符串类型，SQLite会把整数表达式的结果转成字符串，再按字符串字典序比较。

比如p.char_len + p.char_bgn计算出1000（整数），转成字符串是"1000"，和字符串"800"比较时，字典序里"1000"的第一个字符'1'小于'8'，会判定1000 <= "800"成立——不管实际数值多大，最终都会返回所有行。

而你用以下方式能正常工作的原因：

• [expr {799+1}]赋值：expr返回整数类型，变量存储为整数，参数传递时是INTEGER类型，SQLite直接按数值比较；
• SQLite CLI/Fiddle中.param set：CLI里指定的参数默认按数值类型处理；
• 双引号+$selEnd：相当于把变量值直接拼入SQL语句，生成... <= 800，SQLite解析为整数字面量，自然按数值比较。

解决办法 #

• 强制转换Tcl变量类型：把字符串类型的变量转成整数后再传入，比如：

  set selEnd "800"
  # 用scan转成整数
  scan $selEnd %d selEnd
  # 或者用expr转换
  set selEnd [expr {$selEnd}]
  

• 在SQL中显式转换参数：在条件里把参数强制转成整数，避免类型转换歧义：

  SELECT * FROM your_table WHERE p.char_len + p.char_bgn <= CAST(:selEnd AS INTEGER)
  

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