并发修改文件名大小写后，如何刷新FileInfo获取正确文件名？

初始场景：文件名为my file.txt，通过以下代码获取文件信息：

var file = new FileInfo("C:\my file.txt");

当代码运行期间，文件被重命名为My File.txt后，调用file.Refresh();无法更新Name属性的大小写。

由于业务需求（需将文件列表插入文档，客户要求严格匹配文件名大小写），必须解决这个问题。可行的处理方案是重新从文件目录中获取最新的文件信息：

file = file.Directory.GetFiles(file.Name).First();

内容的提问来源于stack exchange，提问作者Matt Fitzmaurice