对理解和沉默-Wsign-compare gcc的警告感到困惑

时间:2019-12-05 23:35:01

标签: c compiler-warnings unsigned

这是我要编译的函数:

static ssize_t  output(t_out_buffer *buf, char const *src, size_t size)
{
        size_t  osize;

        osize = size;
        while ((size > 0)
               && (size -= write(buf->fd, src, size) < osize))
        {
                src += osize - size;
                buf->count +=  osize - size;
                osize = size;
        }
        if (osize < size)
                return (T_OUT_BUFFER_ERROR);
        else
                return (buf->count);
}

gcc的抱怨:

t_out_buffer.c:11:42: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
    && (size -= write(buf->fd, src, size) < osize))
                                          ^

我假设由于size是无符号的,所以size -= whateverintiwant也将是无符号的,而osize也将是无符号的。我现在假设我错了,但我并不真正理解为什么。 此外,您能给我提示以使其静音吗?

2 个答案:

答案 0 :(得分:7)

这个表情没有按照你的想法做:

(size -= write(buf->fd, src, size) < osize)

小于运算符<的优先级高于复合赋值运算符-=。所以上面的解析为:

(size -= (write(buf->fd, src, size) < osize))

因此,这将比较write类型的ssize_tosize类型的size_t的输出。这就是有符号/无符号比较发生的地方。然后从size中减去此比较的结果,因此每次只能减少1。

在作业周围添加括号:

((size -= write(buf->fd, src, size)) < osize)

当您现在比较size_tsize_t时,警告将消失。

但是,还有另一个问题。如果write返回-1,那么您将减去该值,即如果失败则加1。

您应该进行重构,以便在循环内进行读取,并且仅在成功后才添加结果。

    while (size > 0) {
    {
            ssize_t rval = write(buf->fd, src, size);
            if (rval == -1) {
                return T_OUT_BUFFER_ERROR;
            }
            size -= rval;
            src += rval;
            buf->count +=  rval;
    }

答案 1 :(得分:3)

我认为您有一个运算符优先级问题。您的代码被解释为:

&& (size -= (write(buf->fd, src, size) < osize)))

因此,您可以通过强制设置所需的优先级来解决此问题:

&& ((size -= write(buf->fd, src, size)) < osize))

警告通过指出问题来帮助您,如果您不完全理解警告,则切勿沉默。
此外,在条件内使用副作用是不好的做法。如果将赋值运算符-=移出条件,则代码将更易于理解和维护。