string vector怎么转成int vector

Question

在DolphinDB database中，假设我有下面一个string vector

a=("0001","002","003")

现在我想把它每个元素都转成int，我用下面代码

b=int(a)

执行后提示：Incompatible type. Expected: INT, Actual: STRING。
请问有什么简便的方法吗？

Answer 1

上面的例子之所以报错，是因为a是一个tuple，而不是一个常规的数组。有两种解决办法。
（1）将tuple改成array

a=["0001","002","003"]
b = a.int()

（2）高阶函数each和int函数配合使用

a=("0001","002","003")
b = each(int, a)`