在GAWK中扫描数组的所有元素会返回数字而不是值

Given the following function:

鉴于以下功能:

function process_pipes(text)
{
    split(text,recs,"|");
    for (field in recs){
        printf ("|%s|\n", field)
    }
}
funct