public static String filtString(String s)
{
s = s.replaceAll("\\\\","");
char c[] = s.toCharArray();
for (int i = 0; i < c.length; i++)
{
if (c[i] == ' ')
{
c[i] = '\u3000';
}
else if (c[i] < '\177')
{
c[i] = (char) (c[i] + 65248);
}
}
return new String(c);
}
取消转义,并把字符串中全部半角字符转为全角字符