为什么std :: numeric_limits <SomeStruct> :: infinity()"工作"？

Question

我不小心喂默认initializeable 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用于编译验证

Answer 1

"为什么"这些问题众所周知是无法回答的,但直接的答案是:它是如何指定的:

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

有了多余的文字即infinity()是:

对所有专业都有意义 has_­infinity != false

在你的情况下,numeric_limits<somestruct>::has_infinity是false,所以infinity()没有意义.

Answer 2

根据C++ 17 [numeric.limits]/1,该函数的默认值为:

static constexpr T infinity() noexcept { return T(); }

您尚未定义任何特化,因此您将获得默认值.

cppreference.com链接