LibGDX 파일 핸들 : 파일의 이름을 변경하면 내가 <p><code>FileHandle#moveTo(FileHandle dest)</code></p> <p>그것은 대부분의 경우 잘 작동</p>을 사용하여 파일의 이름을 변경하려면 파일

Question

을 삭제합니다. 그러나 예를 들어 파일 "abc"에서 "ABC"로 이름을 바꾸려고하면 파일이 삭제됩니다. 필자는 파일 이름이 insensitve라는 문제가 있다고 생각합니다 (최소한 Desktop, Windows에서는). 이 (코드에서 나는 왼쪽 주석) 위에서 언급 한 방법의 구현 :

public void moveTo (FileHandle dest) { 
    if (type == FileType.Classpath) throw new GdxRuntimeException("Cannot move a classpath file: " + file); 
    if (type == FileType.Internal) throw new GdxRuntimeException("Cannot move an internal file: " + file); 
    copyTo(dest); // file is not copied into another file, since "abc" file is the same as the dest "ABC" file 
    delete(); // and here the "original" file is deleted, but in this case original file equals to dest file, so the file is lost 
    if (exists() && isDirectory()) deleteDirectory(); 
} 

질문 :

1) 그런 행동은 의도적인가? 솔직히, 그것은 틀린 느낌입니다. 올바른 방법은 무엇인가,

FileHandle src = ...; 
FileHandle dest = ...; 
src.file().renameTo(dest.file()); 

그렇지 않은 경우 :

2)은 (는이 경우에 작동하지만, 어쩌면 또 다른주의 사항이있다) 이런 식으로 이름을 변경 할 됐나요? @exenza 제안으로

업데이트

는, Windows의 LibGDX의 이슈 트래커

Answer 1

상의 issue을 열고, 파일 이름은 대소 문자를 구분합니다. 즉, "abc"및 "ABC"는 동일한 파일을 참조합니다. copyTo() 호출은 파일을 그 자체로 복사합니다. 그런 다음 delete()이 파일을 삭제합니다. 이 모든 과정에서 하나의 파일 만 있고 사본은 없습니다.