Por que "use strict" melhora o desempenho em 10x neste exemplo?

Após a pergunta Estendendo o desempenho do String.prototype , estou realmente intrigado, porque apenas adicionar "use strict"um String.prototypemétodo melhorou o desempenho 10 vezes. A explicação de Bergi é curta e não me explica. Por que existe uma diferença tão dramática entre dois métodos quase idênticos, que apenas diferem no "use strict"topo? Você pode explicar com mais detalhes e com a teoria por trás disso?

String.prototype.count = function(char) {
  var n = 0;
  for (var i = 0; i < this.length; i++)
    if (this[i] == char) n++;
  return n;
};

String.prototype.count_strict = function(char) {
  "use strict";
  var n = 0;
  for (var i = 0; i < this.length; i++)
    if (this[i] == char) n++;
  return n;
};
// Here is how I measued speed, using Node.js 6.1.0

var STR = '0110101110010110100111010011101010101111110001010110010101011101101010101010111111000';
var REP = 1e4;

console.time('proto');
for (var i = 0; i < REP; i++) STR.count('1');
console.timeEnd('proto');

console.time('proto-strict');
for (var i = 0; i < REP; i++) STR.count_strict('1');
console.timeEnd('proto-strict');

Resultado:

proto: 101 ms
proto-strict: 7.5 ms

No modo estrito, o thiscontexto não é forçado a ser um objeto. Se você chamar uma função em um não-objeto, thisserá apenas esse não-objeto.

Por outro lado, no modo não estrito, o thiscontexto é sempre primeiro envolvido em um objeto se ele ainda não é um objeto. Por exemplo, (42).toString()primeiro envolve 42um Numberobjeto e depois chama Number.prototype.toStringo Numberobjeto como thiscontexto. No modo estrito, o thiscontexto é deixado chamadas intocadas e apenas Number.prototype.toStringcom 42como thiscontexto.

(function() {
  console.log(typeof this);
}).call(42); // 'object'

(function() {
  'use strict';
  console.log(typeof this);
}).call(42); // 'number'

No seu caso, a versão em modo não estrito gasta muito tempo agrupando e desembrulhando strings primitivos em Stringinvólucros de objetos e vice-versa. A versão em modo estrito, por outro lado, funciona diretamente no primitivo string, o que melhora o desempenho.