另一个简单例子:
if (wpa_s->mlme.ssid_len == 0)
return -EINVAL;
为什么一元减去?对于在成功时返回> 0且在失败时返回<(=)0的函数,这(通常)是否完成,还是有其他原因?
这基本上就是原因。许多函数都有很多“好的”正结果,因此会为错误代码留下负值。
C / POSIX错误代码有点“历史性增长”,因此尝试将太多的押韵或理由归于它们没有多大意义。
许多现代语言都会抛出错误异常,这样他们就不必劫持错误代码的部分可能响应范围。当然,无论如何都需要权衡利弊。
首先,这不是一个真正的C事物。你正在寻找一个用C编写的函数用于某种目的。任何语言都可以使用相同的约定。
回到我原来的Unix时代,有一种惯例,0表示成功,正数表示小问题,负数表示某种失败。因此,还有一种if (foo() >= 0) { /* success of a sort */ }
的惯例。
这无疑与Unix进程返回代码有关,其中0表示成功。
您的理解大致正确。明显的解释是正确的解释。
但是,标准惯例与您的公式略有不同。
在Unix中,一个程序退出,其中0状态测试为真实或成功的CLI级别实用程序,如shell。在库中,-1
通常是错误返回。
这导致了一个普遍的范例,其中>= 0
意味着好,而< 0
意味着错误。这一切都不是一成不变的。
顺便说一句,这可能被归类为sentinel pattern,你可以称之为哨兵归来。它实际上是一个标记“值”和错误代码的组合,并且比在一个地方返回错误代码和在另一个地方返回错误的sentinel值更容易键入并更容易实现线程安全。
Wikipedia reports that a sentinel value用于终止循环,但我认为函数返回将是一个更常见的实例。没有人正是这些定义的精确负责人。
从优化的角度来看,使用负数允许基于Unix的内核仅使用一次比较而不是两次比较来检查错误代码。
内核中的函数经常返回错误代码来代替指针。这意味着错误代码不能与有效的指针地址重叠,因此它们基本上必须是最低的无符号值(>= 0)
或最高的(<= unsigned max)
。
检查NULL
和错误代码的指针值是非常常见的操作,因此优化它们是有意义的。
通常,底部值< 0x8000
是NULL
,顶部值是错误代码(请记住,-1
存储为0xff...ff
,最大可能的无符号值)。
这意味着您可以使用一个比较来检查每个:
NULL
if x <= 0x8000
(true表示0至0x8000)
ERRNO
if x >= (unsigned long)(-MAX_ERRNO)
(true表示-1到-MAX_ERRNO)