c++ - 缩小转换差异

Question

g++和clang都可以编译

std::vector<int> xs{1, 2, 3u};

但是编译不行

std::vector<int> xs{1, 2, 3.0};

这个看似奇怪的选择背后的基本原理是什么？

如果我们考虑最后一个值的类型，unsigned 和double 都不能安全地转换为int，如果我们改为考虑特定文字值，则 3u 和 3.0 都可以安全地转换。

那为什么要区分呢？

正式规范说，如果可以表示值，则允许从整数或枚举到不同的 it 的转换，甚至允许从丢失数据的文字(例如 double 到 float )。有趣的是，这导致:

 std::vector<float> x{1073741824};  // ok, value can be represented
 std::vector<float> y{1073741823};  // not ok, narrowing
 std::vector<float> z{1073741823.}; // ok (even if loses precision!)
 std::vector<int> w{3.0};           // not ok, just because

Answer 1

因为 list initialization做不到narrowing conversions .