Функция-конструктор. Где располагаются ее public свойства в памяти на run-time?

Question

[YURY_PETRANKOV]

Создадим простую функцию-конструктор:

function User(firstName) {
    this.firstName = firstName;
    this.sayHi = function () {
        console.log('Hi, my name is ' + this.firstName);
    };
}

Разумеется, что мы не может написать следующий код:

console.log(User.firstName); //undefined
console.log(User.sayHi);     //undefined

Давайте нарисуем, как в памяти интерпретатор создаст наш объект функции-конструктора:



Понятно, что свойства prototype, name, length and arguments это стандартные свойства, создаваемые интерпретатором по умолчанию. Так же понятно, что в объекте функции нет наших полей firstName и sayHi.

Отсюда вопрос, где в памяти интерпретатор хранит эти поля? Или он вообще не компилирует тело функции конструктора, пока не наткнется на код вида:

var user = new User('Bob');

Answer 1

[Денис Пушкарев]

Гмм. Тяжелый случай. Ваш конструктор - пример плохого дизайна. sayHi должен храниться в прототипе конструктора - тогда он вам и будет доступен через прототип без создания инстанса. А в вашем же случае программа тратит время на создание метода и память для хранения метода на каждый инстанс, а не одного, на все инстансы конструктора. И - да, в вашем примере и firstName, и sayHi не инициализируются до исполнения конструктора и нигде не хранятся в памяти.

Comments

[YURY_PETRANKOV]

Мы не ведем речь о плохом дизайне, пример написан для наглядности.
Поясню свою мысль: если обратиться к модели работе CLR, то можно увидеть, что тело метода не компилируется в команды процессора пока к этому методу не будет сделан вызов. В то же время, код метода в виде MSIL языка хранится в адресном пространстве, куда была загружена сборка.

Отсюда вытекает логичный вопрос: компилируется ли код тела функции-конструктора или же он лежит где-то в памяти интерпритатора и не используется, пока тот не наткнется на конструкцию вида:
var user = new User('Bob');

[Денис Пушкарев]

@YURY_PETRANKOV это уже тема далекая от самого javascript. Тут все отдано на откуп движков. Современные - анализируют код и представляют его как настоящие классы. А вот когда анализируют, при компиляции или первом исполнении - кто как, v8, если не ошибаюсь - при первом исполнении.