问题描述
如果我将键表分解为键值对并将它们组合在一起，查询结果看起来不错：key!value。但是直接选择它会出错。我以一种有点奇怪的方式构造了那个键控表：
q)show t:([n:1 2] m:(`a`b!3 4;`a`b!5 6));
n| m
-| --------
1| `a`b!3 4
2| `a`b!5 6
q)t[;`m]
n| a b
-| ---
1| 3 4
2| 5 6
q)select from (key t[;`m])!value t[;`m]
n| a b
-| ---
1| 3 4
2| 5 6
q)select from t[;`m]
'type
[0] select from t[;`m]
^
这个 'type 错误来自哪里？
解决方法
对我们期望的 t[;`m] 进行精确匹配表明有些事情发生了。如果我们解构和重建，我们就会得到它们相等。
q)([n:1 2]a:3 5;b:4 6)~t[;`m]
0b
q)([n:1 2]a:3 5;b:4 6)~{key[x]!value x}t[;`m]
1b
我们可以使用 -8! 从内部字节表示中获取线索，遗憾的是没有很好的文档记录。似乎这些值被表示为字典的一般列表（类型 0h => 0x00）而不是表（类型 98h => 0x62）。
q)-8!`a`b!3 4
0x0100000029000000630b00020000006100620007000200000003000000000000000400000000000000
q)-8!t[;`m]
0x0100000078000000636200630b00010000006e0000000100000007000200000001000000000000000200000000000000000002000000630b00020000006100620007000200000003000000000000000400000000000000630b00020000006100620007000200000005000000000000000600000000000000
q)-8!([n:1 2]a:3 5;b:4 6)
0x010000006f000000636200630b00010000006e00000001000000070002000000010000000000000002000000000000006200630b0002000000610062000000020000000700020000000300000000000000050000000000000007000200000004000000000000000600000000000000