【翻译】追溯“typeof null”的历史

我的翻译小站:https://www.zcfy.cc/article/the-history-of-typeof-null

翻译原文链接:  

 

更新2013-11-05:我发现用C语言能够很好的解释为什么typeof null 结果是'object'。

在JavaScript中,typeof null 是 'object',它错误地将null认为是对象(其实它不是,它是一个原始的值,详情可查询 categorizing values )。这是一个bug,不幸地是无法被修复,因为它会破坏现有的代码。让我们一起来探索一下这个bug的历史吧。

从JavaScript第一个版本,“typeof null” 就是一个bug坑。这个版本里,值被以32位单位保存, 包括小类型标签(1-3位)和实际数据的值。这种类型标签被以更低的单位保存。这里有其中的五个:

000: 对象。数据是对对象的引用。

1: 整型。数据是31位带符号整数。

010: 浮点型。数据是对浮点数据的引用。

100: 字符。 数据是对字符串类型的引用。

110: boolean. 数据是boolean。

也就是说,最低位是任意一个,那么类型标签是只有1位长。或者是0,那么类型标签的长度为3位,就会为4种类型提供了额外的2位。

有2种值是特殊的:

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; }

内容版权声明:除非注明,否则皆为本站原创文章。

转载注明出处:https://www.heiqu.com/wsfsyp.html