你说的刷新是指的flush方法么?
其实关于Properties与文件的操作其实jdk中已经为我们封装好了,
我们拿来用就可以了,其内部实现的方法是通过缓冲流store0方法实现的:- private void store0(BufferedWriter bw, String comments, boolean escUnicode)
- throws IOException
- {
- if (comments != null) {
- writeComments(bw, comments);
- }
- bw.write("#" + new Date().toString());
- bw.newLine();
- synchronized (this) {
- for (Enumeration e = keys(); e.hasMoreElements();) {
- String key = (String)e.nextElement();
- String val = (String)get(key);
- key = saveConvert(key, true, escUnicode);
- /* No need to escape embedded and trailing spaces for value, hence
- * pass false to flag.
- */
- val = saveConvert(val, false, escUnicode);
- bw.write(key + "=" + val);
- bw.newLine();
- }
- }
- bw.flush();
- }
复制代码 可以看到最后已经调用了flush方法,将内存中的数据写入到文件了 |