为什么不能从一个键表中选择

Question

如果我将键表分解为键值对并将它们组合在一起，则查询结果看起来不错: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错误来自哪里?

Answer 1

对我们期望的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)的字典，而不是表(type 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