3.7. Неизменяемые простые значения и ссылки на изменяемые объекты
Между простыми значениями (
undefined
,
null
, логическими значениями, числами и строками) и объектами (включая массивы и функции) в языке JavaScript имеются фундаментальные отличия. Простые значения являются неизменяемыми: простое значение невозможно изменить (или «трансформировать»). Это очевидно для чисел и логических значений - нет никакого смысла изменять значение числа. Однако для строк это менее очевидно. Поскольку строки являются массивами символов, вполне естественно было бы ожидать наличие возможности изменять символы в той или иной позиции в строке. В действительности JavaScript не позволяет сделать это, и все строковые методы, которые, на первый взгляд, возвращают измененную строку, на самом деле возвращают новое строковое значение. Например:
var s = "hello"; // Изначально имеется некоторый текст из строчных символов
s.toUpperCase; // Вернет "HELLO", но значение s при этом не изменится
s // =>» "hello": оригинальная строка не изменилась
Кроме того, величины простых типов сравниваются по значению: две величины считаются одинаковыми, если они имеют одно и то же значение. Для чисел, логических значений,
null
и
undefined
это выглядит очевидным: нет никакого другого способа сравнить их. Однако для строк это утверждение не выглядит таким очевидным. При сравнении двух строковых значений JavaScript считает их одинаковыми тогда и только тогда, когда они имеют одинаковую длину и содержат одинаковые символы в соответствующих позициях.
Объекты отличаются от простых типов. Во-первых, они являются изменяемыми - их значения можно изменять:
var о = { x:1 }; // Начальное значение объекта
о.x = 2; // Изменить, изменив значение свойства
о.у = 3; // Изменить, добавив новое свойство
var а = [1,2,3] // Массивы также являются изменяемыми объектами
а[0] = 0; // Изменить значение элемента массив
а[3] = 4; // Добавить новый элемент
Объекты не сравниваются по значению: два объекта не считаются равными, даже если они будут иметь одинаковые наборы свойств с одинаковыми значениями. И два массива не считаются равными, даже если они имеют один и тот же набор элементов, следующих в том же порядке:
var о = {х:1}, р = {х:1};// Два объекта с одинаковыми свойствами
о === р // => false: разные объекты не являются равными
var а = [], Ь = []; // Два различных пустых массива
а === b // => false: различные массивы не являются равными
Чтобы подчеркнуть отличие от простых типов JavaScript, объекты иногда называют ссылочными типами. Если следовать этой терминологии, значениями объектов являются ссылки, и можно сказать, что объекты сравниваются по ссылке: значения двух объектов считаются равными тогда и только тогда, когда они ссылаются на один и тот же объект в памяти.
var а = []; // Переменная а ссылается на пустой массив.
var b = а; // Теперь b ссылается на тот же массив.
Ь[0] = 1; // Изменение массива с помощью ссылки в переменной Ь.
а[0] // => 1: изменение можно наблюдать в переменной а.
а === b // => true: а и b ссылаются на один и тот же объект, поэтому они равны.
Как следует из примера выше, операция присваивания объекта (или массива) переменной фактически присваивает ссылку: она не создает новую копию объекта. Если в программе потребуется создать новую копию объекта или массива, необходимо будет явно скопировать свойства объекта или элементы массива. Следующий пример демонстрирует такое копирование с помощью цикла for (раздел 5.5.3):
var a=['a,,,b,,'c’]; // Копируемый массив
var b = []; // Массив, куда выполняется копирование
for(var і = 0; і < a.length; i++) { // Для каждого элемента в массиве а[]
b[і] = а[і]; // Скопировать элемент а[] в b[]
}
Точно так же, если потребуется сравнить два отдельных объекта или массива, необходимо будет сравнить значения их свойств или элементов. Ниже приводится определение функции, сравнивающей два массива:
function equalArrays(a, b) {
if (a.length != b.length) return false; // Массивы разной длины не равны
for(var і = 0; і < a.length; і++) // Цикл по всем элементам
if (а[і] !== b[i]) return false; // Если хоть один элемент
// отличается, массивы не равны
return true; // Иначе они равны
}
3.8. Преобразование типов
JavaScript может гибко преобразовывать один тип в другой. Мы уже могли убедиться в этом на примере логических значений: везде, где интерпретатор JavaScript ожидает получить логическое значение, можно указать значение любого типа и JavaScript автоматически выполнит необходимое преобразование. Одни значения («истинные» значения) преобразуются в значение
true
, а другие («ложные») - в
false
. То же относится и к другим типам: если интерпретатор ожидает получить строку, он автоматически преобразует любое другое значение в строку. Если интерпретатор ожидает получить число, он попробует преобразовать имеющееся значение в число (в случае невозможности такого преобразования будет получено значение