Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > JavaScript: Общие вопросы > Объекты, примитивы...

Автор: Zeroglif 13.2.2006, 17:41

Если не возражаете, продолжение разговора, начатого здесь - http://forum.vingrad.ru/index.php?showtopic=83216&st=15

Цитата(Sardar @ 13.2.2006, 12:17

)

Нет, это называеться autoboxing, проиходит динамически когда ты обращаешся с примитивом как с обьектом

Всё так, динамически, но справедливости ради autoboxing-а в оригинале в JavaScript нет, есть приведение типов/преобразование к типу/type conversion вне зависимости от того, примитив ли надо преобразовывать или нет.

Цитата

потому и существуют примитивы, что "имеют" ссылку только на прототип Number

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

Цитата

Происходит следующее, по шагам:
сложить, результат на стек
найти поле constructor, это примитив число, значит обращаемся к нативному обьекту Number
найти у обьекта Number (помним что это функция, т.е. обьект) поле toString, если поле это обьект-функция, то вызываем, иначе кидаем исключение

Код


(3+4).constructor.toString();

Мой вариант (второстепенные шаги пропущены):

- вычисляем левую часть (3+4), результат 7, тип number;
- приводим примитив 7 к объектному типу, функция-конструктор создаёт новый объект (new Number(7)), привязывает его внутреннюю ссылку [[Prototype]] к Number.prototype;
- приводим правую часть (constructor) к строковому типу;
- ищем свойство constructor у нового объекта (не находим, потому как его нет);
- ищем свойство constructor у прототипа нового объекта (находим, это ссылка на функцию-конструктор);

Дальше те же действия, но уже с toString():

- ищем свойство toString у функции-конструктора (не находим);
- ищем свойство toString у прототипа функции-конструктора (находим);
- вызываем - получаем конструктор в строковом типе в стиле FunctionDeclaration;

Автор: Sardar 13.2.2006, 18:18

Цитата(Zeroglif @ 13.2.2006, 16:41

)

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

Не совсем, привести обьект String к обьекту HTMLDocumentElement или к любому другому не возможно. Мало того в JS нет операторов приведения к типу вообще, впрочем как и типов smile

В скриптовом мире почти всегда используеться http://en.wikipedia.org/wiki/Duck_typing, т.е. не важно что за обьект перед нами, важен его интерфейс. Можем написать свой String, прадва обломаемся на перегрузке операторов, её просто нет (ещё один - к JS).

Примитивы оборачиваються в обьекты когда это необходимо (обращение с ними как с обьектами), называем autoboxing. Примитивы конвертируються другие примитивы (какие?), тут говорим о приведении к типу. Примитивы не изменяемые, любое приведение, например числа к строке порождает новый примитив, что естественно.

Цитата(Zeroglif @ 13.2.2006, 16:41

)

никакой внутренней связи (ссылки) со своим прототипом у него не будет.

Не совсем, любой примитив имеет свой конструктор порождающий обьект, для чисел это Number, для строк это String, булевы Boolean. Когда требуеться работать с примитивом как с обьектом его "примитивный" тип сопостовляеться с конструктором, прототипом (интерфейсом) которого и пользуемся. Сам примитив не имеет локального хранилища для своих полей, потому создать их не можем, имеем только интерфейс из прототипа.

Обьекты имеют не только локальное хранилище но и ссылку на конструктор и его прототип. Если конструкто заменяет свой прототип на полностью другой обьект (следовательно содержащий другой конструктор), то мы порождаем совершенно новый конструктор, все обьекты порождённые ранее от него будут продолжать указывать на старый конструктор. Мозгодробильно? Тогда пройдёмся по шагам и вдумчиво:

Код

function test() {}
test.prototype.func = function() {
  alert("func of test");
}
function test2() {}
test2.prototype.func = function() {
  alert("func of test2");
}
test2.prototype.func2 = function() {
  alert("func2 of test2");
}

var a=new test();
var b=new test2();
alert((a instanceof test)+", "+(a instanceof test2)); //true, false
a.func(); //func of test

a.constructor = b.constructor; //ignored
alert((a instanceof test)+", "+(a instanceof test2)); //true, false

a.constructor.prototype = test2.prototype; //ignored
alert((a instanceof test)+", "+(a instanceof test2)); //true, false
//a.func2();  //not found!

test.prototype = test2.prototype; //new constructor!
alert((a instanceof test)+", "+(a instanceof test2)); //false, false!
a.func(); //func of test
//a.func2();  //not found!

//здесь внимательней
a = new test(); //new a of test
alert((a instanceof test)+", "+(a instanceof test2)); //true, true!
a.func(); //func of test
a.func2(); //func2 of test2

Отсюда понимаем различия между типами и интерфейсами smile

Типы в JS не нужны, все обьекты выполнены по одному принципу, наличие своих полей и прототипы отделяют один обьект от другого.
Добавлено @ 18:22

Цитата(Zeroglif @ 13.2.2006, 16:41

)

- приводим правую часть (constructor) к строковому типу;

А зачем это нужно если .constructor выдаст функцию порождающую обьект? Т.к. все обьекты прототипами уходят в Object, то и у всех toString() существует, что выдаёт строковое значение обьекта (не приводит к строке!). Можешь написать своё поле toString, куда положи функцию возвращающую строку. Отсюда делаем точное различие между приведением к типу и простым вызовом API smile