JS魔法堂:函数重载 之 获取变量的数据类型

Brief                              

  有时我们需要根据入参的数据类型来决定调用哪个函数实现,就是说所谓的函数重载(function overloading)。因为JS没有内置函数重载的特性,正好给机会我们思考和实现一套这样的机制。

使用方式:

function foo(){
  return dispatch(this, arguments)
}
foo["object,number"] = function(o, n){console.log(o.toString() + ":" + n)}
foo["string"] = function(s){console.log(s)}
foo["array"] = function(a){console.log(a[0])}

机制实现:

;(function(e/*xports*/){
  e.dispatch = function(thisValue, args){
    var rSignature = getSignature(args)
    for (var p in args.callee){
      if (rSignature.test(p)){
        return args.callee[p].apply(thisValue, args)
      }
    }
  }
  function getSignature(args){
    var arg, types = []
    for (var i = 0, len = args.length; i < len; ++i){
      arg = args[i]
      types.push(type(arg))
    }
    var rTypes = "^\\s*" + types.join("\\s*,\\s*") + "\\s*$"
    return RegExp(rTypes)
  }
  function type(val){
    // TODO
  }
}(window))

 那现在问题就落在type函数的实现上了!

 关于获取变量的数据类型有typeof、Object.prototype.toString.call和obj.constructor.name三种方式,下面我们一起来了解一下!

typeof Operator                        

  语法: typeof val

  内部逻辑:

function typeof(val){
  var ret = Type(val)
  if (ret === "Reference" 
      && IsUnresolvableReference(val)) return "undefined"
  ret = GetValue(val)
  ret = Type(ret)
  return ret
}

  Type(val)抽象操作的逻辑:

  Undefined -> "undefined"   Null -> "object"   Boolean -> "boolean"   Number -> "number"   String -> "string"   Objecjt,若对象为native object并且没有[[Call]]内置方法,则返回"object"       若对象为native object或host object且有[[Call]]内置方法,则返回"function"       若对象为host object并且没有[[Call]]内置方法,则返回除"undefined"、"boolean"、"number"和"string"外的数据类型字符串。

native object,就是Math、{foo:1}、[]、new Object()和RegExp等JS规范中定义的对象,其中Math、RegExp等程序运行时立即被初始化的对象被称为built-in object。

host object,就是宿主环境提供的对象,如浏览器的window和nodejs的global。

  从上述Type(val)抽象操作的逻辑得知:

    1. typeof能清晰区分Boolean、Number、String和Function的数据类型;

    2. 对于未声明和变量值为Undefined的变量无法区分,但对未声明的变量执行typeof操作不会报异常;

    3. typeof对Null、数组和对象是无能的。

  针对2、3点我们可以求助于 Object.prototype.toString.call(val) 。

Object.prototype.toString.call(val)              

  Object.prototype.toString.call(val)或({}).toString.call(val)均是获取val的内置属性[[Class]]属性值,并经过加工后返回。

  内部逻辑:

function Object.prototype.toString(){
  if (this === undefined) return "[object Undefined]"
  if (this === null) return "[object Null]"
  var o = ToObject(this)
  var clazz = o.[[Class]]
  return "[object " + clazz + "]"
}

  注意:1. 由于内部硬编码null返回"[object Null]",因此虽然null本应不属于Object类型,但JS中我们依然将其当作Object来使用(历史+避免破坏已有库的兼容性,导致后来无法修正该错误了);

           2. 即使入参为primitive value,但内部还是会对其进行装箱操作(通过ToObject抽象操作)。

  那现在我们就需要了解一下[[Class]]内部属性了。

内部属性[[Class]]

  在构造对象时会根据对象的类型设置[[Class]]的值,而其值类型为字符串。对于native object而言,其值范围是:Arguments Array、Boolean、Date、Error、Function、JSON、Math、Number、Object、RegExp、String。对于host object而言,则用HTMLElement、HTMLDocument等了。

注意:[[Class]]是用于内部区分不同类型的对象。也就是仅支持JS语言规范和宿主环境提供的对象类型而已,而自定义的对象类型是无法存储在[[Class]]中。

function Foo(){}
var foo = new Foo()
console.log(({}).toString.call(foo)) // 显示[object Object]

  于是我们需要求助于constructor.name属性了。

obj.constructor.name                    

function Foo(){}
var foo = new Foo()
console.log(foo.constructor.name) // 显示Foo

那如果采用匿名函数表达式的方式定义构造函数呢?只能说直接没辙,要不在构造函数上添加个函数属性来保存(如Foo.className="Foo"),要不自己构建一个类工厂搞定。

Implementaion of type function              

  综上所述得到如下实现:

/*
 * 获取对象的数据类型
 * @method type
 * @param {Any} object - 获取数据类型的对象
 * @param {Function} [getClass] - 用户自定义获取数据类型的方法
 * @returns {String} 数据类型名称
 */
function type(o/*bject*/, g/*etClass*/){
  var t = typeof o
  if ("object" !== t) return t.replace(/^[a-z]/, function(l){return l.toUpperCase()})

  var rType = /\s*\[\s*object\s*([0-9a-z]+)\s*\]\s*/i
  t = ({}).toString.call(o)
  t = t.match(rType)[1]
  if ("Object" !== t) return t

  t = o.constructor.name
  if (!t && arguments.callee(g) === "Function"){
    t = g(o)
  }
  t = t || "Object"
  return t
}

Consolusion                             

  尊重原创,转载请注明

Thanks                              

http://segmentfault.com/q/1010000000669230

http://es5.github.io/#x15.2.4.2

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏专注 Java 基础分享

基本数据类型及其包装类(一)

我们都说,Java 是一门面向对象型程序设计语言,但是它设计出来的「基本数据类型」仿佛又打破了这一点,所以,只能说 Java 是非 100% 纯度的面向对象程序...

3805
来自专栏Python爬虫与数据挖掘

Python正则表达式初识(五)

正则表达式的内容很丰富,今天小编继续给大家分享Python正则表达式的基础知识。今天要给大家的讲的特殊字符是竖线“|”。竖线“|”实质上是一个或的关系。

1054
来自专栏青青天空树

C语言中把数字转换为字符串 【转】

在将各种类型的数据构造成字符串时,sprintf 的强大功能很少会让你失望。由于sprintf 跟printf 在用法上几乎一样,只是打印的目的地不同而已,前者...

4.3K5
来自专栏用户2442861的专栏

深入理解java异常处理机制

http://blog.csdn.net/hguisu/article/details/6155636

902
来自专栏Golang语言社区

深入分析golang多值返回以及闭包的实现

一、前言 golang有很多新颖的特性,不知道大家的使用的时候,有没想过,这些特性是如何实现的?当然你可能会说,不了解这些特性好像也不影响自己使用golang,...

5186
来自专栏落影的专栏

程序员进阶之算法练习(三十二)LeetCode专场

题目链接 题目大意: 给出一个链表RandomListNode *next, *random; 每个节点有int值,有两个指针,一个指向下一个节点,一个指...

972
来自专栏JetpropelledSnake

Python入门之面向对象之类继承与派生

本章内容     一、继承     二、抽象类     三、继承的实现原理 ==========================================...

3538
来自专栏Micro_awake web

javascript(三):对象

 对象(object)是javascript中很重要的数据类型。对象是“键值对”的集合,同时也是无序的。(注意:对象结尾处有分号) 1 var ob1={ ...

20410
来自专栏猿人谷

memset函数使用方法

将s所指向的某一块内存中的每个字节的内容全部设置为ch指定的ASCII值, 块的大小由第三个参数指定,这个函数通常为新申请的内存做初始化工作, 其返回值为指向S...

27810
来自专栏专注数据中心高性能网络技术研发

[Effective Modern C++(11&14)]Chapter 3: Moving to Modern C++

2376

扫码关注云+社区

领取腾讯云代金券