5

Android SDK docrenameTo(File)のドキュメントFile.classを読んでいます。

本番環境でしばらくこの方法を使用してきましたが、何が問題になる可能性があるのか​​ 疑問に思っていました. ドキュメントによると

このファイルの名前を newPath に変更します。この操作は、ファイルとディレクトリの両方でサポートされています。

多くの失敗が可能です。より可能性の高い失敗には、次のようなものがあります。

  • ソース パスと宛先パスの両方を含むディレクトリに対する書き込み権限が必要です。

  • 両方のパスのすべての親に対して検索権限が必要です。

  • 両方のパスが同じマウント ポイントにあります。Android では、アプリケーションが内部ストレージと SD カードの間でコピーしようとすると、この制限にヒットする可能性が最も高くなります。このメソッドは、失敗時に IOException をスローしないことに注意してください。呼び出し元は戻り値を確認する必要があります。

失敗する可能性がある他の考えられる理由は何ですかrenameTo()(より可能性の高い失敗を参照)? 呼び出し後の保証状態はありrenameToますか？失敗したrenameTo()場合、元のファイルが残っていることに頼ることはできますか? ドキュメントに記載されているものとは別に、それが機能することを確認したい他の条件はありますか?

4

3 に答える 3

3

リストされている 3 つは、失敗する可能性が高いものです。可能性が低い (可能性はありますが!) 失敗には次のものがあります。

  • ユーザー エラー (たとえば、ソースがファイルで宛先が既存のディレクトリである、またはその逆)
  • デバイスに空き容量がありません
  • 読み取り専用でマウントされたファイル システム
  • 破損したファイル システム
  • 回転ディスクの不良セクタ
  • ...

Android は Linux に基づいているため、おそらくこれらに頼ることができます。

  • 名前の変更に失敗した場合、両方のファイルがそのまま残ります
  • 宛先ファイルが存在し、名前の変更が成功した場合、プロセスが宛先ファイルの欠落を検出することはありません (置換はアトミックです)。
于 2013-08-21T23:45:56.327 に答える
2

Android では File.renameTo が Linux rename() を呼び出します (libcore 経由)。考えられる障害のリストについては、 POSIX 標準を確認できます。Linux ではわずかに異なる場合がありますが、一般的なアイデアを得ることができます。

次のステートメントにも注意してください。

rename() 関数が [EIO] 以外の理由で失敗した場合、new で指定されたファイルは影響を受けません。

于 2013-08-21T23:44:51.240 に答える
1

For the reason that I don't know, it's not possible to use file.rename() to move files between to different mounted directory in Android (like sdcard0 and sdcard1), here is my solution and it work for me:

if(canRename(f1, f2)) {
    if(!f1.renameTo(f2)) {
        Log.e(TAG, "Error to move new app: " + f1 + " > " + f2);
    }
} else {
    try {
        copy(f1, f2);
        f1.delete();
    } catch (Exception ex) {
        Log.e(TAG, "Error to move new app: " + f1 + " > " + f2);
    }
}

private void copy(final File f1, final File f2) throws IOException {
    f2.createNewFile();

    final RandomAccessFile file1 = new RandomAccessFile(f1, "r");
    final RandomAccessFile file2 = new RandomAccessFile(f2, "rw");

    file2.getChannel().write(file1.getChannel().map(FileChannel.MapMode.READ_ONLY, 0, f1.length()));

    file1.close();
    file2.close();
}

private boolean canRename(final File f1, final File f2) {
    final String p1 = f1.getAbsolutePath().replaceAll("^(/mnt/|/)", "");
    final String p2 = f2.getAbsolutePath().replaceAll("^(/mnt/|/)", "");

    return p1.replaceAll("\\/\\w+", "").equals(p2.replaceAll("\\/\\w+", ""));
}
于 2013-11-14T09:49:13.270 に答える