为什么要回到负面的错误? (例如,返回-EIO)

问题描述 投票:24回答:4

另一个简单例子:

if (wpa_s->mlme.ssid_len == 0)
    return -EINVAL;

为什么一元减去?对于在成功时返回> 0且在失败时返回<(=)0的函数,这(通常)是否完成,还是有其他原因?

c return-value errno
4个回答
14
投票

这基本上就是原因。许多函数都有很多“好的”正结果,因此会为错误代码留下负值。

C / POSIX错误代码有点“历史性增长”,因此尝试将太多的押韵或理由归于它们没有多大意义。

许多现代语言都会抛出错误异常,这样他们就不必劫持错误代码的部分可能响应范围。当然,无论如何都需要权衡利弊。


17
投票

首先,这不是一个真正的C事物。你正在寻找一个用C编写的函数用于某种目的。任何语言都可以使用相同的约定。

回到我原来的Unix时代,有一种惯例,0表示成功,正数表示小问题,负数表示某种失败。因此,还有一种if (foo() >= 0) { /* success of a sort */ }的惯例。

这无疑与Unix进程返回代码有关,其中0表示成功。


7
投票

您的理解大致正确。明显的解释是正确的解释。

但是,标准惯例与您的公式略有不同。

在Unix中,一个程序退出,其中0状态测试为真实或成功的CLI级别实用程序,如shell。在库中,-1通常是错误返回。

这导致了一个普遍的范例,其中>= 0意味着好,而< 0意味着错误。这一切都不是一成不变的。

顺便说一句,这可能被归类为sentinel pattern,你可以称之为哨兵归来。它实际上是一个标记“值”和错误代码的组合,并且比在一个地方返回错误代码和在另一个地方返回错误的sentinel值更容易键入并更容易实现线程安全。

Wikipedia reports that a sentinel value用于终止循环,但我认为函数返回将是一个更常见的实例。没有人正是这些定义的精确负责人。


1
投票

从优化的角度来看,使用负数允许基于Unix的内核仅使用一次比较而不是两次比较来检查错误代码。

内核中的函数经常返回错误代码来代替指针。这意味着错误代码不能与有效的指针地址重叠,因此它们基本上必须是最低的无符号值(>= 0)或最高的(<= unsigned max)

检查NULL和错误代码的指针值是非常常见的操作,因此优化它们是有意义的。

通常,底部值< 0x8000NULL,顶部值是错误代码(请记住,-1存储为0xff...ff,最大可能的无符号值)。

这意味着您可以使用一个比较来检查每个:

NULL if x <= 0x8000(true表示0至0x8000)

ERRNO if x >= (unsigned long)(-MAX_ERRNO)(true表示-1到-MAX_ERRNO)

You can see this happening in Linux's err.h file.

© www.soinside.com 2019 - 2024. All rights reserved.