不确定结果的STD ::复杂的行为

Question

on （公开可访问的草稿）C ++ 17标准，它说调用具有数学不确定结果的函数是不确定的行为。例如，

#include <iostream>
#include <complex>

int main() {
    std::cout << std::complex<double>(0., 0.) / std::complex<double>(0., 0.);
    return 0;
}

在clang 7上打印（-nan，-nan）。

零的float部门通常是不确定的行为，但是实现可能遵循IEEE-754语义（C标准中的附件F），并提及在某些C ++标准中传递，但我不确定这一点）。因此，零的浮动除法被定义为std :: numeric_limits＆lt; double＆gt; :: is_iec559是正确的实现。

这是一个语言律师问题，因此我不确定为什么这些评论沿着“不确定行为可以做任何事情”的道路走了。当然，但是对于遵循IEEE-754的实现，未指定（或认为实施定义）的结果的标准缺陷？