长双sqrt()的准确性

时间:2011-01-27 15:53:22

标签: c++ double long-integer sqrt

我注意到sqrt()的long double版本的准确性存在问题。以下代码演示了此问题。

#include <iostream>
#include <cmath>
#include <cfloat>

int main(int argc, char ** argv)
{
  int count=0;
  long double s=sqrt(3L);
  std::cout.precision(21);
  std::cout << "s=" << s << ", s^2=" << s*s << std::endl;
  while( s*s<3L+LDBL_EPSILON ) {
    s+=LDBL_EPSILON;
    std::cout << s << ' ' << s*s << std::endl;
    ++count;
  }
  std::cout << "sqrt(3L) is approximately " << count << " multiples of LDBL_EPSILON away from the correct value." << std::endl;
  return 0;
}

使用

编译并运行它
>g++ -o sqrt sqrt.cpp && ./sqrt

给出

s=1.73205080756887719318, s^2=2.9999999999999996524
1.73205080756887719329 2.99999999999999965284
1.73205080756887719339 2.99999999999999965306
... (922 lines omitted)
1.73205080756887729347 2.99999999999999999978
1.73205080756887729357 3.00000000000000000022
sqrt(3L) is approximately 926 multiples of LDBL_EPSILON away from the correct value.

sqrt()的常规双版本给出了最接近实际值的双精度。

我正在使用的g ++版本是

>g++ -v
Using built-in specs.
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 4.4.5-8' --with-bugurl=file:///usr/share/doc/gcc-4.4/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.4 --enable-shared --enable-multiarch --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.4 --libdir=/usr/lib --enable-nls --enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --with-arch-32=i586 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.4.5 (Debian 4.4.5-8) 

这是一个已知的错误吗?我应该在某处报告吗?

2 个答案:

答案 0 :(得分:9)

这里有两个问题:首先,3L隐式提升为double而不是long double,所以即使您将返回值分配给long double,它仍然使用低精确版sqrt。您需要static_cast 3到long double作为参数。其次,只有double版本的sqrt被导入全局命名空间,因为C不支持函数重载,你必须使用std::sqrt

因此:

long double s=std::sqrt(static_cast<long double>(3));

答案 1 :(得分:0)

double sqrt()的'常规'版本的值是否经历了比long double更大的舍入粒度?这就是我们所期望的。可能是这种“粒状”舍入碰巧接近正确值 - 比长双倍sqrt更接近。

检查这个的方法是尝试多个值并进行比较。