基础野:细说无符号整数

Brief                              

  本来只打算理解JS中0.1 + 0.2 == 0.30000000000000004的原因,但发现自己对计算机的数字表示和运算十分陌生,于是只好恶补一下。

  本篇我们一起来探讨一下基础的基础——无符号整数的表示方式和加减乘除运算。

 

Encode                              

  无符号整数只能表示大于或等于零的整数值。其二进制编码方式十分直观,仅包含真值域。

  我们以8bit的存储空间为例,真值域则占8bit,因此可表示的数值范围是{0,...,255},对应的二进制编码是{00000000,...,11111111}。

  从集合论的角度描述,我们可以将十进制表示的数值范围定义为集合A,将二进制表示的数值范围定义为集合B,他们之间的映射为f。f(a)=b,其中a属于A、b属于B。并且f为双射函数。因此无符号整数表示方式具有如下特点:

  1. 可表示的数值范围小;

  2. 十进制表示的数值范围与二进制表示的数值范围的元素是一一对应的,两者可精确映射转换。(相对浮点数而言,某些二进制表示的数值只能映射为十进制表示的数值的近似值而已)

 

Zero-extend                          

  零扩展运算用于在保持数值不变的前提下,不同字长的整数之间的转换。

  例如现在我们要将8bit的00000100扩展为16bit,那么我们只要将高8bit设置为0即得到000000000000000100,而其数值并不产生变化。

 

Truncation                           

  截断会减少位数,并对原始值取模。模为2^n,n为截断后的位数。

  例如现在将16bit的000000100000000100截断为8bit,那么结果为00000100,而模是2^8。

 

Addition                             

  注意:位级运算均是模数运算,即加减乘除后均会对运算结果取模,并以取模后的结果作为终止返回。

  无符号整数加法的运算顺序:

  1. 算术加法;

  2. 执行截断操作。

  示例,两个4bit的无符号数相加(11+6):

  1011

+0110

10001,然后执行截断得到0001

 

Subtraction                          

  无符号整数减法的运算顺序:

  1. 将减法转换为加法(对减数取补码);

  2. 算术加法;

  3. 执行截断操作。

  示例,两个4bit的无符号数相减(11-6):

 1011

-0110

对减数求补码后,减法转换为加法

  1011

+1010

 10101,然后执行截断得到0101

 

Multiplication                        

  对于乘法实质上就是通过移位操作和加、减法组合而成,且根据乘数是否为2的n次幂区别处理。

  1. 对于乘数为2的n次幂的情况,乘法公式为:a<<n,如6*4等价于6*(2^2),则可转换为移位操作6<<2即可。然后再对结果取模。

  2. 对于乘数不为2的n次幂的情况

      2.1. 将乘数以二进制形式表示,并以连续的1作为分组。如43的二进制形式为00(1)0(1)0(11),从左至右可分成3组分别是(1)、(1)和(11)。

      2.2. 以n表示每组的最高位的指数,以m表示每组最低位的指数。如第一组n=m=5,第二组n=m=3,第三组n=1而m=0。

      2.3. 根据公式(x<<n+1)-(x<<m)对每组进行运算,并将结果相加。如(假设被乘数为2)

            第一组:2<<(5+1) - 2<<5 = 64

            第二组:2<<(3+1) - 2<<3 = 16

            第三组:2<<(1+1) - 2<<0 = 6

            相加得到86

      2.4. 对结果取模。

 

Dividision                           

  对于除法实质上就是通过移位操作和加、减法组合而成,且根据除数是否为2的n次幂区别处理。

  1. 对于被除数为2的n次幂的情况,除法公式为:a>>n,如6/4等价于6/(2^2),则可转换为移位操作6>>2即可。然后再对结果取模。

  2. 对于被除数不为2的n次幂的情况,则情况复杂不少。运算步骤如下:(实质上我们就是按这个步骤做十进制除法的)

      2.1. 高位对齐,在除数值小于被除数值的前提下,让除数的位数等于被除数;若执行高位对齐后,除数值大于被除数时,则除数右移一位。得到位移数。

      2.2. 试商,除数-被除数*N = 余数中间值 ,其中N*被除数 <= 除数 && (N+1)*被除数 > 除数。商 = 商 + N * 基数^位移数。

      2.3. 循环执行上述步骤,直到无需再执行高位对齐,那么2.2中得到的余数中间值将作为除法运算的最终余数,否则余数中间值则作为一下轮高位对齐的被除数处理。

  以下是C的实现:

#include <stdio.h>

// 前置条件
const unsigned short lowest_bit_weight = 1; // 二进制最低位的位权重

int main(){
  // 输入
  unsigned short dividend = 14, divisor = 5;

  // 输出
  unsigned short quotients = 0,  // 商
                 rem = 0;        // 余数

  // 中间值
  unsigned short highest_bit_weight,
         divisor_aligned,
         tmp_dividend = dividend;
  unsigned short high_alignment;

  // 开始运算
  while (1){
      // 高位对齐 (从高位开始运算)
      // 结果:1. 要么被除数的最高位小于除数的最高位;
      //       2. 要么被除数的最高位对齐除数的最高位, 且被除数大于除数;
      high_alignment = 0;
      highest_bit_weight = lowest_bit_weight;
      divisor_aligned = divisor;
      while (tmp_dividend >= divisor_aligned){
        divisor_aligned = divisor_aligned << 1;
        highest_bit_weight = highest_bit_weight << 1;

        high_alignment += 1;
      }
      if (high_alignment > 0){
        divisor_aligned = divisor_aligned >> 1;
        highest_bit_weight = highest_bit_weight >> 1;
        high_alignment -= 1;
      }

      // 当无需执行高位对齐时,则将下一轮的被除数作为余数,并且结束运算
      if (0 == high_alignment) {
        rem = tmp_dividend;
        break;
      }

      // 上一轮运算的商加上最高位权重得到当前运算的商值
      quotients = quotients | highest_bit_weight;
      // 被除数减除数的差值作下一轮的被除数
      tmp_dividend = tmp_dividend - divisor_aligned;
  }
  printf("%u/%u=%u(rem:%u)\n", dividend, divisor, quotients, rem);
  return 0;
}
时间: 2025-01-19 05:36:27

基础野:细说无符号整数的相关文章

基础野:细说浮点数

Brief   本来只打算理解JS中0.1 + 0.2 == 0.30000000000000004的原因,但发现自己对计算机的数字表示和运算十分陌生,于是只好恶补一下.  本篇我们一起来探讨一下基础--浮点数的表示方式和加减乘除运算.   在深入前有两点我们要明确的:   1. 在同等位数的情况下,浮点数可表示的数值范围比整数的大:   2. 浮点数无法精确表示其数值范围内的所有数值,只能精确表示可用科学计数法m*2e表示的数值而已:      (如0.5的科学计数法是2-1,则可被精确存储:

基础野:细说有符号整数

Breif  本来只打算理解JS中0.1 + 0.2 == 0.30000000000000004的原因,但发现自己对计算机的数字表示和运算十分陌生,于是只好恶补一下.  本篇我们一起来探讨一下基础--有符号整数的表示方式和加减乘除运算.   Encode   有符号整数可表示正整数.0和负整数值.其二进制编码方式包含 符号位 和 真值域.   我们以8bit的存储空间为例,最左1bit为符号位,而其余7bit为真值域,因此可表示的数值范围是{-128,...,127},对应的二进制补码编码是{

基础野:细说原码、反码和补码

Brief   说来惭愧虽然刚接触计算机时已经学过原码.反码和补码的内容,但最近重温时却发现"这是什么鬼东西",看来当初只是应付了考试了而已.本篇将试图把他们说个明白,以防日后自己又忘记了.   在深入之前,我们先明确以下几点:   1. 本篇内容全部针对有符号数整数:   2. 对于有符号数整数,其在计算机中的存储结构是 符号位 + 真值域.其中符号位为0表示正数,1表示负数:   3. Q:既然已经有原码,那么为什么还要出现反码.补码等数值的编码方式呢?       A:由于为了降

JS魔法堂:再识Number type

Brief   本来只打算理解JS中0.1 + 0.2 == 0.30000000000000004的原因,但发现自己对计算机的数字表示和运算十分陌生,于是只好恶补一下.以下是恶补后的成果:   基础野:细说原码.反码和补码(http://www.cnblogs.com/fsjohnhuang/p/5060242.html)   基础野:细说无符号整数(http://www.cnblogs.com/fsjohnhuang/p/5078290.html)   基础野:细说有符号整数(http://

JS魔法堂:彻底理解0.1 + 0.2 === 0.30000000000000004的背后

Brief   一天有个朋友问我"JS中计算0.7 * 180怎么会等于125.99999999998,坑也太多了吧!"那时我猜测是二进制表示数值时发生round-off error所导致,但并不清楚具体是如何导致,并且有什么方法去规避.于是用了3周时间静下心把这个问题搞懂,在学习的过程中还发现不仅0.7 * 180==125.99999999998,还有以下的坑   1. 著名的 0.1 + 0.2 === 0.30000000000000004   2. 1000000000000

《Pro/ENGINEER野火版5.0从入门到精通》——第2章 Pro/E野火版5.0基础操作 2.1 文档操作

第2章 Pro/E野火版5.0基础操作 本章着重介绍Pro/E野火版5.0基础操作.基础操作内容主要包括:文档操作.查看视图.窗口的基本操作.设置工作环境以及零件单位等.了解并掌握软件的基础操作从而对软件有个初步的认识. 2.1 文档操作 文档操作中主要包括如何设置工作路径.新建文档.保存文档.打开文档和删除文件等.本节将详细介绍每一种操作方式的使用方法. 2.1.1 设置工作路径 为了便于管理软件在工作中产生的有关文件,在开始或开启某一个项目的文件时,首先应对该项目设置工作路径,设置路径后可以

游戏大厅从基础开始(5)--绕回来细说聊天室(上)

Wiki定义的聊天室 网络聊天室通常直称聊天室,是一种人们可以在线交谈的的网络论坛,在 同一聊天室的人们通过广播消息进行实时交谈. 聊天室可以建立在即时通讯软件(如MSN Messenger.QQ).P2P软件.万维网(如 Halapo, Meebo ) 等基础上,万维网方式更为普通和种类繁多 ,交谈的手段不局限于文本,更包括语音.视频.通常聊天室是按照房间或频道为单位的,在同一房间 或频道的网人可以实时地广播和阅读公开消息.一般情况下,与其它网络论坛.即时通讯不同的是,聊 天室不保存聊天记录.

java-JAVA基础问题,请各位大神详细说下

问题描述 JAVA基础问题,请各位大神详细说下 这个为什么最后输出的是goodandgbc,为啥str没变,char变了呢? 解决方案 形参一般是不改变实参的值的,除非申明为引用,比如你传个int a进去,子函数内部相当于另外新建了一个int型变量b,然后使得b=a,之后的操作都是对于b而言的,a的值不会改变.但是如果你传的是的地址,你可以在子函数里改变这个地址所指向的对象的值. 像数组的传递,基本上就是把数组的首地址传递过去,所以在子函数对这个形参数组的操作会改变主函数里实参数组的值,因为它们

细说javascript函数从函数的构成开始_基础知识

javascript函数是一个比较奇怪的东西,接触一段时间你就会犯迷糊,弄不明白它到底是什么了.你是否会因为有的javascript函数没有名字而莫名其妙,是否会因为javascript函数的参数没有类型而抓狂,是否为javascript函数以表达式的形态存在而彻底崩溃.正是因为有了这些烦恼才让javascript函数值得我们寻味,我想从函数的构成来细说函数,这听起来像是一句废话,讲任何东西当然是从构成去谈,但是由于javascript函数你确实捉摸不了它的形态,因此这里我是从一个标准函数的构成