`¿Por qué typeof this` "objeto" de retorno?

Question

var f = function(o){ return this+":"+o+"::"+(typeof this)+":"+(typeof o) }; 
f.call("2", "2"); 
// "2:2::object:string" 

var f = function(o){ return this+":"+(typeof this)+":"+(typeof o); }; 
var x = [1,/foo/,"bar",function(){},true,[],{}]; 
for (var i=0;i<x.length;++i) console.log(f.call(x[i],x[i])); 
// "1:object:number" 
// "/foo/:object:object" 
// "bar:object:string" 
// "function() {\n}:function:function" 
// "true:object:boolean" 
// ":object:object" 
// "[object Object]:object:object" 

Veo los mismos resultados en Chrome, Firefox y Safari, así que supongo que es por the spec, pero ... ¿por qué? ¿Y en qué parte de la especificación se define esto? ¿Y por qué no para las funciones?

Answer 1

Como se define en ECMA-262 especificación del lenguaje ECMAScript 3ª edición (ver nota al pie), que está basado en the spec (Sección 15.3.4.4):

var result = fun.call(thisArg[, arg1[, arg2[, ...]]]); 

Parámetros

thisArg

Determina el valor de esto dentro de la diversión . Si thisArg es nulo o no definido, Este será el objeto global. lo contrario, este será igual a Object (thisArg) (que es thisArg si thisArg ya es un objeto, o una cadena , Boolean, o número si thisArg es un valor primitivo de la tipo correspondiente). Por lo tanto, es cierto que siempre typeof esta == "objeto" cuando la función se ejecuta.

Nota en particular, la última línea.

Lo crucial es que los primitivos js (string, number, boolean, null, undefined) son inmutables, por lo que una función no se puede unir a ellos. Por lo tanto la función de call envuelve el primitivo en un Object modo que la función se puede conectar.

Ej:

No funciona:

var test = "string"; 
//the next 2 lines are invalid, as `test` is a primitive 
test.someFun = function() { alert(this); }; 
test.someFun(); 

Obras:

var test = "string"; 
//wrap test up to give it a mutable wrapper 
var temp = Object(test); 
temp.someFun = function() { alert(this); }; 
temp.someFun(); 

(nota al pie) - patrick dw como se señala en los comentarios, esto cambiará en ECMA-262 ECMAScript Language Specification 5th edition cuando en estricto modo:

De la Sección 15.3.4.4:

NOTA se pasa el valor thisArg sin modificación como este valor. Este es un cambio de la Edición 3, donde undefined o null thisArg se reemplaza con el objeto global y ToObject es aplicado a todos los demás valores y el resultado se pasa como este valor.