获取隐式转换的警告从unsigned溢出到signed

Question

请考虑以下有问题的代码：

#include <iostream>

void foo(int64_t y) {
    std::cout << y << "\n";
}

int main() {
    uint64_t x = 14400000000000000000ull;
    foo(x);
}

通常打印-4046744073709551616 。

如何让编译器帮助解决这种类型的转换/溢出问题？ 我尝试过以下方法：

g++ -g overflow.cpp -fsanitize=undefined -Wall -Wextra -pedantic -Wconversion -Wconversion
clang++ -g overflow.cpp -fsanitize=undefined,integer,implicit-conversion -Wall -Wextra -pedantic

这些都没有给出任何编译或运行时警告。

（clang版本7.0.0，gcc版本8.2.1）

Answer 1

这里的问题是-Wconversion只会在返回源类型时可能不是同一类型时发出警告。 例如，如果foo采用int而不是-Wconversion将发出警告，因为您可能无法将int的值转换回原始的uint64_t值。 如果我们有

uint64_t u = some_value;
int64_t s = static_cast<int64_t>(u);
uint64_t check = static_cast<uint64_t>(s)

然后check == u将永远是真的（只要int64_t也是两个恭维）所以-Wconversion不会发出警告，因为我们得到了源值。

在这种情况下你需要的是

-Wsign-conversion

这将警告你标志不匹配。

Answer 2

GCC和Clang都有警告选项-Wsign-conversion，在这种情况下发出警告。

警告：隐式转换更改签名：'uint64_t'（又名'unsigned long'）到'int64_t'（又名'long'）[--Wsign-conversion]

请注意GCC关于-Wconversion的文档

...默认情况下，在C ++中禁用有关有符号和无符号整数之间转换的警告，除非明确启用了-Wsign-conversion。

另请注意，程序格式正确（因此必须成功编译）并且没有未定义的行为（因此没有理由触发清理程序）。 将不可代表的数字转换为实现定义值的签名结果。