System.Data.SQLite и странные ошибки File.Copy

Question

Я нахожу, что File.Copy с удовольствием скопирует файл на себя, не выбрасывая исключение. По ошибке я скопировал файл базы данных sqlite на себя, и этот файл больше не является допустимой базой данных. Я повторил это как тест несколько раз и получил тот же результат. Используя winmerge (или текстовый редактор), я вижу, что файл результатов имеет 0 байт, но в проводнике Windows по-прежнему отображается исходный размер файла. Что я пропустил здесь? (vs2008, win7-64)

Редактировать: код. Довольно упрощенно я знаю. И это не 0 байт, это все nuls.

 public bool RestoreDatabaseSqlite(string backupFilePath) 
    { 
     try 
     { 
      File.Copy(backupFilePath, _databaseFilePath, true); 
     } 
     catch(Exception ex) 
     { 
      MessageBox.Show("Error restoring database file: " + ex.Message, "Database Error", MessageBoxButtons.OK, MessageBoxIcon.Error); 
      return false; 
     } 

     return true; 
    } 

Edit # 2: Проблема специфична для System.Data.SQLite, открытой SQLiteConnection на файл, и взаимодействие с File.Copy. Я ожидал бы, что копия файла завершится с ошибкой, но она просто отключит весь файл.

Answer 1

Быстрый тест:

File.Copy("foo.htm", "foo.htm"); 

бросает IOException:

Файл 'foo.htm' уже существует.

Попытка с перезаписью:

File.Copy("foo.htm", "foo.htm", true); 

бросает IOException:

Процесс не может получить доступ к файлу 'foo.htm', так как он используется другим процессом.

Как правило, он выглядит покрытым. Вы делаете что-то конкретно?

---

Я добавил некоторую дополнительную двойную проверку, и она по-прежнему кажется, хорошо:

Console.WriteLine("Before:"); 
Console.Write(File.ReadAllText("foo.htm")); 
Console.WriteLine(); 
Console.WriteLine("After:"); 
try 
{ 
    File.Copy("foo.htm", "foo.htm", true); 
} 
catch (IOException) { 
    Console.Write(File.ReadAllText("foo.htm")); 
}