Почему оператор ++ генерирует искючение, а не 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, собственно из того, что здесь приведено у меня пока не получается сделать такой вывод.