条件分支评估

Conditional branching evaluation

本文关键字：评估 分支 条件      更新时间：2023-10-16
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编译器。

这是推动摆脱无符号类型的主要展示，除了非常狭窄的域(即位操作(。

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

(width * y)

假设width是无符号的(size_t(，其结果也是无符号的(在您的情况下，相当大的值(，因此，将始终大于或等于零。

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

int i = width * y

结果，它再次变为签名，现在变为小于 0。

尝试打开编译器警告，您将看到很多警告。

相关文章：