JS魔法堂:再识Bitwise Operation & Bitwise Shift

Brief                              

linkFly的《JavaScript-如果...没有方法》中提及如何手写Math.round方法,各种奇技淫招看着十分过瘾,最让我惊叹的是 ~~(x + 0.5 + (x >> 30)) ,完全通过加法和位运算搞定整数的四舍五入。在好奇心的驱使下重温了一下位运算,并对上述公式加以封装得到适合小数的四舍五入方法

function round(v/*alue*/, p/*recision*/){
  p = Math.pow(10, p>>>31 ? 0 : p|0)
  v *= p
  return (v + 0.5 + (v>>31)|0) / p
}

在开波前我们先要了解一个现实,那就是虽然JS仅有Number这个数值类型,并且Number底层采用IEEE 754 64bit Double precision floating-point编码,但JS中实际上还是存在Signed Int32、Unsigned Int32和Unsigned Int16的数值编码方式,只是它们仅存在于运算过程中而已,而按位运算则是其中之一。

Bitwise Operation                      

NOT Operation

取反操作,符号为~, ~1=0、~0=1 。

JS的底层实现:~ToInt32(GetValue(expr))

由于Signed Int32采用补码方式编码,因此会存在对n取反后结果等于-n-1,即~n=-n-1。

Bitwise OR

  或操作,符号为|, 1|1=1、1|0=1、0|0=0 。

  JS的底层实现:ToInt32(GetValue(oprand1)) | ToInt32(GetValue(oprand1))

Bitwise AND

  与操作,符号为&, 1&1=1、1&0=0、0&0=0 。

JS的底层实现:ToInt32(GetValue(oprand1)) & ToInt32(GetValue(oprand1))

Exclusive OR

异或操作,符号为^, 1^1=0、1^0=1、0^0=0 。

  JS的底层实现:ToInt32(GetValue(oprand1)) ^ ToInt32(GetValue(oprand1))

Bitwise Shift                        

Arithmetic Shift

  Signed Right Shift Operator

    有符号右移操作符,符号为>>。

   JS的底层实现:ToInt32(GetValue(oprand1)) >> (ToUint32(GetValue(oprand2)) & 0x1F)。

示例:0111>>3,得到0000;1001>>3,得到1111

注意:由于Int32采用补码形式存储,因此 正数>>31 得到0,而 负数>>31 得到 -1。

  Signed Left Shift Operator

    有符号左移操作符,符号为<<。

    JS的底层实现:ToInt32(GetValue(oprand1)) << (ToUint32(GetValue(oprand2)) & 0x1F)。

    示例:0111<<3,得到0000;1001<<3,得到1100

Logical Shift

  Unsigned Right Shift Operator

    无符号右移操作符,符号为>>>。

   JS的底层实现:ToInt32(GetValue(oprand1)) >>> (ToUint32(GetValue(oprand2)) & 0x1F)。

示例:0111>>>3,得到0000;1001>>>3,得到0001

注意:由于Int32采用补码形式存储,因此 正数>>>31 得到0,而 负数>>>31 得到 1。

Abstract Operations                      

  [[DefaultValue]](hint)

    用于获取对象的PrimitiveValue。具体规则如下:

      hint为string或hint为空,且对象类型为Date object时:

        1. 调用toString方法,若返回值为primitive value则直接返回;

        2. 调用valueOf方法,若返回值为primitive value则直接返回;

        3. 抛出TypeError实例。

      hint为number或hint为空,且对象类型不为Date object时:

        1. 调用valueOf方法,若返回值为primitive value则直接返回;

        2. 调用toString方法,若返回值为primitive value则直接返回;

        3. 抛出TypeError实例。

  ToPrimitive(input[, preferredType])

    用于获取入参input的PrimitiveValue。具体规则如下:

      1. 若入参input的类型为Undefined,Null,Boolean,Number,String都直接获取其[[PrimitiveValue]];

2. 其他情况则调用input的[[DefaultValue]](preferredType)方法

  ToNumber

    用于将其他数据类型转换为Number type。具体规则如下:

      1. Undefined -> NaN

      2. Null -> +0

      3. Boolean,true -> 1

             false -> 0

      4. Object,ToNumber(ToPrimitive(arg, hint-number))

      5. String,对于无法解析为StringNumericLiteral的字符串则返回NaN

             StringNumericLiteral与NumericLiteral的区别:

            a. 前后可以有多个空格符号或LineTerminator;

              示例: Number("\r\n 123\r\r\n ") 结果为 123

            b. 前面可以有N个0,依然以十进制来解析字符串;

              示例: Number("0123") 结果为 123,而var num = 0123则是以八进制表示83

            c. 若指定符号,则符号后面要紧跟数值。否则会返回NaN;

              示例:

Number("-    123");                    //结果为 NaN
Number("-123");                        // 结果为-123
var nl = -       123;console.log(nl);  //结果为-123
var nl = - +      123;console.log(nl); //结果为-123

            d. 若StringNumericLiteral仅含LineTeminator和WhiteSpace,则返回0。

            LineTerminator包含 <LF>(换行符,\n,U+000A)

                      <CR>(回车符,\r,U+000D)

                      <LS>(Unicode中的行分隔符,U+2028)

                      <PS>(Unicode中的段落分隔符,U+2029)

            WhiteSpace包含 ASCII的空白字符

                      <TAB>(缩进TAB符,\t,U+0009)

                      <VT>(垂直缩进TAB符,\v,U+000B)

                      <FF>(分页符,\f,U+000C)

                      <SP>(普通空格符,U+0020)

                      <NBSP>(非断行空格符,U+00A0)

                     <BOM>(bit order mark,Unicode中的零宽非断行空格,U+FEFF)

                      作用:作为UTF格式编码的文件的首个字符,用于程序在解析该文件时猜测采用的是采用哪种UTF编码方式。

                     <USP>(Unicode中的所有空白字符)具体看http://www.cnblogs.com/winter-cn/archive/2012/04/17/2454229.html

    

  ToInteger([value])

    具体规则如下:

function ToInteger(value){
  var num = ToNumber(value)
  if (Number.isNaN(num)) return 0
  if (num === 0 || !Number.isFinite(num)) return num
  return sign(num)*floor(abs(num))
}  

  ToInt32([value])

    具体规则如下:

function ToInteger(value){
  var num = ToNumber(value)
  if (Number.isNaN(num)) return 0
  if (num === 0 || !Number.isFinite(num)) return num

  var mod = 2<<32
  num = sign(num)*floor(abs(num))
  num = num - mod * floor(num/mod)
  if (num > 2<<31){
    num = ~(num & -1>>31>>>1) + 1
  }
  return num
}

  ToUint32([value])

    具体规则如下:

function ToInteger(value){
  var num = ToNumber(value)
  if (Number.isNaN(num)) return 0
  if (num === 0 || !Number.isFinite(num)) return num

  var mod = 2<<32
  num = sign(num)*floor(abs(num))
  num = num - mod * floor(num/mod)
  return num
}

  ToUint16([value])

    具体规则如下:

function ToInteger(value){
  var num = ToNumber(value)
  if (Number.isNaN(num)) return 0
  if (num === 0 || !Number.isFinite(num)) return num

  var mod = 2<<16
  num = sign(num)*floor(abs(num))
  num = num - mod * floor(num/mod)
  return num
}

Usage                            

说了这么多还是不如直接看疗效吧

//奇偶判断
function isEven(val){
  return !(val&1)
}
function isOdd(val){
  return !!(val&1)
}

// 字符串是否含某字符判断
function contains(str, c){
  return !!~str.indexOf(c)
}

// 正负号判断
function isPos(val){
  return !(val>>31)
}
function isNeg(val){
  return !!val>>>31
}

// 掩码
function getGroup(ip, mask){
  return (ip&mask).toString(2)
}

// 大小写转换
function toLowerCase(ll){
  return String.fromCharCode(ll.charCodeAt()|1<<5)
}
function toUpperCase(ul){
  return String.fromCharCode(ul.charCodeAt()&((-1>>>25)^(1<<5)))
}

Take Action                          

回到最初四舍五入法方法,其中利用位运算的就两个部分,  p>>>31 ? 0 : p|0 和 v + 0.5 + (v>>31)|0 。

p>>>31用于判断p的正负号,若p为正数则返回0,若p为负数则返回1;而p|0则用于截取p的整数部分。

0.5 + v>>31实质是用于令0.5与v具有相同符号而已,v>>31若v为整数则返回0,若v为负数则返回-1。

Conclusion                          

也许在日常工作中确实很少使用按位运算,大概有三个原因吧:

1. 确实没这个需求;

2. 有这个需求但不会用;

3. 有这个需求而且会用,但其他同事不懂导致可维护性“低”。

但不管用到与否,理解个中原理还是很爽的!

尊重原创,转载请注明来自:http://www.cnblogs.com/fsjohnhuang/p/5142200.html^_^肥子John

Thanks                            

http://www.cnblogs.com/winter-cn/archive/2012/04/17/2454229.html

http://es5.github.io

http://www.cnblogs.com/silin6/p/4367019.html

时间: 2024-10-14 19:18:12

JS魔法堂:再识Bitwise Operation & Bitwise Shift的相关文章

JS魔法堂:精确判断IE的文档模式by特征嗅探

一.前言 苦逼的前端攻城狮都深受浏览器兼容之苦,再完成每一项功能前都要左顾右盼,生怕浏览器不支持某个API,生怕原生API内含臭虫因此判断浏览器类型和版本号成了不可绕过的一道关卡,而特征嗅探是继浏览器探测后另一利器处理上述问题. 二.何为特征嗅探 从前我们都是通过对navigator.userAgent或navigator.appName两个属性值进行特定字符串匹配和萃取来区分浏览器类型和获取版本号的.但随着IE8提供可选的文档兼容性模式设置和各种加壳浏览器的出现,导致无法通过navigator

JS魔法堂:追忆那些原始的选择器

一.前言                                                                                                    首先这里说的原始选择器是指除 querySelector . querySelectorAll 外的其他选择器.从前我只使用 getElementById 获取元素并没有觉得有什么问题,但随着参与项目的前端规模逐步扩大,踩的坑就越来越多,于是将踩过的和学习过的经验教训记录在这里,供以后好查阅

JS魔法堂:属性、特性,傻傻分不清楚

一.前言 或许你和我一样都曾经被下面的代码所困扰 var el = document.getElementById('dummy'); el.hello = "test"; console.log(el.getAttribute('hello')); // IE67下输出test,其他浏览器输出null “搞毛啊?”,苦逼的Jser对着浏览器大呼一声.然后就用下面蹩脚的方式草草处理掉了. function getAttr(el, prop){ return el[prop] || el

JS魔法堂:doctype我们应该了解的基础知识

一.前言 什么是doctype?其实我们一直使用,却很少停下来看清楚它到底是什么,对网页有什么作用.本篇将和大家一起探讨那个默默无闻的doctype吧! 二.什么是doctype doctype或DTD就是声明在文档首行,位于<html>前,用于告知浏览器该文档遵循那种级别的HTML或XHTML规范. 其声明格式如下: <!DOCTYPE① html② PUBLIC③ "公共标识符"④ "系统标识符"⑤> ①. dotype固定的起始部分 ②

JS魔法堂:获取当前脚本文件的绝对路径

一.前言 当写模块加载器时,获取当前脚本文件的绝对路径作为基础路径是必不可少的一步,下面我们一起来探讨一下这个问题吧! 二.各大浏览器的实现方式 [a]. Chrome和FF 超简单的一句足矣! var getCurrAbsPath = function(){ return document.currentScript.src; }; 这里利用了对象 document.currentScript ,它返回的是当前执行的script元素:然后调用script元素的src属性即可获取脚本文件的绝对路

JS魔法堂:jsDeferred源码剖析

一.前言 最近在研究Promises/A+规范及实现,而Promise/A+规范的制定则很大程度地参考了由日本geek cho45发起的jsDeferred项目(<JavaScript框架设计>提供该资讯,再次感谢),追本溯源地了解jsDeferred是十分有必要的,并且当你看过官网(http://cho45.stfuawsc.com/jsdeferred/)的新手引导后就会有种不好好学学就太可惜的感觉了,而只看API和使用指南是无法满足我对它的好奇心的,通过解读源码读透它的设计思想才是根本.

JS魔法堂:那些困扰你的DOM集合类型

一.前言 大家先看看下面的js,猜猜结果会怎样吧! 可选答案: ①. 获取id属性值为id的节点元素 ②. 抛namedItem is undefined的异常 var nodes = document.getElementsByName('dummyName'); var node = nodes.namedItem('id'); 答案是两种都有可能哦!document.getElementsByName在Chrome和FF30.0中返回NodeList(木有namedItem方法的),在IE

JS魔法堂:LINK元素深入详解

一.前言 我们一般使用方式为 <link type="text/css" rel="stylesheet" href="text.css"> 来引入外部层叠式样式文件,但LINK元素各属性的具体含义.资源加载行为等方面却了解不多,本文打算稍微深入一下. 由于内容较多,特设目录一坨: 二.到底有没有结束标签? 三.普通属性介绍 四.属性disabled详解 1. Attribute和Property的disabled  2. disab

JS魔法堂:元素克隆、剪切技术研究

原文:JS魔法堂:元素克隆.剪切技术研究 一.前言 当需要新元素时我们可以通过 document.createElement 接口来创建一个全新的元素,也可以通过克隆已有元素的方式来获取一个新元素.而在部分浏览器中,通过复制来获取新元素的效率比通过 document.createElement 方式的要高一些,具体的性能比较如下: 2% in IE8, but no change in IE6 and IE7 Up to 5.5% in Firefox 3.5 and Safari 4 6% i

JS魔法堂:IMG元素加载行为详解

一.前言 在<JS魔法堂:jsDeferred源码剖析>中我们了解到img元素加载失败可以作为函数异步执行的优化方案,本文打算对img元素的加载行为进行更深入的探讨. 二.资源加载的相关属性和事件 资源加载首先当然是确定资源位置的 src属性 .随之就是资源加载成功与否的 onload事件 和 onerror事件 ,对于IE5~10来说还多了一个 onreadystatechage事件 和与该事件相关联的 readyState属性 和 complete属性 . onload事件 ,当资源加载完