不一致的警告“从 'const unsigned char' 到 'const float' 的转换需要缩小转换”

Question

Visual C++ 2017 和 gcc 5.4 在此代码 sn-p 中为 Line B 生成 conversion from 'const unsigned char' to 'const float' requires a narrowing conversion 警告，但不为 Line A 生成警告：

#include <iostream>

int main() {
    const unsigned char p = 13;
    const float         q = p;  // Line A

    std::cout << q << '\n';

    const unsigned char c[3] = {0, 1, 255};
    const float         f[3] = {c[2], c[0], c[1]};  // Line B

    for (auto x:f)
        std::cout << x << '\n';
}

这个警告有效吗？为什么Line B 的处理方式与Line A 不同？

Answer 1

警告有效，从C++11开始narrowing conversions在aggregate initialization中被禁止；但没有应用在copy initialization（和以前一样）。

如果初始化子句是表达式，则允许按照复制初始化, except if they are narrowing (as in list-initialization) (since C++11).进行隐式转换

在 C++11 之前，聚合初始化中允许缩小转换，但不再允许。

和

list-initialization 通过以下方式限制允许的隐式转换 禁止：

• 从整数类型转换为浮点类型，除非源是可以存储其值的常量表达式 完全符合目标类型

顺便说一句：c[0]、c[1] 和 c[2] 是 not constant expressions；您可以将数组声明为constexpr，即constexpr unsigned char c[3] = {0, 1, 255};。然后应用异常，Line B 也可以正常工作。