因为我想在 DOUBLE 向量中追加字符串，所以我想先将向量转成元组后再进行操作，请问需要怎么做？
(1) loop(asis, v)
(2) v $ ANY (使用 cast 函数)
其中方法二效率方法一高
