GCC 和 -Wconversion

Question

让我们编译以下程序：

\n\n

int main()\n{\n    uint16_t data = 0;\n    data |= uint16_t(std::round(3.14f));\n    return 0;\n}\n

\n\n

和g++ -Wconversion prog.cpp

\n\n

我们会得到warning: conversion to \xe2\x80\x98uint16_t {aka short unsigned int}\xe2\x80\x99 from \xe2\x80\x98int\xe2\x80\x99 may alter its value，但我在这里看不到隐式转换。

\n\n

这种警告应该通过显式强制转换来消除，例如：

\n\n

double d = 3.14;\nfloat foo1 = d; // Warning\nfloat foo2 = float(d); // No warning\nfloat foo2 = static_cast<float>(d); // No warning\n

\n\n

GCC 就在这里还是一个错误？

\n\n

请注意，我的片段很小。例如，在以下情况下警告消失：

\n\n

\n
• 删除f的后缀3.14，即 make itdouble
\n
• 使用赋值代替|=
\n
• 消除std::round
\n
• 缓存舍入结果：const auto r = uint16_t(std::round(3.14f));，然后将其或分配给data。
\n

\n

Answer 1

GCC 就在这里还是一个错误？

由于行为与预期不符，我将其称为错误。

来自https://godbolt.org/z/aSj--7，似乎在GCC眼中，data |= uint16_t(std::round(3.14f))翻译为

(void) (data = TARGET_EXPR <D.2364, (uint16_t) round (3.1400001049041748046875e+0)>;, data | NON_LVALUE_EXPR <D.2364>;)

(TARGET_EXPR代表临时对象。D.2364是内部变量名。)

将 GCC 的内部语言翻译回 C++，我们将得到

data = (temp = (uint16_t) round (3.14e+0), data | temp)

由于逗号表达式的 LHS 不影响 RHS，因此这应该与 一样安全data = data | temp。然而，GCC 对前者发出警告，但不对后者发出警告，这不太可能是故意的。因此我认为这是 GCC 维护者的疏忽。