c++ std 的 inf 的行为是否与常识无穷大完全一样

i正在实现一种相当复杂的数值算法。它包含一些指数，其中我在打印中间结果时发现了一些指数，即有一些双重溢出。但是，终端打印inf（不是Inf或NaN），似乎不是双重的，甚至不是最小或最大表达双重的双重。但是，inf似乎表现得好像是扩展的实际数字系统（视角是正面和负面无限是一个真实数字，而不是涉及限制的陈述的缩写）。

我已经进行了测试：（G 版本：" Apple LLVM版本8.0.0（Clang-800.0.42.1）"）

#include <iostream> // cout
#include <cmath> // exp, log
#include <limits> // data ranges
int main(void)
{
   const double dMin =std::numeric_limits<int>::min();
   const double dMax =std::numeric_limits<int>::max();
   double p1 =std::exp(710);
   double p2 =std::exp(750);
   double p3 =std::exp(800);
   double p4 =-std::log(0.0);
   std::cout << "p1 :=std::exp(710) =" << p1 << 'n';
   std::cout << "p2 :=std::exp(750) =" << p2 << 'n';
   std::cout << "p3 :=std::exp(800) =" << p3 << 'n';
   std::cout << "p4 :=-std::log(0.0) =" << p4 << 'n';
   std::cout << "does p1==dMax? " << ( (p1==dMax) ? "yes" : "no" ) << 'n';
   std::cout << "does p1==-dMin? " << ( (p1==-dMin) ? "yes" : "no" ) << 'n';
   std::cout << "does p1==p2? " << ( (p1==p2) ? "yes" : "no" ) << 'n';
   std::cout << "does p2==p3? " << ( (p2==p3) ? "yes" : "no" ) << 'n';
   std::cout << "does p3==p4? " << ( (p3==p4) ? "yes" : "no" ) << 'n';
   std::cout << "does 3*p1==p2/2+1? " << ( (3*p1==p2/2+1) ? "yes" : "no" ) << 'n';
   std::cout << "does (-p1)*(-p2)==p3*p3*p3? " << ( ((-p1)*(-p2)==p3*p3*p3) ? "yes" : "no" ) << 'n';
   std::cout << "does std::log(p2)==std::exp(p3)? " << ( (std::log(p2)==std::exp(p3)) ? "yes" : "no" ) << 'n';
}

输出：

p1 :=std::exp(710) =inf
p2 :=std::exp(750) =inf
p3 :=std::exp(800) =inf
p4 :=-std::log(0.0) =inf
does p1==dMax? no
does p1==-dMin? no
does p1==p2? yes
does p2==p3? yes
does p3==p4? yes
does 3*p1==p2/2+1? yes
does (-p1)*(-p2)==p3*p3*p3? yes
does std::log(p2)==std::exp(p3)? yes

inf似乎确实类似于我们的无限概念，但不等于STD的最大和最小。

假设inf的工作方式与常识无穷大一样，是否安全？我可以依靠涉及inf的算法的中间步骤中的操作，将其视为真正的无限，并且最终仅处理其结果？还是如果没有，我应该抓住它吗？但是，我该怎么能，因为它不是最大或最小双重呢？