在 C++ 中使有符号/无符号警告静音的最不干扰的方法是什么？

Question

我有一个套接字通信程序。该协议是任何写入错误都是致命的，因此应该关闭连接。我的 I/O 代码如下所示：

auto const toWrite = buf.size() * sizeof(buf[0]);
auto nWritten = ::write(fd, buf.data, toWrite);

if (toWrite != nWritten)
{
    closeTheSocket();
}

此代码在布尔测试中给出warning: comparison between signed and unsigned integer expressions。

我了解有符号与无符号比较的大/小比较的弊端，但在这里这是不可避免的。 ::write 系统调用的签名是

  #include <unistd.h>

  ssize_t write(int fd, const void *buf, size_t count);

换句话说，我的toWrite 变量是正确无符号的，而返回的nWritten 是有符号的（-1 表示错误）。我不在乎；除了完全传输之外的任何东西对连接都是致命的。另外，我不明白有符号/无符号之间的（不）相等测试是如何危险的。

我看过here、here、here和here，但问题都是关于小于比较的问题，答案都是“不要那样做”。

This question 询问有关消除警告的问题，但大锤“消除所有签名/未签名”比较是不可取的。

我应该如何以尽可能不打扰的方式使仅此警告静音？

Answer 1

将错误条件的检测与长度不正确的检测分开，并使用显式强制转换

if ( nWritten < 0 ||
     static_cast<decltype(toWrite)>(nWritten) != toWrite )
{
   // handle problems
}

小修改：将所有负值捕获为错误，以备日后验证。

Answer 2

如果您可以裸露一些模板样板，另一种可能的解决方案是编写一个以不同方式处理每种类型的函数：

#include <type_traits>

template <class A, class B>
constexpr bool are_different(A a, B b)
{
    if constexpr (std::is_signed_v<A> and std::is_unsigned_v<B>)
    {
        if ( a < 0 )
            return true;
        else
            return std::make_unsigned_t<A>(a) != b;
    }
    else if constexpr (std::is_unsigned_v<A> and std::is_signed_v<B>)
    {
        if ( b < 0 )
            return true;
        else
            return a != std::make_unsigned_t<B>(b);
    }
    else
    {
        return a != b;
    }
}

int main()
{
    static_assert(are_different(1, 2));
    static_assert(!are_different(1ull, 1));
    static_assert(are_different(1, 2));
    static_assert(are_different(1u, 2));
    static_assert(are_different(1, 2u));
    static_assert(are_different(-1, -1u));
    static_assert(!are_different((long long)-1u, -1u));
}