1. 项目概述与核心价值
1.1 为什么一个创建目录的函数值得单独写一篇
先问你一个问题：你在终端里执行mkdir -p /data/logs/2025/04的时候，有没有想过这背后到底发生了什么？mkdir命令本身是一个包装，真正干活的其实是系统调用——或者说，是 C 语言层面的mkdir()函数。如果你写过 C/C++ 程序，或者做过嵌入式 Linux 开发、系统编程相关的工作，对这个函数应该不会陌生。
但这个函数远比看上去要复杂得多。我见过很多刚入行的开发者在处理目录创建时，直接在代码里写mkdir(path, 0755)，然后发现目录没创建成功也不知道为什么，更不用说去处理-p这种递归创建逻辑——这个逻辑在命令里是一行参数，在系统编程里你得自己循环调用stat()和mkdir()去实现，这一下工作量就上来了。
这篇文章我打算从mkdir()函数本身的 API 细节开始讲，然后深入到权限、错误处理、递归创建、内核行为这些实操中必然会碰到的点，最后结合真实业务场景给出一套完整的封装方案。适用人群很明确：在做 Linux 系统编程的 C/C++ 工程师、嵌入式开发者、写自动化脚本或容器镜像构建脚本的运维工程师，以及准备面试、想在「Linux 文件系统与系统调用」这个面试板块不丢分的技术求职者。
1.2 先搞清楚 mkdir 命令和 mkdir 函数的边界
很多人容易把mkdir命令和mkdir()函数混为一谈。这里简单做个区分，后面的内容都会基于这个边界展开：
| 维度 | mkdir 命令 | mkdir() 函数 |
|---|---|---|
| 本质 | 一个用户态程序，最终会调用系统调用 | C 库函数，直接触发系统调用 |
| 功能 | 支持-p、-m、-v等参数，比较上层 | 只负责创建一个目录，不递归、不提示 |
| 返回值 | 通过退出码反馈（0 成功、非 0 失败） | 返回 0 或 -1，失败时设置 errno |
| 递归创建 | 内建支持-p | 自己实现，通常得配合stat()和access() |
| 使用场景 | 命令行交互、shell 脚本 | 程序内部动态创建目录结构 |
命令是方便人用的，函数是方便程序用的。这篇文章核心讨论的是后者，顺手也会把命令可能的底层行为讲一下，因为理解了函数层的东西，很多命令层的奇怪现象就自然通了。
2. 整体设计与实现思路拆解
2.1 mkdir() 的原型、参数与返回值
mkdir()的声明在sys/stat.h头文件里，原型如下：
#include <sys/stat.h> #include <sys/types.h> int mkdir(const char *pathname, mode_t mode);两个参数：第一个是路径名，第二个是权限模式。返回值很简单：成功返回 0，失败返回 -1 并设置全局变量errno。
这里有个非常关键的点，mode参数是权限的最终值，而不是你想当然的 "直接等于它"。实际生效的权限是：
实际权限 = (mode & ~umask)换句话说，进程的 umask 会对传入的 mode 做一次 "权限削减"。比如你传0777，但 umask 是0022，那实际目录权限是0755，即新目录对组和其他用户没有写权限。这是新手最容易踩的坑之一，后面实操部分我会专门展开。
再补充一个很多人直到面试被问到才注意的细节：mode里通常只使用权限位相关的宏（如S_IRWXU、S_IRGRP等），但函数也允许你传入S_IFDIR这样的文件类型位。内核在实现上会忽略类型位，固定按目录处理。你要是传了S_IFREG这种文件类型位，也不会给你创建出文件，函数照样创建目录。
2.2 mode 参数到底是干嘛的——权限位与 umask 的纠缠
mode_t本质是一个无符号整数，按位划分出用户、组、其他人的读/写/执行权限，以及 setuid、setgid、sticky 这些特殊位。创建目录时最常用的值是0755、0775、0700这几种，分别对应常见的不同需求：
0755：所有用户可读和执行（进入目录），仅属主可写。这是最常见的 Web 目录、共享目录配置。0775：群组成员可写，适合需要多人协作写同一目录的场景。0700：仅属主可读写执行，适合存放隐私数据、密钥等。
但注意，我在上面已经提到过 umask 的问题。umask 的目的是给 "默认权限" 加一道限制，防止你无意中创建出权限过宽的文件或目录。如果想故意让目录权限比 umask 允许的更宽，你得先临时修改 umask：
mode_t old_mask = umask(0); int ret = mkdir(path, 0777); umask(old_mask);这种操作在正规程序里并不推荐频繁使用，因为它有进程级副作用——修改 umask 会影响当前线程（在 Linux 上现代 glibc 实现按线程维护 umask，但老版本或者某些其他平台可能表现不同）后续所有新建文件的行为。更稳妥的做法是创建后单独调用一次chmod()来修正权限。
2.3 返回值、errno 与错误处理的艺术
系统编程里，不检查返回值等于埋雷。mkdir()可能返回的 errno，高频出现的就那么几个，我按实际开发中碰到的频率排个序：
| errno | 含义 | 常见触发场景 |
|---|---|---|
| EEXIST | 目录已存在 | 重复创建同一个路径，最常见 |
| ENOENT | 路径中的某个前置目录不存在 | 父目录缺失，-p逻辑就是为了解决它 |
| EACCES | 权限不足 | 对父目录没有写权限 |
| EPERM | 操作不允许 | 无足够特权（比如需要 CAP_DAC_OVERRIDE 但进程没这个能力） |
| ENAMETOOLONG | 路径名太长 | 路径超过 PATH_MAX |
| ENOTDIR | 路径中某个中间组件不是目录 | 非常隐蔽的坑，稍后详细解释 |
| EROFS | 只读文件系统 | 磁盘挂载为 ro |
| ENOSPC | 磁盘空间不足 | inode 耗尽或块空间耗尽 |
| ELOOP | 符号链接层级过深 | 路径中链接指向链接，死循环了 |
处理EEXIST是开发中的一个经典细节。很多写法是这样的：
if (mkdir(path, 0755) == -1) { if (errno != EEXIST) { perror("mkdir"); return -1; } }这段代码初看没问题，但有个隐患：它假设EEXIST一定意味着 "目标路径已经是一个目录"。实际上如果目标路径上存在的是一个文件而不是目录，mkdir()同样会返回EEXIST。所以更严谨的写法是拿到EEXIST之后再调用一次stat()判断目标类型。这个细节面试时答出来，印象分能加不少。
3. 实操过程与环境搭建中的 mkdir 应用
3.1 基础用法：单级目录创建与空目录检查
在开始看复杂场景之前，先把最基础的动作练一遍。我们写一个最简单的 C 程序，创建/tmp/mkdir_demo这个单级目录，并验证是否成功：
#include <stdio.h> #include <sys/stat.h> #include <sys/types.h> #include <errno.h> #include <string.h> int main(void) { const char *path = "/tmp/mkdir_demo"; if (mkdir(path, 0755) == -1) { fprintf(stderr, "mkdir failed: %s\n", strerror(errno)); return 1; } printf("Directory %s created successfully.\n", path); return 0; }编译运行：
gcc -o mkdir_demo mkdir_demo.c ./mkdir_demo ls -ld /tmp/mkdir_demo输出类似：
drwxr-xr-x 2 user user 4096 Mar 21 10:22 /tmp/mkdir_demo这个过程如果一切正常，理论内容就已经跑通了一半。但实际生产中你不会只创建一层目录，更常见的是创建logs/2025/04/15这种多级路径，而且这个路径的父目录可能只存在一部分，甚至完全不存在。
3.2 递归创建多级目录：自己实现 mkdir -p
mkdir()本身没有递归能力，这点和命令行的mkdir -p完全不同。如果你在代码里直接对logs/2025/04/15调用mkdir()，大概率会拿到ENOENT，因为logs/2025/04可能都还不存在。
实现递归创建的常见思路有两种，我分别说一下：
思路一：逐级拆分路径，逐级创建。
这是最容易理解和实现的方案。核心逻辑是把路径按/拆分，从根（或已有的最深目录）开始，每检查一级不存在就创建一级。示例代码：
#include <stdio.h> #include <stdlib.h> #include <string.h> #include <sys/stat.h> #include <errno.h> int mkdir_p(const char *path, mode_t mode) { char tmp[PATH_MAX]; size_t len = strlen(path); if (len == 0 || len >= PATH_MAX) { errno = EINVAL; return -1; } strcpy(tmp, path); // 去掉末尾的 '/' if (tmp[len - 1] == '/') { tmp[len - 1] = '\0'; } for (char *p = tmp + 1; *p; p++) { if (*p == '/') { *p = '\0'; if (mkdir(tmp, mode) == -1 && errno != EEXIST) { return -1; } *p = '/'; } } if (mkdir(tmp, mode) == -1 && errno != EEXIST) { return -1; } return 0; }这段逻辑要注意几个地方：遍历从tmp + 1开始，是为了跳过开头的/（绝对路径场景），避免第一个mkdir("/")这种无意义且可能因为权限不够而失败的调用。每次遇到/就先把该级路径截断，尝试创建，如果返回EEXIST就继续往下走，最后处理完整路径本身。
思路二：逐级分解 + 组件拼接。
这个思路其实差不多，只是代码结构上更清晰——用一个动态增长的字符串逐步拼接组件，每次拼一级就尝试创建。两种方式本质是同一件事，选自己习惯的即可。我个人推荐思路一改造成一个稳妥的通用函数，因为它在嵌入式环境里同样适用，不依赖特殊库。
3.3 递归创建时的一个经典坑：路径中存在同名文件
递归代码写完之后，最隐蔽的运行时错误来了：如果路径中间某一级不是目录，而是一个文件，会出现什么情况？
比如你已经有一个文件/tmp/demo/file.txt，然后你调用mkdir_p("/tmp/demo/file.txt/subdir", 0755)，这时会发生什么？
第一级检查/tmp/demo，若存在则往下走。接着检查/tmp/demo/file.txt，它存在——但它是文件。如果代码里只做了(errno != EEXIST)的判断，那么这一级的mkdir()调用会返回EEXIST，代码判断为 "已存在，继续"，但走到下一级拼接时，由于file.txt不是目录，内核会返回ENOTDIR，最终整体失败。
这个错误看起来有点莫名其妙，因为ENOTDIR的报错往往没告诉你 "哪一级有问题"。排查起来很不爽。所以严谨的mkdir_p应该在遇到EEXIST时，用stat()验证一下已存在对象的类型，不是目录就直接报错，别做无谓的后续操作。这也呼应了我在第 2.3 节提到的那个点。
3.4 结合项目实战：创建多级日志目录并确保权限
拿一个实际场景来串一遍。假设你要为业务系统写一个日志模块，要求程序启动时自动创建./logs/2025/04/15这种日期路径，并确保所有子目录权限为0750，属主是当前用户，组是当前用户的主组。
完整代码骨架如下：
#include <stdio.h> #include <stdlib.h> #include <string.h> #include <time.h> #include <sys/stat.h> #include <sys/types.h> #include <errno.h> #include <unistd.h> int mkdir_p(const char *path, mode_t mode) { char tmp[PATH_MAX]; size_t len = strlen(path); if (len == 0 || len >= PATH_MAX) { errno = EINVAL; return -1; } strcpy(tmp, path); if (tmp[len - 1] == '/') { tmp[len - 1] = '\0'; len--; } for (char *p = tmp + 1; *p; p++) { if (*p == '/') { *p = '\0'; if (mkdir(tmp, mode) == -1 && errno != EEXIST) { perror("mkdir_p"); return -1; } *p = '/'; } } if (mkdir(tmp, mode) == -1 && errno != EEXIST) { perror("mkdir_p final"); return -1; } return 0; } int main(void) { time_t now = time(NULL); struct tm *tm_now = localtime(&now); char path[PATH_MAX]; snprintf(path, sizeof(path), "./logs/%04d/%02d/%02d", tm_now->tm_year + 1900, tm_now->tm_mon + 1, tm_now->tm_mday); if (mkdir_p(path, 0750) == -1) { fprintf(stderr, "Failed to create log directory.\n"); return 1; } printf("Log directory ready: %s\n", path); return 0; }这段代码有一个地方需要特别说明：snprintf格式化日期路径时，我们实际上是在字符串层面先拼出多级路径，然后交给mkdir_p逐级创建。如果某天运行目录下已经有一个logs文件而不是目录，mkdir_p会在返回EEXIST后继续拼接，最终在下一级拿到ENOTDIR。要真正把这种异常情况处理得漂漂亮亮，就得在EEXIST分支里补上stat()的类型校验。
4. 常见问题、内核行为与排查技巧
4.1 频繁出现的 mkdir 问题排查速查表
为了让你在实际项目里快速定位问题，我梳理了一张高频问题对照表，每个问题都是我亲眼见过不止一次的真实案例：
| 现象 | 可能原因 | 解决思路 |
|---|---|---|
明明创建了目录，程序里mkdir()却返回 -1 | 路径中的某一级是文件，或权限不够 | 用strace追踪，看mkdir返回哪个 errno |
errno == EEXIST，但目录没建出来 | 目标路径已存在且是一个文件 | stat()判断类型，必要时先删除或改路径 |
传了0777但实际权限是0755 | 进程 umask 默认0022，削减了写权限 | umask(0)临时修改，或创建后chmod() |
| 创建后其他用户无法访问 | 父目录没有x权限，中间的某级目录挡住了访问 | 检查每一级目录的权限，用namei -l排查 |
| 路径带中文或空格，创建失败 | 不在mkdir()函数的锅，大概率是代码里有 shell 转义问题 | 用 C 字符串直接传，别经过 shell |
| 第一次运行成功，第二次失败 | EEXIST没有被处理 | 按EEXIST不应视为致命错误来处理 |
嵌入式环境下mkdir失效 | 文件系统是只读挂载，或 flash 分区未挂载 | mount -o rw,remount检查挂载选项 |
容器里创建目录报EACCES | 容器用户的 uid/gid 与宿主机目录权限不匹配 | 确认容器用户和目录属主，用id排查 |
排查时最值得推荐的工具是strace，它能直接看到程序触发了哪些系统调用以及每个调用的返回值：
strace -e mkdir,stat,access ./your_program只用-e过滤到你关心的调用，输出会非常干净。我看到太多人遇到 mkdir 类问题时靠猜，其实strace一眼就能把 errno 和调用路径打在脸上，比看日志猜半天高效太多。
4.2 从用户态到内核：mkdir 系统调用到底做了什么
如果你想在面试中把mkdir()聊出深度，或者对内核机制有好奇心，这段值得仔细看。
用户态调用mkdir()时，glibc 会触发mkdir系统调用（x86_64 架构下的系统调用号为 83）。内核进入sys_mkdir处理流程后，核心工作包括：
- 把用户态传入的路径字符串从用户空间拷贝到内核空间（
getname之类的操作）。 - 逐级查找路径中的 dentry，对每一级进行权限检查。这里提一句，Linux 的权限模型里，你要在
/a/b/c中创建c，需要/a和/a/b都有写和执行权限。很多奇怪的问题都出在中间某个目录权限少了x位。 - 调用
vfs_mkdir，经过虚拟文件系统层，分发到具体文件系统（ext4、xfs、tmpfs 等）的.mkdir回调。 - 在具体文件系统里，分配 inode，建立目录项与 inode 的关联，最后写回。
- 处理好之后返回 0；任意一环失败则返回错误码，最终映射为用户态的
errno。
这个流程里有一个大家容易忽略的点：路径查找过程中的权限检查是在每一级独立进行的。也就是说，即使你对目标目录有完全的写权限，但只要路径中间某一级对当前用户没有执行权限，mkdir()依然会失败。权限问题排查时，不要只盯着最后一级目录，用namei -l /path/to/dir把整条链路打出来看，才是高效的做法。
4.3 mkdir 和其他目录操作函数的配合
实际项目里很少只用mkdir()一个函数。比较常用的搭配组合是：
stat()/lstat()：检查目标路径是否已存在、判断存在的对象类型。access()：在创建前判断父目录是否有写权限，虽然这种判断有竞态窗口，但可以做事前提示。opendir()/readdir()：创建完目录后遍历校验。chmod()：修正 umask 影响后的最终权限。rmdir()：清理空目录时配套使用。rename()：配合 "先创建临时目录，再改名为正式目录" 这种原子性操作模式。
举一个典型的原子发布场景：你在部署应用时，不希望因为程序崩溃留下半成品目录，所以通常会先在同一个父目录下创建一个临时目录release_tmp_xxxx，把内容放好，校验完成后一次性rename()成目标目录。这个过程里，mkdir()只是整个链路的第一步，但它决定了后续所有操作的基调。
4.4 面试高频考点总结与代码级避坑
最后补一部分面试向的内容，毕竟热词里 Linux 面试题出现的频率不低。mkdir()在面试中常见的考察点：
1. 递归创建如何实现？这个上面已经给出代码了。面试官真正想听的可能是对EEXIST和ENOTDIR的区分，以及你能否在EEXIST后主动stat()判断类型。
2. 为什么mkdir(path, 0777)创建出来的权限往往不是 0777？这个考的是 umask 机制。你需要答出 "实际权限 = mode & ~umask"，并说明如果确实需要宽权限，可以先临时umask(0)，但要注意恢复，或者改用chmod()。
3. 如何判断mkdir失败是因为父目录不存在还是权限不够？答案是查 errno。ENOENT表示路径中某个前置组件不存在，EACCES表示权限不足。如果还想定位 "具体哪一级不存在"，可以用循环stat()逐级拆解。
4. 目录创建除了mkdir系统调用，还有别的方式吗？有。比如open()配合O_CREAT只能创建文件，不能创建目录；但renameat2()配合RENAME_WHITEOUT之类的特殊场景可以间接影响目录结构。另外还有mknod()系统调用，传入S_IFDIR也能创建目录，但那是历史遗留用法，新代码直接用mkdir()就对了。
面试考点的核心其实不在函数本身，而在你对权限模型、错误码、路径解析这些底层机制的掌握程度。把上面的内容真正吃透，相关的追问基本都不慌了。
5. 实战封装与扩展建议
5.1 一个更健壮的 mkdir_p 函数（生产可用版）
前面第 3.2 节给出的思路适合教学，但真要放到生产环境，我会做几处加强：
#include <stdio.h> #include <stdlib.h> #include <string.h> #include <sys/stat.h> #include <sys/types.h> #include <errno.h> #include <unistd.h> int mkdir_p(const char *path, mode_t mode) { char tmp[PATH_MAX]; struct stat st; size_t len; if (path == NULL || path[0] == '\0') { errno = EINVAL; return -1; } len = strlen(path); if (len >= PATH_MAX) { errno = ENAMETOOLONG; return -1; } strcpy(tmp, path); // 去掉末尾无意义的 '/' while (len > 1 && tmp[len - 1] == '/') { tmp[len - 1] = '\0'; len--; } // 如果最终路径已存在，检查是否是目录 if (stat(tmp, &st) == 0) { if (S_ISDIR(st.st_mode)) { return 0; } errno = ENOTDIR; return -1; } // 对相对路径且不是以 '.' 开头的情况，允许逐级创建 for (char *p = tmp + 1; *p; p++) { if (*p == '/') { *p = '\0'; if (mkdir(tmp, mode) == -1) { if (errno != EEXIST) { return -1; } // EEXIST 时确认是目录 if (stat(tmp, &st) == 0 && !S_ISDIR(st.st_mode)) { errno = ENOTDIR; return -1; } } *p = '/'; } } if (mkdir(tmp, mode) == -1 && errno != EEXIST) { return -1; } return 0; }这个版本的改进点有三个：
第一，开头对空指针和空字符串做了防御，避免strcpy或strlen操作非法地址导致崩溃。第二，预先用stat()检查最终目标是否存在，存在且是目录就直接返回成功，避免无谓的系统调用。第三，每次遇到EEXIST都会确认已存在的对象确实是目录，提前暴露路径冲突问题，而不是等到内核查ENOTDIR再报一个让人摸不着头脑的错误。
5.2 高级用法：用 openat 系列函数避免路径竞争
在实际的高并发服务或者安全敏感的程序里，直接操作路径字符串会有 TOCTOU（Time-Of-Check to Time-Of-Use）问题。你检查了路径不存在，下一秒别的进程可能就创建了文件，把你后面的事情全部打乱。
Linux 提供的openat()、mkdirat()这类系列函数能在一定程度上缓解这个问题。它们允许你基于一个已经打开的目录文件描述符（dirfd）来解析相对路径，这样可以把操作范围锁定在你掌控的目录内，避免攻击者通过替换路径中间组件来做手脚。
举个例子，如果你想在/var/app/data下面安全地创建多级子目录，可以先open("/var/app/data", O_RDONLY | O_DIRECTORY)拿到 dirfd，然后基于这个 fd 一级一级用mkdirat()创建子目录。mkdirat的原型是：
#include <fcntl.h> #include <sys/stat.h> int mkdirat(int dirfd, const char *pathname, mode_t mode);把mkdirat和openat配合起来，可以在目录穿越攻击高发的场景里减少很多麻烦。如果你的程序跑在 Web 服务里，处理用户上传的文件并创建不同用户的隔离目录，这个技术点就非常实用了。
5.3 脚本语言与工具链中的 mkdir 等价操作
除了 C/C++ 开发，运维和脚本场景下mkdir的高频使用也值得带一笔，因为很多读者是从 shell 脚本、持续集成流水线、容器构建场景过来的。
Python 里对应的 API 是最接近 C 的：
import os os.mkdir("logs/2025/04", mode=0o750) # 单级，不递归 os.makedirs("logs/2025/04", mode=0o750, exist_ok=True) # 递归，且容忍已存在os.makedirs的exist_ok=True就等价于 C 层面在EEXIST时不报错，但 Python 的这个实现也会遇到同名文件不是目录的坑，exist_ok=True时如果目标已存在且是文件，同样会抛FileExistsError或NotADirectoryError。本质上和你手动写 C 逻辑时遇到的问题一模一样。
Rust 里对应的是std::fs::create_dir和std::fs::create_dir_all，create_dir_all的语义和mkdir -p等价。Go 里则是os.Mkdir和os.MkdirAll。这些高级语言的封装本质上都是对系统调用的多层包装，理解底层语义之后，不管换哪门语言，你都能准确预判它的行为——这也是这篇文章没有拘泥于 C 的单一语言，而花了篇幅讲内核行为的原因。
5.4 关于嵌入式场景的特别提醒
做嵌入式 Linux 开发的朋友需要额外注意一点：在某些裁剪过的内核或轻量级 C 库里（比如 uClibc、musl），mkdir()的行为和 glibc 可能略有差异。最典型的是 musl 对mode的处理在某些版本上更严格，也更容易暴露调用者传了非法数值的问题。
另外嵌入式环境里常见的文件系统（如 jffs2、yaffs2、ubifs）对 mkdir 的实现细节和 ext4 并不完全一致。比如极端掉电场景下，可能会出现目录项写了一半，导致目录看起来存在但无法进入，或者 stat 报错的问题。这种场景下光靠mkdir返回值做判断就不够，可能还得结合fsync完目录 fd 等更底层的可靠性手段。普通应用层开发不需要考虑这些，但如果你在搞 NVR 录像存储、车载记录仪这类频繁掉电的设备，建议花点时间测试一下对应文件系统在异常断电时的 mkdir 行为。
6. 个人实操体会与一个值得收藏的小技巧
做 Linux 开发这些年，我踩的最深的一次 mkdir 的坑发生在一个日志上报服务里。线上程序启动后总在一个固定路径上创建目录失败，日志里只显示了mkdir failed: No such file or directory，但那个父目录明明存在。排查了半天，最后strace出来才发现，真正不存在的不是目标目录的父目录，而是父目录里套了一层特别深的路径，其中某一级是个相对路径拼接时多出来的..。从那以后，我给自己写了一个铁律：所有目录创建逻辑必须单独抽成函数，并且一定要打日志记录最终拼出来的完整路径。排查时的每一分钟，都是在为当初不写日志的懒惰还债。
最后再分享一个我一直在用的调试手法：写目录相关功能时，先用strace -e mkdir -f -o mkdir_trace.log ./program把系统调用原样记录下来，然后直接看 trace 文件里mkdir的返回结果。如果返回ENOENT，说明父目录链有问题；如果返回EACCES，说明权限配置有问题；如果返回EEXIST，再看stat判断类型。这个思路帮我省下的时间，远超我花在写这篇文章上的精力。
