В общем обнаружил в замечательном языке JavaScript вещь, которая наверняка уж должна быть баяном...

Итак имеем



Это сообщение отредактировал(а) Dima 2015 - 16.9.2010, 15:35

Dima 2015, не очень удивительно, если представлять себе правила автоматического приведения типов


Добавлено через 3 минуты и 1 секунду
Хотя результат последнего равенства был несколько неожиданн. видимо, если в операции сравнения участвует объект и примитивный тип, то производится приведение к примитивному типу.

Это сообщение отредактировал(а) ksnk - 16.9.2010, 15:57

ksnk, я в курсе всего этого, но тут нет как раз ни слова о конкретно этом примере. В данном случае оба раза приводится один и тот же тип - массив к одному и тому же типу - булеву. И оба раза по-разному.

Добавлено через 3 минуты и 14 секунд


Да не только последнего, последнее это чтобы скажем так показать наглядно. Меня больше 2е смущает, какого черта ![] трактуется как false, при том что сам [] тоже трактуется как false?

Добавлено через 5 минут и 27 секунд
В пыхе проверил, в пыхе не так, в пыхе отрицание к пустому массиву истину дает, что в общем то и следует ожидать.

Это только в пыхе пустой массив - false   уникальная пыховская фича!

Забавно! Я не смог найти подходящий(логичный) алгоритм преобразования типов во втором случае



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

Для второго случая какбы совсем не так просто. Если тупо преобразовать !arr к объекту счастья так и не получаем :( счастье получаем в случае ПОВТОРНОГО преобразования !arr к логическому. Хотя какбы typeof нас заверяет, что тип и так логический...

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

Нет это все понятно, и понятно что программисту который пишет такие сравнения должны быть оторваны руки (вот я себе и оторвал вчера), но сам факт того что в языке конструкция а == !а может вернуть истину, забавна. В прочем в плюсах такое запросто можно сделать, если соответственно переопределить операции сравнения и отрицания, другое дело что это с точки зрения теорвера дико смотрится.

Какова вероятность завтра выйдя на Невский встретить динозавра? - 0,5 - либо встречу, либо не встречу.

Это сообщение отредактировал(а) Dima 2015 - 16.9.2010, 17:12

Не правильно. При сравнении объектов, они приводятся к числам или строкам при помощи методов valueOf() и toString().

В примере выше все получается по правилам. Сперва исполняется оператор "!". При применении его к нелогическому типу, возвращается false в случае, если переменная может быть приведена к значению true. Элементарная проверка new Boolean(arr) показывает, что arr и преобразуется в true. Соответственно, !arr дает false.

Дальше, при сравнении объекта с логической переменной, массив преобразуется при помощи метода .toString(). Так как массив пустой, то и преобразуется он в пустую строку. А пустая строка, при преобразовании к логическому значению, дает false. Вот и получаем, false == false.

Можете посмотреть, как изменится результат, если arr объявить так: var arr = [1]. При преобразовании в строку, это уже будет строка '1', не пустая, которая при приведении к логическому типу даст true. Получится true == false с соответствующим результатом.

Deepthroat, разложил по полочкам, спасибо 

Но сам факт забавен, что конструкция a == !a выдает истину...

Ребята из Netscape видать хорошо пыхнули, перед тем как создать нетипизированный клон си.
Прикольно что контору съели, а дитятко живо.

...



Это сообщение отредактировал(а) ksnk - 18.9.2010, 22:03

Я как то про пхп даже не думал, когда писал. неужели JS не тянет на клон си?

magelan, чего-то я торможу  Про php вот, с чего-то вспомнил...