Почему оператор ++ генерирует искючение, а не NaN в случае со строкой?
 

Почему код:

alert('d'++);

генерирует ошибку, а не выводит значение NaN?

dump,
потому что не совмещение типов вроде.
Другие знаки приводят операнды к одному типу:

alert('a' + 1)
alert('a' * 1)
alert('a' - 1)
alert('a' / 1)

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

var a='d';
alert(a++); //NaN

Можно пояснить, как получить такой вывод из спецификации


http://es5.javascript.ru/x11.html#x11.3.1

При вычислении LeftHandSideExpression [no LineTerminator here] ++ одним из шагом вычисляется PutValue(lhs, newValue). Операция PutValue кидает ReferenceError, если тип первого операнда не Reference.
Дальше читаем: http://es5.javascript.ru/x16.html#x16
В данном случае в выражении 'd'++ PutValue должен вызываться для значения выражения 'd', а строковый литерал никогда не возвращает Reference, поэтому интерпретатор при этом сообщает о ранней ошибке.

Спасибо за пояснение, то есть ошибка возникает не из этих пунктов
а как результат предпоследнего шага

Почитав про reference http://es5.javascript.ru/x8.html#x8.7 не пойму, что и когда является reference (это нечто предопределённое или нет)
(исходя из приведённых пояснений, если бы строковый литерал был ссылкой, тогда ошибка возникла бы ещё на пункте
)

Reference - это тип данных, который используется для вычисления выражений. Например, как объяснить вычисление выражения delete object.method ? Что нужно взять от object.method и передать оператору delete?
Не совсем понял. Объясните, пожалуйста, поконкретнее, что значит "если бы строковый литерал был ссылкой".

если тип операнда слева - ссылочный, генерировать исключение (так как литерал не ссылочного типа, поэтому не генерировать)

передаётся ссылка на метод, как я понимаю
хотелось бы понять, как по спецификации определить, что ссылочного типа, что нет (где-то это должно быть в спецификации обозначено, а в http://es5.javascript.ru/x8.html#x8.7 не совсем понятно об этом написано)

Не так. В спецификации написано, что генерировать исключение, если выполняются все 4 условия одновременно:

Type(lhs) равно Reference равно true
IsStrictReference(lhs) равно true
Type(GetBase(lhs)) равно Environment Record
GetReferencedName(lhs) равно либо "eval", либо "arguments"

Не понял вопрос. Объясните поподробнее, пожалуйста, что определить, как и при каких условиях.

Да, здесь я блажанул

Вопрос в том как определять, какие типы можно отнести к типу Reference, а какие нет.


Алгоритм выполняется последовательно, поэтому пытаемся разобрать фразу Type(lhs) равно Reference равно true:

Type(lhs)
то есть определяется тип левостороннего выражения
далее этот тип сравнивается с типом Reference

собственно о Reference http://es5.javascript.ru/x8.html#x8.7
На какой основе понять, что полученный тип Type(lhs) равен или не равен типу Reference, собственно из того, что здесь приведено у меня пока не получается сделать такой вывод.

Ещё про типы http://es5.javascript.ru/x8.html#x8

Как это и приведённое выше правильно увязать между собой

Знатоки спецификации, ответьте, пожалуйста, на этот (может быть нубский) вопрос.

Все типы делятся на языковые типы и типы спецификации. Тип Reference является одним из типов спецификации. Любое выражение возвращает значение либо одного из языковых типов, либо ссылку.
Интерпретатор всегда знает, какого типа используемое значение.
Операторы . и [] всегда возвращают ссылку, оператор вызова функции может возвращать значение как языкового типа, так и Reference (для встроенных и юзерских объектов всегда языкового типа), все остальные операторы - только значение языкового типа. Идентификатор всегда возвращает ссылку, все остальные примитивные выражение - всегда значение языкового типа.
Правда, в ECMAScript 5.1 есть серьёзная ошибка, связанная с возможностью функций среды возвращать ссылку. Дело в том, что любую функцию можно использовать в качестве геттера или сеттера свойства объекта. Получается, что getValue можут возвращать ссылку, и putValue может принимать ссылку, что приводит к многочисленным недоразумениям.
Интерпретатор может зараннее определить, возвращает ли выражение ссылку или языковое значение, кроме одного случая: выражение является вызовом функции, завёрнутым в произвольное количество скобок (возможно, 0).
Примеры:

alert(1);
'd'++; //SyntaxError: invalid increment operand - бросает зараннее, не выполняя alert

alert(1);
String.fromCharCode(100)++; //ReferenceError: invalid assignment left-hand side - бросает во время выполения, после алерта.

Во втором случае интерпретатор не может зараннее определить, возвратит ли вызов функции языковое значение или ссылку.

Ред. Первый пример работает так, как написано только в Фаерфоксе, и это правильное поведение с точки зрения спецификации. Остальные браузеры сначала выполняют alert, а потом бросают ReferenceError.

в опере выполняет алерт, а потом бросает исключение.

:lol: Это пздц.

от чего же?

Спасибо за замечание. Действительно, так ведёт себя не только Опера, но и Хром, Сафари, ИЕ! Похоже, только Фаерфокс выполняет пункты спецификации:
Интересно, что Опера в первом примере бросает ReferenceError: Cannot assign to 'alert', хотя, казалось бы, при чем тут 'alert'? :lol:

Ну об этом мало кто задумывается, для разрабов браузеров важнее скорость работы нежели тратить ЦП на предварительную проверку кода

oneguy, спасибо за информацию.

Итог по Reference, как я понимаю, такой:
Типом Reference обладают только значения, полученные при помощи . (точки), [] (квадратных скобок) и идентификатора (в относительно редких случаях значение типа Reference может вернуть функция).

Для использования то, что нужно, осталось только узнать: вы из спецификации эту информацию получили?

Да.

Ок, когда-нибудь наткнусь на неё :)

PS: плюсик пока поставить не могу (надо всё-таки менять систему +/-)

Я за тебя поставил.

Спасибо :)

Всё забываю засечь, через сколько отзывов даёт снова ставить (где-то 5-7, неадекватно по-моему)