c++ - 为什么 std::numeric_limits::infinity() "work"？

Question

我不小心输入了一个默认的可初始化对象 struct至 std::numeric_limits<somestruct>::infinity() .我得到的是一个默认结构。

为什么标准允许它编译并返回这样一个意想不到的值？

#include <iostream>

struct somestruct {
    uint64_t a = 7;
};

inline ::std::ostream& operator <<(::std::ostream& s, const somestruct& q) {
    s << q.a;
    return s;
}

int main(int argc, char **argv) {
    constexpr const auto inf = ::std::numeric_limits<somestruct>::infinity();
    std::cout << inf << std::endl;
    return 0;
}

Godbolt for compilation验证

Answer 1

众所周知，“为什么”的问题是无法回答的，但直接的答案是:就是这样 it's specified :

namespace std {
  template<class T> class numeric_limits {
    // ...
    static constexpr T infinity() noexcept { return T(); }
    // ...
  };
}

随着extra text那infinity()是:

Meaningful for all specializations for which has_­infinity != false

在你的例子中，numeric_limits<somestruct>::has_infinity是false , 所以 infinity()没有意义。