JavaScript对象和基元类型有什么区别?

Rom*_*zur 10 javascript

Stoyan Stefanov在他的优秀书"面向对象的JavaScript"中说:

任何不属于上面列出的五种基本类型之一的值都是一个对象.

有五个基本类型,他的意思Number,String,Boolean,UndefinedNull.但是在Google Chrome控制台中,数字似乎根本不是原始类型(与C原始类型相比int).看起来原始数字有方法:

var a = 2.2;
console.log(a.toFixed()); // logs "2"
Run Code Online (Sandbox Code Playgroud)

因此我假设我可以使用数字作为对象,所以我尝试为它分配一个属性:

var a = 2;
a.foo = 'bar';
console.log(a.foo); // logs undefined
Run Code Online (Sandbox Code Playgroud)

我不明白那种行为.如果number有一个方法,它应该表现得像对象,不应该吗?它甚至有一个原型:

Number.prototype.foo = 'bar';
var a = 2;
console.log(a.foo); // logs 'bar'
Run Code Online (Sandbox Code Playgroud)

那么这背后的魔力是什么?JavaScript如何处理对象与原始类型?我宁愿不使用单词primitive,用简单的对象代替它.我认为那些是无法用新属性扩展的对象,但它们是通过构造函数构造的,并且还具有可以像普通对象一样扩展的原型.

Mor*_*ler 10

[...] 看起来原始数字有方法

原语实际上并没有自己的属性.它被强制转换为一个对象,以便能够访问"它的"属性.强制对象在被调用的方法*之外是不可访问的(在严格模式下甚至不在方法内)*.因此,引用的变量始终是原始的.

考虑这个简单的例子:

Number.prototype.myTypeInAMethod = function () {
   console.log (typeof this.valueOf ()) //"number" => The primitive is wrapped in an object. 
   return typeof this;
}

var num = 123;
typeof num; //number
num.myTypeInAMethod () //object
Run Code Online (Sandbox Code Playgroud)

旁注:在ES5s严格模式下,this将是一个原语,类型将是数字

由于变量num是基元,因此无法为其赋值.

num.foo = "bar";
num.foo //undefined
Run Code Online (Sandbox Code Playgroud)

如果您通过其对象构造函数创建数字(或字符串),则其类型确实是一个对象.通过添加属性进行快速检查表明它实际上可以分配.

var objNum = new Number(123);
typeof objNum ; //"object"
objNum.foo = "bar";
objNum.foo //"bar"
Run Code Online (Sandbox Code Playgroud)

那么这背后的魔力是什么?JavaScript如何处理对象与原始类型?

这个过程被描述在ES5§8.7.1 的GetValue

对于一个对象:

  • 如果Type(V)没有引用,返回V.
  • 让base成为调用的结果GetBase(V).
  • 如果IsUnresolvableReference(V),抛出一个ReferenceError异常.
  • 如果IsPropertyReference(V),那么
    • 如果HasPrimitiveBase(V)false,则得到base的[[Get]]内部方法,否则让get成为下面定义的特殊[[Get]]内部方法.
    • 返回使用base作为值调用get internal方法的结果,并传递参数.GetReferencedName(V)
  • 否则,base必须是环境记录.
    • 返回调用GetBindingValue(见10.2.1)基本传递的具体方法GetReferencedName(V)IsStrictReference(V)作为参数的结果.

对于原语:

当V是具有 基本基值属性引用[1]时,GetValue使用以下[[Get]]内部方法.使用base作为其值并使用属性P作为其参数调用它.采取以下步骤:

  • O成为ToObject(base).
  • desc是调用属性名为PO的[[GetProperty]]内部方法的结果.
  • 如果递减不确定的,返回不确定的.
  • 如果IsDataDescriptor(desc)true,则返回desc.[[Value]].
  • 否则,IsAccessorDescriptor(desc)必须是真的,让getterdesc.[[Get]].
  • 如果吸气剂不确定的,返回不确定的.
  • 返回调用getter提供base的[[Call]]内部方法的结果作为值并且不提供参数.

注意在上述方法之外无法访问可能在步骤1中创建的对象.实现可能会选择避免实际创建对象.使用此内部方法的此类实际属性访问可以具有可见效果的唯一情况是它调用访问器函数时.

[1] IsPropertyReference(V).如果基值是对象或为true,则返回true;否则返回true.否则返回false. HasPrimitiveBase(V)