在DolphinDB database中，假设我有下面一个string vector
a=("0001","002","003")
现在我想把它每个元素都转成int，我用下面代码
b=int(a)
执行后提示：Incompatible type. Expected: INT, Actual: STRING。请问有什么简便的方法吗？
上面的例子之所以报错，是因为a是一个tuple，而不是一个常规的数组。有两种解决办法。（1）将tuple改成array
a=["0001","002","003"] b = a.int()
（2）高阶函数each和int函数配合使用
a=("0001","002","003") b = each(int, a)
