【译】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源码 源码地址

 

 

原文地址：http://www.2ality.com/2013/10/typeof-null.html