迭代在 for 循环中初始化的 std::array 是未定义的行为吗？

Question

// This snippet
for (const float t : std::array{ 0.0f, 0.33f, 0.66f, 1.0f }) {
  std::cout << "t = " << t << "\n";
}
// Yields the following (incorrect) values:
t = -3.91649e-28
t = 4.59037e-41
t = 2.66247e-44
t = 0

// Whereas this snippet ...
auto vals = std::array{ 0.0f, 0.33f, 0.66f, 1.0f };
for (const float t : vals) {
  std::cout << "t = " << t << "\n";
}
// Yields the following (correct) values:
t = 0
t = 0.33
t = 0.66
t = 1

第一个片段是未定义的行为，还是编译器错误？

更新： 这是使用 std=c++17 和 /Ox 使用 Visual Studio 16.7.2 和 16.7.3 编译的。该错误在我的错误项目中仍然存在，但我无法在使用类似构建标志的小项目中重现它。如果我使用整数而不是浮点数，问题仍然存在。

Answer 1

不，它不是 UB，因为 range-for 循环确实延长了临时范围的生命周期。 https://en.cppreference.com/w/cpp/language/range-for

If range_expression returns a temporary, its lifetime is extended until the end of the loop, as indicated by binding to the forwarding reference __range, but beware that the lifetime of any temporary within range_expression is not extended.

考虑到事实，gcc 对这段代码没有问题它可能是 MSVC 错误。

迭代在 for 循环中初始化的 std::array 是未定义的行为吗？

Is it undefined behavior to iterate over an std::array initialized in the for-loop?

c++

floating-point

stdarray