假设errno总是积极的是否安全？

Question

我正在编写一个程序,其中大多数使用过的库函数在出错时返回-1并设置errno.程序的行为是这样的,如果发生错误它将退出.要确定确切的退出点和程序外部的错误(使用示例gdb),我想使用以下方法:

err = func_1(..arglist_1..);
if(err != 0)
{
    perror("func(..arglist..)");
    return ((1u << 8) | errno);
}
//..
//.. some more funcs
//..
err = func_n(..arglist_n..);
if(err != 0)
{
    perror("func(..arglist_n..)");
    return (((unsigned)n << 8) | errno);
}

这里的问题是安全的假设.

现实: 错误号被声明为extern int errno;内部errno.h
假设1:价值错误号总是小于255
假设2: 错误号总是正的.

根据定义的所有误差常数(EAGAIN等)errno.h,这些假设目前都是正确的.这些可以假设在未来也是如此吗？

PS:我不想依赖于perror()确定退出点.

Answer 1

程序的退出状态限制为0..255,因此如果这些返回语句来自main()程序,则高位不相关.

C标准(ISO/IEC 9899:2011§7.5错误<errno.h>)说:

errno
它扩展为具有类型int和线程本地存储持续时间的可修改的左值²⁰¹⁾,其值由几个库函数设置为正误差数.

²⁰¹⁾宏errno不必是对象的标识符.它可能会扩展为函数调用产生的可修改的左值(例如*errno()).

C标准预计错误是正面的.POSIX(IEEE Std 1003.1,2013版)声明<errno.h>:

的<errno.h>报头应定义下面的宏其中应扩展到整数类型常量表达式int,不同正值(除了下面指出的),并且其应当适用于#if预处理指令:...

因此,您可以合理安全地假设(系统生成的)错误编号为正,但您的代码可能设置为errno负(或零).目前,没有POSIX系统产生的错误数量高于200以下,所以假设它们将被限制在255,在短期内是安全的,但可能不是长期的.他们没有理由这么受限制.

您声称的"现实"仅适用于非线程程序.如果您正在编译线程支持,那么errno不是简单地声明,extern int errno;并且在任何情况下都不应该尝试errno为自己声明.声明它的唯一安全方法是通过<errno.h>标题.