条件分支评估答案

【问题标题】：Conditional branching evaluation条件分支评估
【发布时间】：2020-05-26 18:21:50
【问题描述】：

const int IX(int x, int y, std::size_t width)
{
    if ((width * y + x) > 0)
    {
        return width * y + x;
    }
    else
    {
        return 0;
    }
}

const int IX(int x, int y, std::size_t width)
{
    int value = width * y + x;
    if (value > 0)
    {
        return value;
    }
    else
    {
        return 0;
    }
}

在这里，如果x=0 和y=-1 独立于width，第一个函数返回第一个分支（为什么？），第二个返回预期的。这是编译器错误，还是我遗漏了什么？我正在使用 Visual Studio 2019 编译器。

【问题讨论】：

混合无符号和有符号的危险
@bolov 所以在实践中 unsigned * signed 如果不强制转换是未签名的？为什么？
见Signed & unsigned integer multiplication

标签： c++ if-statement conditional-statements

【解决方案1】：

这是推动摆脱除非常狭窄的域（即位操作）之外的无符号类型的主要展示。

在您的第一个函数中，您可以直接在分支中检查值，

(width * y)

鉴于 width 是无符号的 (size_t)，其结果也是无符号的（在您的情况下，值非常大），因此，将始终大于或等于零。

在您的第二个函数中，您获取一个无符号值，然后将其放回有符号：

int i = width * y

结果又变成有符号，现在变成小于0。

尝试打开编译器警告，你会看到很多。

【讨论】：