java.io.File#mkdir()の返り値

仕様:java.io.File#mkdir()で、コマンド実行時に既に同名のディレクトリが存在していた場合の返り値は"false"

前回のエントリ(GridBagLayoutのweightx, weightyフィールドの仕様)と同様、これも単なる覚え書き。

Javadoc(java.io.File#mkdir())には、ディレクトリが生成された場合は true、そうでない場合は falseという記述しかないので、「既に存在する場合はどうなんだ」という点が気になっていたので確かめた。

(※ただし、他のAPI経由で呼んだ返り値なので、直で呼んだ時の返り値である保証はない)

とりあえず、これは普通に読むと、返り値は「生成されたかどうか」であり、「実行の結果存在するかどうか」ではないように読めるが、まさにその通りの動きをしているらしい。

「存在するかどうかは」に関しては、java.io.FIle#exists()があるので、ほとんど間違いないだろう。