Почему некоторые операторы возвращают значения, а не ссылки?
 

Вот код:

Почему он в последовательно выводит 22121, хотя должен бы 22222? Вот здесь - http://dmitrysoshnikov.com/ecmascrip...#tip-reference сказано, что это из-за того, что если вызывается значение не ссылочного типа, то this равно null, а следовательно global. Но я не могу понять, почему оператор присваивания возвращает значение не типа reference? И почему та же запятая, возвращает значение, а не ссылку? Ведь функция - это ссылочный тип, как и любой другой объект, а значит (foo.bar = foo.bar)(); должно вызвать по ссылке и установить this в значение foo...

нет никакого типа reference. он только теоретически в ECMA.
foo.bar = foo.bar возвращает функцию. а функция в JS не привязана ни к какому объекту.

Но в последних трёх примерах она привязана к объекту foo. Но значение this там не такое однозначное...

и где же вы там привязку нашли?

(foo.bar = foo.bar)();

это всеравно что вызвать так:

var a = foo.bar; // привязка объекта к безымянной переменной
a(); // вызов безымянной переменной

и это:

(foo.bar, foo.bar)();

тоже что и:

foo.bar; // просто бесмысленая конструкция, ничего совсем не делает
var a = foo.bar; // далее привязка объекта к безымянной переменной
a(); // вызов безымянной переменной

Вообще-то он выводит 22111. Я уже писал пост по этому поводу. http://javascript.ru/forum/misc/2986...tml#post189309
Reference - это тип спецификации, отличный от языкового типа объект. Только операторы . и [], а также () в редких случаях возвращают значение Reference, все остальные операторы, в том числе ||, = и запятая всегда возвращают языковое значение.

Т.е. получается, что оператор (foo.bar, foo.bar) образно говоря проходит по ссылке foo.bar, извлекает объект(функцию) bar и представляет её в качестве значения в отдельной области памяти? Тогда почему в таком случае следующий код:
выведет 7? Он же по идее должен вывести 2, потому что оператор запятая возвратит значение, что приведёт к копированию всего объекта(а не его ссылки), следовательно b в станет не ссылкой, а значением. Но этого не происходит, запятая возвращает ссылку, а не сам объект, это видно если поменять свойство x. Тогда почему же (foo.bar, foo.bar) возвращает само значение?

У меня он выводит 22121. Почему так? Какой программой для запуска пользуетесь?

а кто сказал что оно значение возвращает? оно так же возвращает ссылку на метод(функцию), просто контекст у функции теряется.

Здесь возникает путаница в понятиях. Есть 6 языковых типов, среди которых объект, а есть тип спецификации Reference. Значения типа Reference часто называют ссылками, и значения типа Object часто называют ссылками на объект. Хотя на самом деле Object и Reference - это два совершенно разных типа. Значение переменной и свойства объекта всегда принадлежит языковому типу и не может принадлежать типу Reference.
Значения Reference состоят из 2-х компонент: базы и имени (ещё и флага Strict, но в большинстве случаев его можно не рассматривать). Значение Object являются некоторым внутренним значением (адрес, идентификатор), с помощью которого можно однозначно определить структуру данных, состоящую из свойств, в памяти. Часто называют объектами сами такие структуры данных.

o={x:2,y:3};
b=(false , o); // в данном случае b имеет тип Object, значение переменной никогда не может иметь тип Reference
b.x=7;
alert(o.x);

v=1;
var foo = {bar: function () {alert(this.v);}, v:2};

foo.bar(); // 2
(foo.bar)(); // 2

(foo.bar = foo.bar)(); // 1
(false || foo.bar)(); // 2 (у меня 1)
(foo.bar, foo.bar)(); // 1

В данном случае выражение foo.bar возвращает значение Reference с базой, равной значению переменной foo, и именем "bar". Оператор запятая, если правый операнд возвращает значение Reference, его разыменовывает, и возвращает разыменованное значение. В данном случае это значение типа Reference разыменовывается в функцию с кодом { alert(this.v) }, точнее ссылку на эту функцию и выражение (foo.bar, foo.bar) её (ссылку на функцию, значение типа Object) и возвращает.
Запускал на тестовой странице, проверял в IE, Firefox, Chrome. А вы какой программой пользуетесь?

опера выводит двойку

Ну и дура :lol:
По спецификации там должно быть 1.
По-видимому, Опера при выполении операторов || и && не делает разыменование значения правого операнда перед возращением, хотя это неправильное поведение с точки зрения спецификации.

ты бы ссылку кинул на писульку в спецификации а не вопил бы без аргументов.

Да, вот ваша писулька :) http://es5.javascript.ru/x11.html#x11.11
Семантика, вычисление LogicalORExpression : LogicalORExpression || LogicalANDExpression, шаг 5.

что-то я там не нашел ничего того что бы это объясняло.. Условия указанные в скобках там не описаны.

А во вторых скажу сразу что Опера лучше других браузеров поддерживает ECMAScript, советую провести тесты. Хотя тут: http://test262.ecmascript.org/ хотя я и не буду утверждать того что опера права, но и пока четких слов не увижу по вычислению выражений в скобках, я буду нейтрален, и к опере и к другим.

Извините, я вас не совсем понимаю, какие условия и какие скобки вы имеете ввиду?
Извините, вы это не восприняли близко к сердцу? Это была просто шутка, я не хотел сказать, что Опера хуже других браузеров.

Причина этих разногласий между браузерами в вычислении оператора ||.
Выражение false || foo.bar в Опере возвращает значение Reference с базой foo и именем "bar", в остальных браузерах - функцию foo.bar. Поэтому при вызове результата этого выражения как функции в Опере значение foo передаётся в качестве аргумента this, а в других браузерах - глобальный объект (или undefined в строгом режиме). Та же особенность Оперы проявляется в следующем коде:

var a=1;
(0||a)=2; // во всех браузерах, кроме Оперы что-то типа ReferenceError: invalid assignment left-hand side
alert(a); // в Опере выдаёт 2

oneguy,
ясно, поинтересуюсь на эту тему потом.