我在表列中有，类型是CHARACTER VARYING[](即数组)
我需要将已有的行与其他数组连接起来
这是我的代码:
UPDATE my_table SET
col = array_cat(col, ARRAY['5','6','7'])
返回错误:function array_cat(character varying[], text[]) does not exist
错误的原因是数组类型不匹配，对吗？
问题:如何将这个数组ARRAY['5','6','7']转换为CHARACTER VARYING[]类型？
投到varchar[]:
> SELECT ARRAY['5','6','7']::varchar[], pg_typeof( ARRAY['5','6','7']::varchar[] );
SELECT ARRAY['5','6','7']::varchar[], pg_typeof( ARRAY['5','6','7']::varchar[] );
array | pg_typeof
---------+---------------------
{5,6,7} | character varying[]
您可以使用PostgreSQL专用::varchar[]或标准CAST(colname AS varchar[])...虽然数组在数据库实现中并不一致，但使用标准语法并没有多大优势.