Дэвид Флэнаган - JavaScript. Подробное руководство, 6-е издание

var о = { // Объект о.

m: function() { // Метод m объекта.

var self = this; // Сохранить значение this в переменной,

console.log(this === о); // Выведет "true": this - это объект о.

f(); // Вызвать вспомогательную ф-цию f().

function f() { // Вложенная функция f

console.log(this === о); // "false": this - глоб. об. или undefined

console.log(self === o); // "true": self - знач, this внеш. ф-ции.

}

}

};

o.m(); // Вызвать метод m объекта о.

В примере 8.5 (раздел 8.7.4) демонстрируется более практичный способ использования идиомы var self=this .

Если вызову функции или метода предшествует ключевое слово new , следовательно, это вызов конструктора. (Вызовы конструкторов обсуждались в разделах 4.6 и 6.1.2, а более подробно конструкторы будут рассматриваться в главе 9.) Вызов конструктора отличается от вызова обычной функции или метода особенностями обработки аргументов, контекстом вызова и возвращаемым значением.

Если вызов конструктора включает список аргументов в скобках, эти выражения-аргументы вычисляются и передаются конструктору точно так же, как любой другой функции или методу. Но если конструктор не имеет параметров, синтаксис вызова конструктора в языке JavaScript позволяет вообще опустить скобки и список аргументов. При вызове конструктора всегда можно опустить пару пустых скобок. Например, следующие две строки полностью эквивалентны:

var о = new Object();

var о = new Object;

Вызов конструктора создает новый пустой объект, наследующий свойство prototype конструктора. Назначение функции-конструктора - инициализировать объект, и этот вновь созданный объект передается конструктору как контекст вызова, благодаря чему функция-конструктор может ссылаться на него с помощью ключевого слова this . Обратите внимание, что вновь созданный объект передается как контекст вызова, даже если вызов конструктора выглядит как вызов метода. То есть в выражении new о.m() контекстом вызова будет вновь созданный объект, а не объект о.

Как правило, в функциях-конструкторах не используется инструкция return . Обычно они выполняют инициализацию нового объекта и неявно возвращают его, по достижении своего конца. В этом случае значением выражения вызова конструктора становится новый объект. Однако если конструктор явно вернет объект с помощью инструкции return , то значением выражения вызова конструктора станет этот объект. Если конструктор выполнит инструкцию return без значения или вернет с ее помощью простое значение, это возвращаемое значение будет проигнорировано и в качестве результата вызова будет использован новый объект.

Функции в языке JavaScript являются объектами и подобно другим объектам имеют свои методы. В их числе есть два метода, call() и аррlу(), выполняющие косвенный вызов функции. Оба метода позволяют явно определить значение this для вызываемой функции, что дает возможность вызывать любую функцию как метод любого объекта, даже если фактически она не является методом этого объекта. Кроме того, обоим методам можно передать аргументы вызова. Метод саll() позволяет передавать аргументы для вызываемой функции в своем собственном списке аргументов, а метод apply() принимает массив значений, которые будут использованы как аргументы. Подробнее о методах call() и аррlу() рассказывается в разделе 8.7.3.

В языке JavaScript, в определениях функций не указываются типы параметров, а при вызове функций не выполняется никаких проверок типов передаваемых значений аргументов. Фактически при вызове функций в языке JavaScript не проверяется даже количество аргументов. В подразделах ниже описывается, что происходит, если число аргументов в вызове функции меньше или больше числа объявленных параметров. В них также демонстрируется, как можно явно проверить типы аргументов функции, если необходимо гарантировать, что функция не будет вызвана с некорректными аргументами.

Когда число аргументов в вызове функции меньше числа объявленных параметров, недостающие аргументы получают значение undefined . Часто бывает удобным писать функции так, чтобы некоторые аргументы были необязательными и могли опускаться при вызове функции. В этом случае желательно предусмотреть возможность присваивания достаточно разумных значений по умолчанию параметрам, которые могут быть опущены. Например:

// Добавить в массив а перечислимые имена свойств объекта о и вернуть его.

// Если аргумент а не не был передан, создать и вернуть новый массив,

function getPropertyNames(o, /* необязательный */ а) {

if (а === undefined) а = []; // Если массив не определен, создать новый

for(var property in о) a.push(property);

return а;

}

// Эта функция может вызываться с 1 или 2 аргументами:

var а = getPropertyNames(o); // Получить свойства объекта о в новом массиве

getPropertyNames(p,а); // добавить свойства объекта р в этот массив

Вместо инструкции if в первой строке этой функции можно использовать оператор || следующим образом:

а = а || [];

В разделе 4.10.2 говорилось, что оператор || возвращает первый аргумент, если он имеет истинное значение, и в противном случае возвращает второй аргумент. В данном примере, если во втором аргументе будет передан какой-либо объект, функция будет использовать его. Но если второй аргумент отсутствует (или в нем будет передано значение null ), будет использоваться вновь созданный массив.

Обратите внимание, что при объявлении функций необязательные аргументы должны завершать список аргументов, чтобы их можно было опустить. Программист, который будет писать обращение к вашей функции, не сможет передать второй аргумент и при этом опустить первый: он будет вынужден явно передать в первом аргументе значение undefined. Обратите также внимание на комментарий /* необязательный */ в определении функции, который подчеркивает тот факт, что параметр является необязательным.

Если число аргументов в вызове функции превышает число имен параметров, функция лишается возможности напрямую обращаться к неименованным значениям. Решение этой проблемы предоставляет объект Arguments . В теле функции идентификатор arguments ссылается на объект Arguments , присутствующий в вызове. Объект Arguments - это объект, подобный массиву (раздел 7.11), позволяющий извлекать переданные функции значения по их номерам, а не по именам.