Dolphindb如何转换成Time类型,比如17转化为17:00:00

这种要如何转换成Time类型,比如17转化为17:00:00

请先 登录 后评论

2 个回答

Jax Wu

参考下面脚本

a = 17 15

a = string(a) + "0000"

temporalParse(a,"HHmmss");

请先 登录 后评论
Xiaohua Zhou

DolphinDB中的时间类型内部是用一个整型表示的。因此直接生成相应的整数,然后转化成相应的时间类型最为高效。

a = 17 15

second(a * 3600)

请先 登录 后评论