我有以下代码:
private static final String PATTERN = "file_%d.txt";
int no; // 1-3
String filename = String.format(PATTERN, no ,Locale.US);
Run Code Online (Sandbox Code Playgroud)
后来我得到一个例外说
java.io.FileNotFoundException: file_?.txt
Run Code Online (Sandbox Code Playgroud)
这表明%d被替换为阿拉伯数字.如果我明确指定Locale.US,那该怎么办?