ユーザーが引数として「~」を入力するたびに、私のプログラムはこれを System.getProperty("user.home") に置き換えます。
デバッグ後、これにより「~」が「C:/Users/SoulBeaver」ではなく「C:UsersSoulBeaver」に置き換えられていることがわかります。
間違ったuser.homeフォルダーに関する以前の質問を調べたところ、Java がパスを取得しようとしていることがわかりました。
HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Explorer\Shell Folders\
ただし、私は Windows 8 を使用していますが、何も問題はないようです。
この時点で、私はJavaがバックスラッシュを「食べる」と仮定しています...では、どうすればそれを防ぐことができますか?
アップデート
コードがリクエストされたので、ここにあります。これは、Allen Holub のSolving Java's Configuration Problemからの抜粋です。
/**
* For every enum element in the array, treat keys[i].name() as a key
* and load the associated value from the following places (in order):
*
* <ol>
* <li>a -D command-line switch (in System properties)</li>
* <li>if no -D value found, an environment variable with the same name as the key</li>
* <li>if no environment found, the default stored in the Enum element itself</li>
* </ol>
*
* That value must identify an existing directory in the file system, and a
* File representing that location can be retrieved from {@link #directory(Enum)}.
*
* @param keys The values() array associated with the enum that's using this class.
* @throws IllegalStateException if a given key doesn't have a value associated with it
* or if that value doesn't identify an existing directory.
*/
public LocationsSupport(T[] keys) throws IllegalStateException {
StringBuilder logMessage = new StringBuilder("Loaded environment/-D properties:\n");
try {
for (T element : keys) {
String how = "???";
String key = element.name();
String value;
if ((value = System.getProperty(key)) != null)
how = "from system property (-D)";
else if ((value = System.getenv(key)) != null)
how = "from environment";
else if ((value = element.defaultValue()) != null)
how = "from default. Mapped from: " + value;
if (value != null)
value = value.replaceAll("~", System.getProperty("user.home"));
if (value == null || value.isEmpty())
throw new IllegalStateException("Value for " +key +" cannot be null or empty.");
File location = new File(value);
createLocationIfNecessary(location, element.createIfNecessary());
if (!location.isDirectory())
throw new IllegalStateException("Location specified in "
+key
+" (" +asString(location) +") "
+"does not exist or is not a directory.");
dictionary.put(key, location);
logMessage.append("\t");
logMessage.append(key);
logMessage.append("=");
logMessage.append(asString(location) );
logMessage.append(" (");
logMessage.append(how);
logMessage.append(")\n");
}
} finally {
if (log.getAllAppenders() instanceof NullEnumeration)
System.err.println(logMessage);
else
log.info(logMessage);
}
}
CONFIG のデフォルトの場所を見つけようとして失敗しています。
public enum Places implements Locations {
CONFIG ("~/config"),
HOME ("~"),
TMP ("~/tmp", true),
TERM_STORE ("~/tmp/indices/term_store/", true),
RESOURCE_STORE ("~/tmp/indices/resource_store/", true),
PERSON_STORE ("~/tmp/indices/person_store/", true);
Java 1.7.0_13とIntelliJ IDEA 12.1.3を使用しています