Q语言中Trap支持哪些函数？为何+、*可用而sqrt、exp不可用？

Trap（.运算符，即.[]）是Q语言中用于捕获函数调用错误的工具，能在函数调用失败时执行指定的错误处理逻辑。但实际使用中会发现，它对+、*这类二元函数正常工作，对sqrt、exp这类一元函数却表现异常。

现象展示 #

1. Trap对二元函数正常工作 #

以+函数为例，无论参数是否合法，Trap都能正确执行：

q).[+;"ab";`ouch]

`ouch

q).[+;4 2;`ouch]

6

2. Trap对一元函数异常 #

即使参数合法，使用sqrt、exp时Trap也会触发错误处理逻辑，甚至直接报错：

q).[sqrt;4f; 0N!"negative arguments"]
"negative arguments"
'type
  [0]  .[sqrt;4f; 0N!"negative arguments"]
       ^
q).[sqrt;4 16f; 0N!"negative arguments"]
"negative arguments"
"negative arguments"

q).[exp;4.0; 0N!"Error"]
"Error"
'type
  [0]  .[exp;4.0; 0N!"Error"]
       ^
q).[exp;4.0 34.2; 0N!"Error"]
"Error"
"Error"

3. 直接调用一元函数正常 #

直接调用sqrt、exp时，参数合法情况下完全正常：

q)sqrt 4f
2f
q)sqrt 4 16f
2 4f

q)exp 4.0
54.59815
q)exp 4.0 34.2
54.59815 7.126418e+014

原因 #

Trap的参数处理逻辑对一元函数有特殊要求：必须将参数包装为列表形式。对于二元函数，传入的参数列表（如4 2）正好对应函数的两个参数，符合Trap的预期；但对于一元函数，直接传入单个原子（如4f）或向量（如4 16f）时，Trap会将其视为多个参数传递给一元函数，导致参数数量不匹配，进而触发错误处理分支甚至报错。

解决方法：用enlist包装参数 #

将一元函数的参数用enlist转为单元素列表，让Trap正确识别为单个参数传递给函数，此时只有当函数真正执行出错时才会触发错误处理：

q).[sqrt;enlist 4f; {0N!"negative arguments"}]
2f

q).[exp;enlist 4.0; {0N!"Error"}]
54.59815

q).[exp;enlist 4.0 2.3; {0N!"Error"}]
54.59815 9.974182

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