版权申明:本文为博主窗户(Colin Cai)原创,欢迎转帖。如要转贴,必须注明原文网址

  http://www.cnblogs.com/Colin-Cai/p/7223254.html 

  作者:窗户

  QQ:6679072

  E-mail:6679072@qq.com

  了解了浮点数的存储以及手算平方根的原理,我们可以考虑程序实现了。

  先实现一个64位整数的平方根,根据之前的手算平方根,程序也不是那么难写了。

#include <stdint.h>
uint64_t _sqrt_u64(uint64_t a)
{
int i;
uint64_t res;
uint64_t remain; //0的平方根是0,特殊处理一下
if(a == 0ull)
return 0ull; //找到最高位的1,并且产生平方根结果最高位的1
for(i=62;;i-=2)
if(a&(3ull<<i)) {
res = 1ull;
remain = ((a&(3ull<<i))>>i) - 1ull;
i -= 2;
break;
} //根据手算平方根的原理,依次产生各位结果
for(;i>=0;i-=2) {
//右移动两位,并把a接着的两位并入remain
remain = (remain<<2)|((a&(3ull<<i))>>i);
if(((res<<2)|1ull) <= remain) {
//产生新一位的1
remain = remain - ((res<<2)|1ull);
res = (res<<1)|1ull;
} else {
//产生新一位的0
res <<= 1;
}
} return res;
}

  其实,可以合在一起写,代码会短一些,但效率会低那么一点点,而且编译器应该不太容易优化。

#include <stdint.h>
uint64_t _sqrt_u64(uint64_t a)
{
int i;
uint64_t res;
uint64_t remain; res = remain = 0ull; for(i=62;i>=0;i-=2) {
remain = (remain<<2)|((a&(3ull<<i))>>i);
if(((res<<2)|1ull) <= remain) {
remain = remain - ((res<<2)|1ull);
res = (res<<1)|1ull;
} else {
res <<= 1;
}
} return res;
}

  不过,我们不需要这个结果。

  为了验证其正确性,我们来写个C语言的main

#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>
uint64_t _sqrt_u64(uint64_t a); int main()
{
uint64_t a, b;
scanf("%" PRIu64, &a);
b = _sqrt_u64(a);
printf("%" PRIu64 "\n",b);
return 0;
}

  我们shell程序测试一下,我们当然不可能测试过每一个64bits的数,这个运算量太大,不现实。我们可以用随机取一部分来测试。

#!/bin/bash

#编译
gcc -O2 -s sqrt_u64.c main_sqrt_u64.c -o a.out #随机测试10000个数
for((i=;i<;i++));do
#随机产生bits ~,如果是0,代表测试的数就是0
#如果不是0,则代表要产生的数二进制可以有多少位
let bits=RANDOM%
if [ $bits -eq ]; then
x=
y=
else
#产生一个bits位的二进制数x
x=$({
#最高位1
echo -n
#之后每位随机产生
for((j=;j<bits;j++));do
let x=RANDOM%
echo -n $x
done
})
#用bc将x转换成十进制
x=$(echo 'obase=10;ibase=2;'"$x" | bc)
#用bc计算x的平方根取整,理论上和我们的C语言计算一致
y=$(echo 'sqrt('"$x"')' | bc)
fi
#z是我们的C语言计算结果
z=$(echo $x | ./a.out)
#比较,如果不一致,就报错
if [ $y -ne $z ];then
echo $x $y $z error
exit
fi
done
echo OK

  测试结果表明,我们的C语言还是可以得到正确的结果的。

  再来回忆下第一节里讲过的浮点数结构,

  S(1bits)  |   N(8bits)  |  A(23bits)

   对于浮点数a*2n,

1<=a<2,n为整数,

  如果n是偶数,

  那么a*2n的平方根是sqrt(a)*2n/2,也满足1<=sqrt(a)<2,n/2是整数;

  如果n为奇数,

  那么a*2n的平方根是sqrt(2*a)*2(n-1)/2,也满足1<=sqrt(2*a)<2,(n-1)/2是整数。

  所以此处要用a或者2*a来开平方根,

  回忆一下浮点数的结构,单精度浮点数的精度是23位。

  表示的是科学计数法a*2n的a减去1的部分,那么加上整数1可以用二进制24位表示。

  于是,我们就想,一个二进制48位或47位长的数,平方根是二进制24位。那么,我们就可以用一个48位或47位的二进制整数的平方根计算结果的小数部分。

  nan/inf/-inf以及负数的平方根都是nan,

  0.0的平方根是0.0,

  -0.0的平方根是-0.0(可能只是某些库里是这样的),

  以上都可以在计算的时候特殊化一下。

  规格数(就是用科学计数法表示的浮点数)的平方根也是规格数,

  S=0,N=0,A>0代表的是A*2-149,也就是(A*2)*2-150

  我们稍微计算一下,可以明白,所有的此类数的平方根都在规格数表示的范围内。

  于是,有了以下的代码。

  

#include <stdint.h>
static uint32_t _sqrt_(uint64_t a)
{
int i;
uint64_t res;
uint64_t remain; res = remain = 0ull; //之前整数平方根被直接优化,我们只需要求47位或者48位整数的平方根
for(i=46;i>=0;i-=2) {
remain = (remain<<2)|((a&(3ull<<i))>>i);
if(((res<<2)|1ull) <= remain) {
remain = remain - ((res<<2)|1ull);
res = (res<<1)|1ull;
} else {
res <<= 1;
}
} return (uint32_t)res;
} float mysqrtf(float f)
{
union {
float f;
uint32_t u;
} n;
uint32_t N,A;
int _N, i;
uint64_t _A; n.f = f;
if(n.u == 0x80000000 || n.u == 0x00000000) /* 0.0/-0.0 */
return n.f;
N = (n.u&(0xff<<23))>>23;
if(N==0xff||(n.u&0x80000000)) { /* inf/-inf/nan/ f < 0.0*/
n.u = 0x7fc00000; /* nan */
return n.f;
}
if(N!=0x0) { /* 用科学计数法表示的规格数 */
A = (n.u&0x7fffff)|0x800000;
_N = (int)N - 127;
if(N&0x1) {
_A = (uint64_t)A<<23;
} else {
_A = (uint64_t)A<<24;
_N--;
}
} else { //A*2^(-149)这种表示方式的浮点数
//还是需要找最高位
for(i=22;;i--)
if(n.u&((0x1)<<i))
break;
//然后需要移位,要区分奇数和偶数
if(i&0x1) {
_N = i-149;
_A = (uint64_t)n.u << (46-i);
} else {
_N = i-150;
_A = (uint64_t)n.u << (47-i);
}
}
//小数部分
A = _sqrt_(_A);
//指数部分
N = (uint32_t)(_N/2+127);
//得到结果
n.u = (A&0x7fffff)|(N<<23);
return n.f;
}

  同样,也写个测试用的程序,对inf/-inf/nan/0.0/-0.0以及负数不测了,这些很简单。

#include <stdio.h>
#include <stdint.h>
#include <math.h>
#include <time.h>
#include <stdlib.h>
#include <inttypes.h> int main(int argc, char **argv)
{
union {
float f;
uint32_t u;
} n;
uint32_t A,N;
float f,f2;
int i; srand((unsigned)time(NULL));
//随机10000个数据
for(i=0;i<10000;i++) {
N = rand()%256;
if(N==255)
N=254;
A = 0x0;
A |= rand()%256;
A |= (rand()%256)>>8;
A |= (rand()%256)>>16;
n.u = (A&0x7fffff)|(N<<23);
f = sqrtf(n.f);
f2 = mysqrtf(n.f);
printf("%.60f %.60f\n",f,f2);
} return 0;
}

  结果发现,我们的程序和数学库里的sqrtf结果有细微差别。

  于是,我们决定再加个小东西,就是四舍五入。之前我们用的是47位或者48位数开平方,为了四舍五入,我们需要多一位,于是就用49位或者50位数开平方。

  修改一下mysqrtf,增加两位拿去开平方,_sqrt_也动一下。

#include <stdint.h>
static uint32_t _sqrt_(uint64_t a)
{
int i;
uint64_t res;
uint64_t remain; res = remain = 0ull; //之前整数平方根被直接优化,我们只需要求49位或者50位整数的平方根
for(i=48;i>=0;i-=2) {//这里之前是46,改成48
remain = (remain<<2)|((a&(3ull<<i))>>i);
if(((res<<2)|1ull) <= remain) {
remain = remain - ((res<<2)|1ull);
res = (res<<1)|1ull;
} else {
res <<= 1;
}
} return (uint32_t)res;
}
float mysqrtf(float f)
{
union {
float f;
uint32_t u;
} n;
uint32_t N,A;
int _N, i;
uint64_t _A; n.f = f;
if(n.u == 0x80000000 || n.u == 0x00000000) /* 0.0/-0.0 */
return n.f;
N = (n.u&(0xff<<23))>>23;
if(N==0xff||(n.u&0x80000000)) { /* inf/-inf/nan/ f < 0.0*/
n.u = 0x7fc00000; /* nan */
return n.f;
}
if(N!=0x0) { /* 用科学计数法表示的规格数 */
A = (n.u&0x7fffff)|0x800000;
_N = (int)N - 127;
if(N&0x1) {
_A = (uint64_t)A<<25;
} else {
_A = (uint64_t)A<<26;
_N--;
}
} else { //A*2^(-149)这种表示方式的浮点数
//还是需要找最高位
for(i=22;;i--)
if(n.u&((0x1)<<i))
break;
//然后需要移位,要区分奇数和偶数
if(i&0x1) {
_N = i-149;
_A = (uint64_t)n.u << (48-i);
} else {
_N = i-150;
_A = (uint64_t)n.u << (49-i);
}
}
//小数部分
A = _sqrt_(_A);
//四舍五入
A = (A+(A&0x1))>>1;
//指数部分
N = (uint32_t)(_N/2+127);
//得到结果
n.u = (A&0x7fffff)|(N<<23);
return n.f;
}

  然后再测,准确无误。于是我们可以完工了。

平方根的C语言实现(三) ——最终程序实现的更多相关文章

  1. 深入研究C语言 第三篇

    本篇研究TC2.0下其他几个工具.同时看看TC由源代码到exe程序的过程. 1. 用TCC将下面的程序编为.obj文件 我们知道,TCC在默认的编译连接一个C语言的源程序a.c的时候分为以下两步: ( ...

  2. 利用Scala语言开发Spark应用程序

    Spark内核是由Scala语言开发的,因此使用Scala语言开发Spark应用程序是自然而然的事情.如果你对Scala语言还不太熟悉,可 以阅读网络教程A Scala Tutorial for Ja ...

  3. .NET DLL 保护措施详解(三)最终效果

    针对.NET DLL 保护措施详解所述思路完成最终的实现,以下为程序包下载地址 下载 注意: 运行环境为.net4.0,需要安装VS2015 C++可发行组件包vc_redist.x86.exe.然后 ...

  4. ASP.NET MVC:多语言的三种技术处理策略

    ASP.NET MVC:多语言的三种技术处理策略 背景 本文介绍了多语言的三种技术处理策略,每种策略对应一种场景,这三种场景是: 多语言资源信息只被.NET使用. 多语言资源信息只被Javascrip ...

  5. Swift5 语言指南(三) 快速之旅

    传统表明,新语言中的第一个程序应在屏幕上打印“Hello,world!”字样.在Swift中,这可以在一行中完成: print("Hello, world!") // Prints ...

  6. UWP 多语言的三个概念

    首先了解一下 RFC4646 和 BCP-47 是什么东西: RFC4646 The name is a combination of an ISO 639 two-letter lowercase ...

  7. SAS进阶《深入解析SAS》之开发多语言支持的SAS程序

    SAS进阶<深入解析SAS>之开发多语言支持的SAS程序 1. 多语言支持的应用程序是指该程序在世界给第使用时,其能够处理的数据,以及处理数据的方式.信息展现的方式都符合当地的语言.文化习 ...

  8. [转载] 使用C/C++语言编写基于DSP程序的注意事项

    原文地址:『转』使用C/C++语言编写基于DSP程序的注意事项作者:skysmile   1.不影响执行速度的情况下,可以使用c或c/c++语言提供的函数库,也可以自己设计函数,这样更易于使用“裁缝师 ...

  9. C语言之简易了解程序环境

    C语言之简易了解程序环境 大纲: 程序的翻译环境 预编译 编译 汇编 链接 程序的运行环境 在ANSI C的任何一种实现中,存在两个不同的环境. 第1种是翻译环境,在这个环境中源代码被转换为可执行的机 ...

随机推荐

  1. 向maven中添加本地jar包

    <dependency> <groupId>org.csource</groupId> <artifactId>fastdfs-client-java& ...

  2. bootstrap_table_class表格样式实例

    <div class="container"> <h2>表格</h2> <!--table标签级别的样式说明如下: ----.table ...

  3. excel vlookup

    今天在百度知道的时候,看到旁边有人问excel中条件查找vlookup的问题,有几位高手都知道使用vlookup作答,可惜都是没有经过测试,直接复制别人的答案,让所有的读者都无法实施,一头雾水.今天我 ...

  4. Foundation框架中日期的操作

    #import <Foundation/Foundation.h> int main(int argc, const char * argv[]) { NSDate *date1=[NSD ...

  5. Windows下载安装Numpy、Scipy、py-matplotlib

    一.安装环境 Windows10 64.python2.7 二.Numpy下载 1.下载Numpy: 下载地址:https://www.lfd.uci.edu/~gohlke/pythonlibs/# ...

  6. sql server 2008 r2 登陆时显示无法打开默认的数据库

    解决! 第一步: 远程其他服务器的数据库能连上,本地的数据库某个用户名就是打不开,一开始以为是用户名或者密码错误, 后来用sqlcmd dos命令 -S . -U an -P sa 的方式登陆时可以的 ...

  7. arguments,caller,callee之理解

    arguments对象代表正在执行的函数和调用它的函数的参数,arguments是一个不是数组但类似 数组的对象,它具有同数组一样的访问性质及方式,可以由arguments[n]来访问对应单个参数的值 ...

  8. Cocos2d-x 3.0 Android改动APK名、更改图标、改动屏幕方向、改动版本,一些须要注意的问题

    非常多新手程序员做出一个游戏后,编译成apk安装在手机上.却发现安装程序名和游戏图标都是Cocos2dx默认的,并且默认屏幕方向是横向.那么须要怎么才干改动为自己想要的呢? 打开你创建的project ...

  9. css中设置div水平居中,margin:0px auto无用的情况

    在CSS中加了margin:0px auto;却没有效果,不能实现居中的问题!margin:0px auto;意思就是:上下边界为0.左右依据宽度自适应!就是水平居中的意思.无效的原因是,当你没有设置 ...

  10. hdu 5635 LCP Array(BC第一题)

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=5635 LCP Array Time Limit: 4000/2000 MS (Java/Others) ...