调用FindFirstFile传入错误路径的影响及Haskell目录函数失败模式问询

让我分两部分来拆解你的问题——先聊聊Windows API FindFirstFile传入错误路径的表现，再深入Haskell System.Directory.getDirectoryContents的跨平台失败模式：

当你给FindFirstFile传错路径时，具体表现取决于错误类型：

• 路径完全不存在：函数会返回INVALID_HANDLE_VALUE，调用GetLastError()能拿到精准的错误码：ERROR_FILE_NOT_FOUND（码2）表示目标文件/目录本身不存在；ERROR_PATH_NOT_FOUND（码3）表示路径里的某个父目录不存在（比如C:\nonexist\dir里nonexist目录不存在）。
• 路径指向非目录文件：这时候函数反而会返回有效句柄，因为FindFirstFile本身支持枚举单个文件。但如果你是想枚举目录内容，后续调用FindNextFile会立刻返回FALSE，GetLastError()返回ERROR_NO_MORE_FILES（码18），相当于只拿到了这个文件本身的条目。
• 无访问权限：返回INVALID_HANDLE_VALUE，GetLastError()返回ERROR_ACCESS_DENIED（码5）。

至于错误信息的参考价值？非常高。Windows的错误码体系能精准区分路径不存在、权限不足、目标类型不匹配等场景，完全可以用来做错误分支处理。

这个函数是跨平台封装，底层会根据系统调用不同的API，失败时统一抛出IOException，你可以用System.IO.Error模块的工具函数来区分错误类型，不用关心底层细节：

Posix平台（Linux/macOS等） #

底层调用opendir/readdir系列函数，常见失败场景：

• 路径不存在：抛出带有doesNotExistErrorType的IOException，对应Posix的ENOENT错误码。
• 路径指向非目录：抛出带有invalidArgumentErrorType的IOException，对应Posix的ENOTDIR错误码。
• 权限不足：抛出带有permissionErrorType的IOException，对应Posix的EACCES错误码。

Windows平台 #

底层调用FindFirstFile/FindNextFile，但Haskell封装层会先做额外检查，所以失败场景更贴合“目录枚举”的需求：

• 路径不存在：同样转为doesNotExistErrorType的IOException，对应Windows的ERROR_FILE_NOT_FOUND或ERROR_PATH_NOT_FOUND。
• 路径指向非目录：封装层会先通过GetFileAttributes检查目标类型，发现不是目录时抛出带有invalidArgumentErrorType的IOException，对应Windows的ERROR_DIRECTORY（码267）。
• 权限不足：转为permissionErrorType的IOException，对应Windows的ERROR_ACCESS_DENIED。

简单来说，不管是Windows还是Posix平台，你都可以用跨平台的错误判断函数（比如isDoesNotExistError、isPermissionError）来处理getDirectoryContents的失败，不用写平台特定的逻辑。

内容的提问来源于stack exchange，提问作者Ignat Insarov