【译】typeof null的前世今生

    更新时间2013-11-05:为了更好的解释为什么typeof null的结果是object,我看了一下C代码的实现(译者注:Javascript源码)。
 
    在Javascript语言中,typeof null的结果是object。这样就会错误的认为null是一个对象(事实上,它不是一个对象,它是原始值,详细的说明可以看我的发布的博客 Javascript中的数据类型 )。很不幸,它是一个不能修复的bug,因为修复后会破坏掉现有的代码。那么。让我们探索一下这个bug的起源吧。
 
    这个bug是第一版Javascript留下来的。在这个版本,数值是以32字节存储的,由标志位(1~3个字节)和数值组成。标志位存储的是低位的数据。这里有五种标志位:
  • 000:对象,数据是对象的应用。
  • 1:整型,数据是31位带符号整数。
  • 010:双精度类型,数据是双精度数字。
  • 100:字符串,数据是字符串。
  • 110:布尔类型,数据是布尔值。
    最低位有一位,那么标志位只有一个1字节长度;或者是零位,标志位有3个字节长度,多出两个了字节,一共多出四种类型。
 
    有两个特殊的数值:
  • undefined(JSVAL_VOID)是-2^30(一个超出整数范围的数字)
  • null(JSVAL_NULL)是机器代码的空指针,一个对象类型的引用,值是零。
 
    这样就很明显的知道为什么typeof null的值是object了:它检查了标志位的类型,标志位表明它是个对象。下面是源码关于typeof的实现:
 
JS_PUBLIC_API(JSType)

JS_TypeOfValue(JSContext *cx, jsval v)
{
	JSType type = JSTYPE_VOID;
	JSObject *obj;
	JSObjectOps *ops;
	JSClass *clasp;

	CHECK_REQUEST(cx);
	if (JSVAL_IS_VOID(v)) {  // (1)
		type = JSTYPE_VOID;
	} else if (JSVAL_IS_OBJECT(v)) {  // (2)
		obj = JSVAL_TO_OBJECT(v);
		if (obj &&
			(ops = obj->map->ops,
			ops == &js_ObjectOps
			? (clasp = OBJ_GET_CLASS(cx, obj),
			clasp->call || clasp == &js_FunctionClass) // (3,4)
			: ops->call != 0)) {  // (3)
			type = JSTYPE_FUNCTION;
		} else {
			type = JSTYPE_OBJECT;
		}
	} else if (JSVAL_IS_NUMBER(v)) {
		type = JSTYPE_NUMBER;
	} else if (JSVAL_IS_STRING(v)) {
		type = JSTYPE_STRING;
	} else if (JSVAL_IS_BOOLEAN(v)) {
		type = JSTYPE_BOOLEAN;
	}
	return type;
}
 
    上面代码的步骤是这样的:
  • 注释(1),代码首先会检查数值是不是undefined(VOD)。是通过比较值:
 #define JSVAL_IS_VOID(v)  ((v) == JSVAL_VOID)
 //译者注:比较值是否与undefined值相等
  • 注释(2),判断值是否有对象的标志位。如果它是可调用的,或者说通过内部属性[[Class]]可以表明它是一个函数。否者它就是一个对象。这也就是typeof null的执行结果。
  • 随后是针对数字、字符串和布尔值的检测。这里并没有明确的检测null,源码中本应该有这样的实现:
 #define JSVAL_IS_NULL(v)  ((v) == JSVAL_NULL)
//译者注:本身应该存在一个类似检测undefined一样的方法,来检测null,但是事实证明它并没有
 
    这看起来像是一个很明显的bug,但是不要忘了Javascript的第一个版本花费了很少的时间完成的。
 
    感谢:感谢 Tom Schuster (@evilpies)告诉我Javascript源码 源码地址
 
 
 
 
 
posted @ 2015-06-12 20:51 黑MAO 阅读(...) 评论(...) 编辑 收藏