Как работает равенство строк в JavaScript?

Question

Существует множество учебных пособий для == и ===, поэтому, пожалуйста, не ведите меня к основному учебнику, мой вопрос немного более конкретен:

Например, http://www.w3schools.com/jsref/jsref_obj_string.asp гласит:

Синтаксис:

var txt = new String("string");

// or more simply:
var txt = "string";

Хорошо, а как насчет этого?

alert(new String("a") == new String("a")); // false
alert("a" == "a"); // true

var a = new String("a");
var b = new String("a");
alert(a == b); // false

var c = "a";
var d = "a";
alert(c == d); // true

alert(c === d); // true
alert (a === c); // false

Конечно, в любом случае никто не вызывает new String(), но разве что-то не так из-за равенства, потому что new String() обрабатывается как объект, а не как строка?

И, конечно, W3Schools - не самый надежный источник, но я ожидал, что все вышеперечисленные предупреждения скажут правду.

Пожалуйста, объясните.

Answer 1

«Удивительные результаты» происходят из-за того, что Javascript обрабатывает равенство для объектов, плюс путаница, возникающая между строковыми литералами и объектами String. Из справочника Mozilla для оператора ==:

Если два операнда не одного типа, JavaScript преобразует Операнды затем применяет строгое сравнение. Если любой из операндов является числом или логическое значение, операнды преобразуются в числа, если это возможно; еще если один из операндов является строкой, другой операнд преобразуется в Строка, если это возможно. Если оба операнда являются объектами, тогда JavaScript сравнивает внутренние ссылки, которые равны, когда операнды ссылаются на тот же объект в памяти .

Вы можете испытать то же поведение с числами:

new Number(5) == new Number(5) // false

И проясните свой ум:

typeof "string" // string
typeof new String("string") // object

Answer 2

Строковые литералы, которые являются типами примитивных значений, отличаются от новых String объектов, которые являются объектами с различными ссылками, заключающими эти значения. Подробнее см. Предопределенные базовые объекты в документах JavaScript Mozilla.

Таким образом, вы правы в том, что сравнение выполняется для литералов и объектов по-разному, просто потому что один сравнивает их значения, а другой сравнивает ссылки.

Answer 3

Вы правы в том, что в вашем примере вы сравниваете 2 разные ссылки на объекты. В спецификации языка вы найдете этот алгоритм. Часть, которую вы ищете, это раздел 1 f.

11.9.3 Алгоритм сравнения абстрактного равенства

<strong>11.9.3  The Abstract Equality Comparison Algorithm</strong>

The comparison x == y, where x and y are values, produces true or false. Such a comparison is performed as 
follows:

1.  If Type(x) is the same as Type(y), then 
    a.    If Type(x) is Undefined, return true. 
    b.  If Type(x) is Null, return true. 
    c.    If Type(x) is Number, then 
        i.  If x is NaN, return false. 
        ii.  If y is NaN, return false.
        iii.  If x is the same Number value as y, return true. 
        iv.  If x is +0 and y is -0, return true. 
        v.  If x is -0 and y is +0, return true. 
        vi.  Return false.
    d.  If Type(x) is String, then return true if x and y are exactly the same sequence of characters (same 
        length and same characters in corresponding positions). Otherwise, return  false. 
    e.  If Type(x) is Boolean, return true if x and y are both true or both false. Otherwise, return false. 
    <strong>f.  Return true if x and y refer to the same object. Otherwise, return  false.</strong> 
2.  If x is null and y is undefined, return true. 
3.  If x is undefined and y is null, return true. 
4.  If Type(x) is Number and Type(y) is String, 
return the result of the comparison x == ToNumber(y). 
5.  If Type(x) is String and Type(y) is Number, 
return the result of the comparison ToNumber(x) == y. 
6.  If Type(x) is Boolean, return the result of the comparison ToNumber(x) == y. 
7.  If Type(y) is Boolean, return the result of the comparison x == ToNumber(y). 
<strong>8.  If Type(x) is either String or Number and Type(y) is Object, 
return the result of the comparison x == ToPrimitive(y). 
9.  If Type(x) is Object and Type(y) is either String or Number, 
return the result of the comparison ToPrimitive(x) == y.</strong>
10.  Return false. 

Также обратите внимание, что шаги 8 и 9 немного упрощают работу с объектами String.

alert(new String("a") == "a"); // true
alert("a" == new String("a")); // true