在C语言nftw回调函数中使用fork()是否安全？

首先，你的代码里存在明确的未定义行为，但问题并非来自nftw与fork-exec的组合，而是回调函数的返回值处理：当tf != FTW_F时，函数没有返回任何值。在C语言中，非void类型的函数若无return语句，返回值会是不确定的，而nftw依赖回调的返回值决定是否继续遍历目录树——如果随机返回非0值，nftw会提前终止遍历，这属于未定义行为，必须修复：在函数末尾添加return 0;，确保所有分支都有明确的返回值。

接下来看nftw与fork-exec的组合是否会引发问题：

• nftw的正常运行不受影响：nftw在父进程中执行目录遍历，回调里fork出的子进程会独立执行myexecutable，exec调用会完全替换子进程的地址空间，与父进程的nftw操作彻底分离。父进程fork后直接return 0，会继续触发nftw的下一次回调，遍历流程不会被子进程干扰。
• 需要注意的潜在问题（非nftw本身的问题）：
  • 若目录下文件数量极大，短时间fork大量子进程可能触发系统进程数限制，导致fork()返回-1，你的代码未处理这种错误，会漏掉对应文件的任务执行，建议添加fork失败的判断逻辑。
  • 父进程未回收子进程，会产生僵尸进程（直到父进程退出）。如果父进程长期运行，僵尸进程会占用少量系统资源，可通过设置signal(SIGCHLD, SIG_IGN)让内核自动回收子进程，无需额外wait操作。
  • 子进程会继承父进程打开的文件描述符（包括nftw遍历目录时打开的fd），如果myexecutable不需要这些fd，最好在exec前关闭它们（比如用closefrom(3)或逐个关闭），不过这不会影响nftw的运行，只是健壮性优化。

总的来说，只要修复回调函数的返回值问题，nftw与fork-exec的组合不会产生未定义行为，也不会干扰nftw的正常遍历。

内容的提问来源于stack exchange，提问作者hirad davari