Go os.Stat 跟踪符号链接为什么结果不符合预期

os.Stat 查询符号链接路径时，通常得到的是跟踪链接后的目标对象信息。因此用它的 Mode() 检查符号链接位，可能得到 false；目标被删除时，它也可能报不存在，即使链接目录项还在。想识别链接本身，先用 os.Lstat；想看保存的目标路径，用 os.Readlink。

设想发布目录里有一个 current 链接，目标为 report.dat。目标文件正常时检查结果看起来像普通文件，目标移走后又提示不存在。这个现象要先按“查哪个对象”拆开，再处理路径和错误。下面只讨论本机文件系统的元信息查询；代码为原创示例，未在本文制作过程中执行，所有结果均是有条件的预期现象。

官方地址：https://pkg.go.dev/os

能力边界：你要查链接本身还是目标

三个接口回答不同的问题。Lstat 的 FileInfo 描述命名目录项，末尾为符号链接时保留链接类型；Readlink 取出链接保存的目标文本；Stat 跟踪链接去查询目标。不要把 Readlink 的字符串长度、链接项的 Size 和目标内容大小混成同一个指标。

图中路径对象包括链接路径、目标对象；查询接口包括 Lstat、Stat、Readlink；链接内容包括目标文本。Lstat 关联链接路径，Stat 关联目标对象，Readlink 关联链接路径及目标文本，链接路径通过目标文本描述它指向的对象。这些连线表达查询对象与内容关系，不表示执行流程。

支持范围：相对路径与平台差异

示例适用于允许创建符号链接的本机环境。Windows 上创建链接可能受权限、开发者设置及文件系统能力影响，不能把 Symlink 的失败忽略后继续推断 Stat 行为；Windows 的部分重解析点还有专门语义，应按操作系统对象类别核对。正文不把快捷方式文件当成符号链接。

相对目标文本相对于链接所在目录解释，原始相对查询路径则相对于进程当前工作目录。假设链接是 archive/current，Readlink 返回 report.dat，直接调用 os.Stat("report.dat") 会换到工作目录下的另一个查询对象。排障时优先继续 Stat 原链接路径，避免手工拼接改变含义。

需要解析符号链接后的路径名称时，可使用 filepath.EvalSymlinks 并处理错误。它会解析路径中的符号链接并清理结果，但相对输入的结果不保证是绝对路径。filepath.Abs 与 Clean 处理路径形式，也不能代替符号链接解析。仅做词法拼接还可能错误处理带有中间链接和 .. 的路径，所以不要把拼接结果当成真实解析证据。

最小示例：并排观察 Stat、Lstat 和 Readlink

下面先创建普通文件和相对符号链接，再删除目标文件，最后继续查询同一个链接。所有改动限定在示例新建的临时目录内，清理也只针对该目录。

package main

import (
    "errors"
    "fmt"
    "io/fs"
    "os"
    "path/filepath"
)

func inspect(path string) error {
    entry, err := os.Lstat(path)
    if err != nil {
        return fmt.Errorf("查询目录项：%w", err)
    }
    isLink := entry.Mode()&os.ModeSymlink != 0
    fmt.Println("Lstat 是符号链接：", isLink)

    if isLink {
        // Readlink 取保存的目标文本，不替我们解析或检查目标是否存在。
        text, err := os.Readlink(path)
        if err != nil {
            return fmt.Errorf("读取链接目标：%w", err)
        }
        fmt.Println("Readlink 目标：", text)
    }

    target, err := os.Stat(path)
    if err != nil {
        if errors.Is(err, fs.ErrNotExist) {
            // 该判断只说明跟踪后的路径解析遇到不存在，保留上面的链接证据。
            fmt.Println("Stat 目标路径不存在")
            return nil
        }
        return fmt.Errorf("查询目标：%w", err)
    }
    fmt.Println("Stat 是符号链接：", target.Mode()&os.ModeSymlink != 0)
    fmt.Println("Stat 是普通文件：", target.Mode().IsRegular())
    return nil
}

func run() error {
    // 所有演示资源都放在新建临时目录，避免改动既有文件。
    dir, err := os.MkdirTemp("", "link-observer-")
    if err != nil {
        return err
    }
    defer os.RemoveAll(dir)

    target := filepath.Join(dir, "report.dat")
    if err := os.WriteFile(target, []byte("ready"), 0600); err != nil {
        return err
    }
    link := filepath.Join(dir, "current")
    // 目标文本故意用相对路径，指向链接所在目录的 report.dat。
    if err := os.Symlink("report.dat", link); err != nil {
        return fmt.Errorf("当前环境无法创建符号链接：%w", err)
    }

    fmt.Println("目标存在时")
    if err := inspect(link); err != nil {
        return err
    }
    if err := os.Remove(target); err != nil {
        return err
    }
    fmt.Println("移除目标后")
    return inspect(link)
}

func main() {
    // 不忽略平台权限或文件系统错误，避免把创建失败误诊为 Stat 异常。
    if err := run(); err != nil {
        fmt.Println("失败：", err)
    }
}

把完整代码放在独立目录的 main.go 后，可自行运行：

# 在支持符号链接且有创建权限的环境运行该独立示例。
go run main.go

在链接创建成功且目录未被其他进程修改的普通文件系统上，预期观察为：

目标存在时
Lstat 是符号链接： true
Readlink 目标： report.dat
Stat 是符号链接： false
Stat 是普通文件： true
移除目标后
Lstat 是符号链接： true
Readlink 目标： report.dat
Stat 目标路径不存在

这是按示例推导的文本，不是实测日志。若先出现“无法创建符号链接”，应处理该环境限制，后续对照不成立。不要为了匹配示例输出，吞掉真实系统错误或硬编码类型判断。

兼容处理：识别悬空链接并保留错误原因

在这个受控例子里，Lstat 成功且类型为链接，随后 Stat 命中 ErrNotExist，与目标文件已被移除相符。真实目录可能同时变化，Stat 不存在也可能来自中间路径组件；权限不足、循环链接或其他系统错误更不能一律标成悬空链接。

第二张图按链接证据、目标查询、解释依据分组：Lstat 信息与链接类型位是一组，Stat 查询与 Stat 错误是一组，ErrNotExist 与路径变化是一组。Lstat 信息包含链接类型位，Stat 查询关联 Stat 错误，Stat 错误关联 ErrNotExist 分类；路径变化同时约束两次查询的解释。只有结合这些证据，才能给出限定的诊断。

保留 *os.PathError 可以让上层区分操作、路径与底层原因。示例用 %w 包装，避免只剩一条“文件不存在”的字符串；业务层也应把“链接目录项不存在”和“目标解析不存在”分开记录。若目的仅是判断普通文件可否读取，直接执行实际打开操作并处理其错误，通常比先做存在性判断再决定打开更贴近需求。

性能与安全注意：元信息不是后续打开的保证

Stat、Lstat 都是某次查询取得的元信息，不能锁住目录项。先 Lstat 再 Open 之间，路径仍可能被替换；先 EvalSymlinks 再做目录前缀比较，也不能消除这种时间差。Go 官方的 os.Root 资料讨论了受目录约束的文件访问；需要处理不可信路径时，应选择与运行版本和平台匹配的目录约束 API，而不是把本文的诊断示例当成安全拦截实现。

如果已经通过 os.Open 取得文件句柄，f.Stat() 查询的是该句柄关联对象的信息，更适合与实际读取保持对象一致；它仍不是未来权限、内容或路径不变的保证。资源使用完应关闭，不要为了检查类型重复打开多份句柄。

为什么 Stat 的 IsDir 返回 true，路径却是链接？

如果链接指向目录，目标属性就可以是目录。想同时知道“链接本身”和“目标是不是目录”，分别保存 Lstat 与 Stat 的结果，并允许两次查询之间发生变化。

Lstat 是否意味着整条路径都不会跟踪任何链接？

不要这样理解。它适合识别命名路径末尾的链接对象，中间目录组件仍涉及操作系统路径解析。用它检查最后一项，不等于验证整条路径安全。

Readlink 成功能证明目标存在吗？

不能。它只返回保存的目标信息。本文移除 report.dat 后，Readlink 仍预期成功；确认目标状态需要另一次跟踪查询，并承担该查询的错误与时间边界。

官方资料：接口与平台说明见 https://pkg.go.dev/os；Unix Stat 与 Lstat 的实现区别见 https://go.dev/src/os/stat_unix.go；路径解析见 https://pkg.go.dev/path/filepath#EvalSymlinks；受目录约束访问的设计说明见 https://go.dev/blog/osroot。