如何调用awk中的split函数将字符串拆分为"\."？

Question

如何使用该split功能拆分"\."？

例如,首先考虑拆分::

echo "03:26:12" | awk '{split($0,a,":"); print a[3] a[2] a[1]}'

哪个产生这个输出:

122603

但是如果传入的字符串是:

echo "03\.26\.12" | awk '{split($0,a,???); print a[3] a[2] a[1]}'

具有所需的输出:

122603

应该???是什么？

Answer 1

你必须逃避两个角色:

echo "03\.26\.12" | awk '{split($0,a,/\\\./); print a[3] a[2] a[1]}'

结果:

122603