c++ - __FLT_MAX__ 和 __DBL_MAX__ 为 0？

Question

在 GCC 9.1 中，当使用浮点类型调用 std::numeric_limits 的函数时，它们在大多数情况下返回 0。

这发生在我正在处理的项目中，MSVC、GCC 8.3 或 Clang 8.0 没有问题。 <double>::epsilon()有时有一个正确的值，但当从其他文件调用时，它也可能计算为 0。

// Commented values at the end of the lines are the values given by the debugger
// Making the variable constexpr doesn't change their values

auto intMax = std::numeric_limits<int>::max(); // {int} 2147483647

auto floatMax     = std::numeric_limits<float>::max();     // {float} 0
auto floatEpsilon = std::numeric_limits<float>::epsilon(); // {float} 0
auto floatMin     = std::numeric_limits<float>::min();     // {float} 0
auto floatLowest  = std::numeric_limits<float>::lowest();  // {float} -0

auto doubleMax     = std::numeric_limits<double>::max();     // {double} 0
auto doubleEpsilon = std::numeric_limits<double>::epsilon(); // {double} 2.2204460492503131e-16
auto doubleMin     = std::numeric_limits<double>::min();     // {double} 0
auto doubleLowest  = std::numeric_limits<double>::lowest();  // {double} -0

std::cout << std::setprecision(10) << std::fixed
          << "Max int        = " << std::numeric_limits<int>::max()
          << "\n"
          << "\nMax float      = " << std::numeric_limits<float>::max()
          << "\nEpsilon float  = " << std::numeric_limits<float>::epsilon()
          << "\nMin float      = " << std::numeric_limits<float>::min()
          << "\nLowest float   = " << std::numeric_limits<float>::lowest()
          << "\n"
          << "\nMax double     = " << std::numeric_limits<double>::max()
          << "\nEpsilon double = " << std::numeric_limits<double>::epsilon()
          << "\nMin double     = " << std::numeric_limits<double>::min()
          << "\nLowest double  = " << std::numeric_limits<double>::lowest() << std::endl;

(<int>::max() 留作引用)

独立文件的结果(正确值):

Max int        = 2147483647

Max float      = 3.40282e+38
Epsilon float  = 1.19209e-07
Min float      = 1.17549e-38
Lowest float   = -3.40282e+38

Max double     = 1.79769e+308
Epsilon double = 2.22045e-16
Min double     = 2.22507e-308
Lowest double  = -1.79769e+308

项目成果:

Max int        = 2147483647

Max float      = 0
Epsilon float  = 0
Min float      = 0
Lowest float   = -0

Max double     = 0
Epsilon double = 2.22045e-16
Min double     = 0
Lowest double  = -0

当独立编译专用文件时，值是正确的:问题不是来自 GCC(无论如何我都预料到了)，但很可能是来自项目的配置。

编辑:独立编译项目文件(目前出现此问题)也能给出正确的结果。与 gcc -dM -E , __DBL_MAX__定义为 double(1.79769313486231570814527423731704357e+308L) .

__DBL_MAX__值被定义，被 ifdef 包围的代码被执行:

#ifdef __DBL_MAX__
#pragma message "__DBL_MAX__ defined"
#endif

/*
note: #pragma message: __DBL_MAX__ defined
   40 | #pragma message "__DBL_MAX__ defined"
      |                 ^~~~~~~~~~~~~~~~~~~~~
*/

GDB 给出了相同的精确值，所以输出部分没有问题。输出 XXX_YYY或 __XXX_YYY__给出相同的结果，因为 numeric_limits 的函数无论如何都会调用它们。

要 100% 清楚:std::numeric_limits<double>::max() == 0返回true，所以输出部分没有问题。它只是留在这里作为引用。

GCC 产生这种行为的原因可能是什么？不是 __XXX_YYY__无论如何内置值？他们怎么可能持有 0？

Answer 1

所以错误来自(至少间接地)预编译头文件，我们将其与 CMake 的 cotire 一起使用。

这些 header 包含的每个文件，手动单独包含在“有问题的”文件中，都没有重现问题。

虽然有点奇怪，但目前除了cotire，我还没有看到任何可行的解释。根据此线程，显然已经报告了限制问题:C++ Cmake build with cotire and gtest - error with float.h

临时解决方案是使用 GCC 9.1+ 禁用预编译 header 。如果任何人遇到过同类问题，如果您知道发生这种情况的原因和方式，请随时添加评论或回答。

感谢 Giovanni、Kamil 和 n.m 在评论中引导我走向正确的方向!