为何键表无法采用非键表的方式获取全列去重值？

这个问题的核心原因在于kdb+中键表（keyed table）和普通表（unkeyed table）的底层数据类型完全不同，?查询的distinct（1b）参数对这两种类型的处理逻辑天差地别。

首先得明确kdb+里键表的本质：键表并不是普通的表类型，它实际上是一个字典（dict，类型码99h）——其中键是一个子表，值是另一个子表。比如你定义的t:([a:1 2]b:3 4)，用type t查看会返回99h；而通过0!t转成非键表后，type会变成0h（普通表类型）。

接下来拆解?（select）函数的第三个参数（distinct标记）的作用：

• 当目标是普通表（0h类型）时，1b表示对整个表的行执行去重操作，kdb+明确知道如何遍历表的行、判断重复并返回唯一行。
• 但当目标是键表（字典类型）时，kdb+的distinct逻辑无法直接作用于字典结构。因为字典的核心是键值对映射关系，而distinct操作是为集合、列表这类可迭代的“序列型”结构设计的，字典不属于这类结构，所以会触发'type类型错误——简单说就是“你让我对一个字典去重，但我根本不知道该怎么处理这种类型”。

结合你的示例代码具体分析：

• ?t;();0b;() 正常运行：因为0b不需要去重，kdb+会自动把键表转换为普通表的形式返回结果，这是它默认的兼容处理逻辑。
• ?0!t;();1b;() 正常运行：0!t把键表强制转换为普通表（破坏了原有的键结构），此时目标变成了普通表类型，1b的去重逻辑可以正常工作。
• ?t;();1b;() 报错：直接对字典类型的键表调用去重，kdb+无法识别该操作的适用类型，因此抛出'type错误。

另外补充一个设计层面的点：键表的键本身是唯一的，所以键表的每一行天然就是唯一的（因为键不能重复），其实从设计逻辑上根本不需要执行去重操作——这也是kdb+没有为键表实现distinct查询的原因之一。

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