Чтение онлайн

Имеет смысл детально сравнить примеры 9.1 и 9.2 и отметить различия между этими двумя способами определения классов. Во-первых, обратите внимание, что при преобразовании в конструктор фабричная функция

была переименована в Это обычное соглашение по оформлению: функции-конструкторы в некотором смысле определяют классы, а имена классов начинаются с заглавных символов. Имена обычных функций и методов начинаются со строчных символов.

Далее отметьте, что конструктор

вызывается (в конце примера) с ключевым словом , тогда как фабричная функция вызывается без него. В примере 9.1 для создания нового объекта использовался вызов обычной функции (раздел 8.2.1), а в примере 9.2 - вызов конструктора (раздел 8.2.3). Поскольку конструктор вызывается с ключевым словом , отпадает необходимость вызывать функцию или предпринимать какие-либо другие действия по созданию нового объекта. Новый объект создается автоматически перед вызовом конструктора и доступен в конструкторе как значение . Конструктору остается лишь инициализировать его. Конструкторы даже не должны возвращать вновь созданный объект. Выражение вызова конструктора автоматически создает новый объект, вызывает конструктор как метод этого объекта и возвращает объект. Тот факт, что вызов конструктора настолько отличается от вызова обычной функции, является еще одной причиной, почему конструкторам принято давать имена, начинающиеся с заглавного символа. Конструкторы предназначены для вызова в виде конструкторов, с ключевым словом , и обычно при вызове в виде обычных функций они не способны корректно выполнять свою работу. Соглашение по именованию конструкторов, обеспечивающее визуальное отличие имен конструкторов от имен обычных функций, помогает программистам не забывать использовать ключевое слово .

Еще одно важное отличие между примерами 9.1 и 9.2 заключается в способе именования объекта-прототипа. В первом примере прототипом было свойство

. Это было удобное, описательное имя, но в значительной мере произвольное. Во втором примере прототипом является свойство , и это имя является обязательным. Выражение вызова конструктора автоматически использует свойство как прототип нового объекта .

Наконец, обратите также внимание на одинаковые фрагменты примеров 9.1 и 9.2: в обоих классах методы объекта range определяются и вызываются одинаковым способом.

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

, ссылающиеся на один объект-прототип. В этом случае оба конструктора будут создавать экземпляры одного и того же класса.

Хотя конструкторы не играют такую же важную роль в идентификации класса, как прототипы, тем не менее конструкторы выступают в качестве фасада класса. Например, имя конструктора обычно используется в качестве имени класса. Так, принято говорить, что конструктор

создает объекты класса . Однако более важным применением конструкторов является их использование в операторе при проверке принадлежности объекта классу. Если имеется объект r, и необходимо проверить, является ли он объектом класса , такую проверку можно выполнить так:

В действительности оператор

не проверяет, был ли объект r инициализирован конструктором . Он проверяет, наследует ли этот объект свойство . Как бы то ни было, синтаксис оператора закрепляет использование конструкторов в качестве идентификаторов классов. Мы еще встретимся с оператором далее в этой главе.

В примере 9.2 свойству

присваивался новый объект, содержащий методы класса. Хотя было удобно определить методы как свойства единственного объекта-литерала, но при этом совершенно не было необходимости создавать новый объект. Роль конструктора в языке JavaScript может играть любая функция, поскольку выражению вызова конструктора необходимо лишь свойство . Следовательно, любая функция (кроме функций, возвращаемых методом в ECMAScript 5) автоматически получает свойство . Значением этого свойства является объект, который имеет единственное неперечислимое свойство . Значением свойства является объект функции:

Наличие предопределенного объекта-прототипа со свойством

означает, что объекты обычно наследуют свойство , которое ссылается на их конструкторы. Поскольку конструкторы играют роль идентификаторов классов, свойство определяет класс объекта: