JavaScript 对象和原始类型有什么区别？

Question

Stoyan Stefanov 在他的优秀著作《面向对象的 JavaScript》中说：

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

对于五种原始类型，他的意思是Number、String、Boolean、Undefined 和Null。然而，在 Google Chrome 控制台中，似乎 number 根本不是原始类型（与 C 类似 int 的原始类型相比）。看起来 primitive 数字有方法：

var a = 2.2;
console.log(a.toFixed()); // logs "2"

因此我假设我可以像使用对象一样使用数字，所以我尝试为它分配一个属性：

var a = 2;
a.foo = 'bar';
console.log(a.foo); // logs undefined

我不明白这种行为。如果 number 有一个方法，它应该表现得像一个对象，不是吗？它甚至还有一个原型：

Number.prototype.foo = 'bar';
var a = 2;
console.log(a.foo); // logs 'bar'

那么这背后的魔法是什么？ JavaScript 如何处理对象与 primitive 类型？我宁愿不用primitive这个词，而是用simple objects代替它。在我看来，这些对象是不能用新属性扩展的，但是它们是通过它们的构造函数构造的，并且还有可以像普通对象一样扩展的原型。

Answer 1

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

原语实际上并没有自己的属性。它被强制到一个对象，以便能够访问“它的”属性。强制对象在被调用方法之外不可访问*（在严格模式下，即使在方法内部 not）*。因此，引用的变量始终是原语。

考虑这个简单的例子：

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

_{旁注：在 ES5 的严格模式下，this 是一个原始类型，类型是数字}

由于变量num 是一个原语，您可以不为其赋值。

num.foo = "bar";
num.foo //undefined

如果你改为通过它的对象构造函数创建一个数字（或字符串），它的类型确实是一个对象。 通过添加属性快速检查表明它实际上可以被分配。

var objNum = new Number(123);
typeof objNum ; //"object"
objNum.foo = "bar";
objNum.foo //"bar"

---

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

ES5 §8.7.1GetValue

中描述了这个过程

对于一个对象：

• 如果Type(V) 不是引用，则返回V。
• 设 base 为调用 GetBase(V) 的结果。
• 如果IsUnresolvableReference(V)，则抛出ReferenceError异常。
• 如果IsPropertyReference(V)，那么
  • 如果HasPrimitiveBase(V)为false，则令get为base的[[Get]]内部方法，否则令get 是下面定义的特殊 [[Get]] 内部方法。
  • 返回调用 get 内部方法的结果，使用 base 作为其 this 值，并为参数传递 GetReferencedName(V)。
• 否则，base 必须是环境记录。
  • 返回调用base的GetBindingValue（见10.2.1）具体方法的结果，传递GetReferencedName(V)和IsStrictReference(V)作为参数。

对于原语：

当 V 是带有 原始基础值。使用 base 作为 this 值并使用属性 P 作为参数来调用它。 采取以下步骤：

• 让O为ToObject(base)。
• 令 desc 为调用属性名为 P 的 O 的 [[GetProperty]] 内部方法的结果。
• 如果 desc 为 undefined，则返回 undefined。
• 如果IsDataDescriptor(desc) 为true，则返回desc。[[Value]]。
• 否则，IsAccessorDescriptor(desc) 必须为 true 所以，让 getter 为 desc。[[Get]]。
• 如果 getter 是 undefined，则返回 undefined。
• 返回调用 getter 的 [[Call]] 内部方法的结果，提供 base 作为 this 值并且不提供任何参数。

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

[1]IsPropertyReference(V)。如果基值是对象或HasPrimitiveBase(V) 是true，则返回true；否则返回 false。