一个简单的json字符串转义函数

  protected String jsonEscape(String val){
        StringBuilder builder=new StringBuilder();

        for(int i=0;i<val.length();++i){
            char c=val.charAt(i);
            switch (val.charAt(i)){
                case '\r':builder.append("\\r");break;
                case '\n':builder.append("\\n");break;
                case '\t':builder.append("\\t");break;
                case '\b':builder.append("\\b");break;
                case '\0':builder.append("\\0");break;
                case '\f':builder.append("\\f");break;
                case '"':builder.append("\\\"");break;
                case '\\':builder.append("\\\\");break;
                case '/':builder.append("\\/");break;
                default:
                    builder.append(c);
            }
        }
        return builder.toString();
    }

用于手工拼接json对象