字符串"1%2"把其中的%替换为x， ${a/%/x} 这个表达式结果不对，原因是啥了啊？

$ a=1%2;echo ${a/%/x};echo ${a/"%"/x};echo ${a/\%/x};echo ${a//%/x}
1%2x
1x2
1x2
1x2
--
FROM 202.99.195.*