I have the following code:
private static final String PATTERN = "file_%d.txt";
int no; // 1-3
String filename = String.format(PATTERN, no ,Locale.US);
后来我遇到了一个异常,错误信息如下:
java.io.FileNotFoundException: file_٣.txt
这说明%d被阿拉伯数字替换了。如果我明确指定Locale.US,那怎么可能呢?