std::filesystem::exists 在有的win10系统抛异常原因分析

1.总体分析

[2.最常见原因：权限差异（Windows / Linux）](#2.最常见原因：权限差异（Windows / Linux）)

3.符号链接（软链接）差异

[4. 文件系统特殊项](#4. 文件系统特殊项)

[5.编译器 / 标准库版本差异（非常关键！）](#5.编译器 / 标准库版本差异（非常关键！）)

6.稳定写法

1.总体分析

std::filesystem::exists 有两个重载版本，这是最常见原因

cpp 复制代码

// 版本1：会抛 filesystem_error 异常
bool exists(const std::filesystem::path& p);

// 版本2：不抛异常，用 error_code 输出错误
bool exists(const std::filesystem::path& p, std::error_code& ec) noexcept;

如果你代码写的是不带 error_code 的版本，不是文件不存在就抛异常；

文件不存在 → 返回 false，不会抛异常

发生权限不足、路径解析失败、符号链循环、系统调用出错 → 抛出 std::filesystem::filesystem_error

所以现象：A 电脑正常返回 false，B 电脑直接抛异常，本质是两台机器访问该路径时底层系统返回的错误不一样。

2.最常见原因：权限差异（Windows / Linux）

Windows

路径是系统保护目录（C:\System Volume Information、某些注册表挂载点、网络断开的映射盘）
当前进程没有读取该目录 / 文件的访问权限 ，GetFileAttributesW 失败返回 ERROR_ACCESS_DENIED
此时不带 ec 版本直接抛 filesystem_error；有权限的电脑只是返回 false

网络映射盘特别坑：

机器 A：网络盘在线，文件不存在 → exists 返回 false

机器 B：网络盘断开、不可访问 → 系统调用失败，直接抛异常

Linux

目标目录无r权限，无法遍历；挂载点失效、NFS 断线、权限 ACL 限制
stat() 系统调用返回 EACCES / ENOENT：
- ENOENT（文件不存在）→ 返回 false
- EACCES（权限拒绝）→ 抛出异常

👉 一句话区分：

ENOENT：找不到文件 → 返回 false ✅

EACCES / ELOOP / EIO：系统调用出错 → 抛异常 ❌

3.符号链接（软链接）差异

机器 A：软链接指向有效路径；
机器 B：软链接循环、指向已删除文件，或者符号链无法解析，触发ELOOP，抛异常。 exists 会跟随符号链接判断目标是否存在。

4. 文件系统特殊项

Windows：

一些命名管道、设备文件（\\.\xxx）、回收站目录、压缩 / 加密目录，不同机器驱动行为不一样。

Linux:

procfs/sysfs 特殊文件，挂载状态不同，stat 返回错误码不同。

5.编译器 / 标准库版本差异（非常关键！）

std::filesystem 是 C++17，早期库实现 bug 很多：

GCC 8/9 libstdc++：早期 filesystem 实现对某些错误码处理不一致，相同场景有的版本抛，有的不抛；
MSVC：不同 VS 版本（VS2017/2019/2022）STL 实现细节不同；旧版 MSVC 对网络盘、权限错误处理行为有差异；

注意：std::filesystem 在 GCC 中，GCC8 及以前需要单独链接 -lstdc++fs，忘记链接会出现各种奇怪行为。

6.稳定写法

1.使用 error_code 重载，杜绝异常

推荐生产代码统一用这个版本，不会抛异常：

cpp 复制代码

#include <filesystem>
namespace fs = std::filesystem;

bool safe_exists(const fs::path& p)
{
    std::error_code ec;
    bool ret = fs::exists(p, ec);
    // ec 非0代表发生错误（权限、IO错误等），此时ret为false
    if (ec)
    {
        // 可选：打印错误信息 ec.message()
    }
    return ret;
}

2.捕获异常

cpp 复制代码

try {
    fs::exists(path);
} catch(const fs::filesystem_error& e) {
    // e.code() 拿到底层error_code，看是EACCES还是别的
}