含exec()的函数成功时返回值是什么？main中相关写法是否为良好实践？

让我们一步步拆解你的问题：

1. func执行成功时的返回值 #

先看你给出的func实现：

int func(...) { 
    if(error(...)) return -1; 
    exec(...); 
    return -1; //exec failed 
}

这里核心要搞清楚**exec系列函数的特殊行为**：当exec调用成功时，它会直接替换当前进程的整个地址空间（包括代码、数据、堆栈等），原进程的代码会被完全覆盖——也就是说，exec成功后，后面的return -1;语句根本不会有机会执行，整个func函数的上下文直接消失了。

所以结论是：当func执行成功（前置错误检测通过且exec成功）时，函数不会有返回值，或者说它永远不会返回。只有两种情况会返回-1：要么前置的error(...)检测到错误，要么exec调用失败。

2. main中代码的实践风险 #

再看这段main里的代码：

if(func(...) == -1) exit(EXIT_FAILURE); 
//do something

从当前func的逻辑来看，这段代码的行为是符合预期的：

• 如果func返回-1（不管是前置错误还是exec失败），进程会立即退出并返回失败状态；
• 如果func中的exec成功，进程已经被替换成新程序了，后面的//do something代码永远不会被执行，所以不会出问题。

但这里存在两个需要注意的风险：

• 可读性问题：如果其他开发者不了解exec的“成功不返回”特性，很容易误以为//do something会在func成功后执行，进而产生逻辑误解；
• 维护耦合风险：如果未来func被修改（比如换成了一个成功时会返回正常值的函数），这段代码就会出现逻辑错误——此时func成功返回非-1值，程序会继续执行//do something，这大概率不是原本的设计意图。

所以，当前写法在现有场景下能正常工作，但不算最佳实践。建议至少添加注释明确逻辑：

if(func(...) == -1) exit(EXIT_FAILURE); 
// 注意：若func执行成功（exec调用成功），进程已被替换，以下代码不会执行
//do something

如果要追求更鲁棒的写法，可以考虑调整func的设计，比如让它在exec成功前就明确不会返回（不过这其实是exec的原生特性，没必要强行修改），或者在main中明确处理“函数未返回”的情况（不过这在C里没法直接检测）。

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