Comment puis-je modifier le répertoire de travail actuel en Java ?

Changer le répertoire de travail actuel en Java : une énigme persistante

Malgré la commodité de récupérer le répertoire de travail actuel via System.getProperty de Java ( "user.dir"), les tentatives de modification se sont révélées vaines. La définition de "user.dir" via System.setProperty() ou des arguments de ligne de commande tels que "java -Duser.dir=..." échoue silencieusement, laissant le répertoire inchangé.

Fichier de Java (String parent, String child) offre une solution de contournement en permettant la construction séparée des chemins de répertoire et de fichier. Cela permet un échange plus facile des chemins de répertoire.

Au lieu d'une solution Java pure, on pourrait recourir à des approches alternatives :

• Créez un script pour exécuter Java à partir du répertoire souhaité.
• Utilisez le code natif JNI pour manipuler le répertoire de travail au niveau du système.

Il est à noter qu'un Le bogue OpenJDK lié à ce problème a été résolu en 2008 car « ne sera pas résolu », indiquant que Java n'offre peut-être pas un moyen fiable de modifier le répertoire de travail.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!