为什么从双精度转换为浮点时，大括号初始化不会引发缩小错误？

Question

每个 C++ 教程早期都会提到两件事：

1. 如果可能的话，支撑初始化通常会更好，因为它会在缩小转换期间抛出错误，例如

int narrow{1.7}; // error: narrowing conversion of '1.7e+0' from 'double' to 'int'

2. 您必须将浮点数显式声明为浮点文字，否则它们将默认为双精度文字

float some_float{1.7f};

然而，当在 Windows 上使用 g++ 编译器时，我发现了一些奇怪的事情 -

float narrow{1.7}; // still a float despite no f postfix
double not_narrow{1.7}; // actually a double

此代码编译时没有任何错误，并sizeof(narrow)返回 4，其中sizeof(not_narrow)返回 8，正如预期的那样。
将鼠标悬停在 1.7 上时，VSCode 将其识别为双精度文字 ~=1.699999999999999956，但 float 随后将其缩小到 ~=1.700000048。
我认为这可能只是 1.7 作为浮点数和双精度数都有效，所以我尝试了

float narrow{1.699999999999999956};

但这会产生相同的结果。
为什么花括号初始化不会在这里抛出错误（警告，诊断消息，任何东西）来将双精度文字缩小为浮点数？这是 g++ 特有的，还是 C++ 的一般怪癖？我很想更好地理解。

Answer 1

如果“源是常量表达式并且转换后的实际值在可以表示的值范围内（即使它不能准确表示）”（C++20 [dcl.init.list]/7.2）。

如果你仔细想想，double{1.7}和float{1.7}很可能都是不准确的。但如果你写的是后者，那么就可以合理地假设你是认真的，并且禁止这样做并没有什么好处。