JavaScriptで変数の割り当てはどのように機能しますか？

先日、JavaScriptで大量割り当てがどのように機能するかを正確に確認するために遊んでいました。

まず、コンソールでこの例を試しました：

a = b = {};
a.foo = 'bar';
console.log(b.foo);

その結果、アラートに「バー」が表示されていました。それは十分に公平でaありb、実際には同じオブジェクトの単なるエイリアスです。次に、この例をもっと簡単にするにはどうすればよいかと考えました。

a = b = 'foo';
a = 'bar';
console.log(b);

それはだいたい同じですよね。さて今回は、最初の例の振る舞いから期待するほどには戻りfooませんbar。

なぜこれが起こるのですか？

注：この例は、次のコードでさらに簡略化できます。

a = {};
b = a;
a.foo = 'bar';
console.log(b.foo);

a = 'foo';
b = a;
a = 'bar';
console.log(b);

（JavaScriptは文字列や整数などのプリミティブをハッシュとは異なる方法で処理していると思います。ハッシュはポインターを返しますが、「コア」プリミティブはそれらのコピーを返します）

最初の例では、既存のオブジェクトのプロパティを設定しています。2番目の例では、まったく新しいオブジェクトを割り当てています。

a = b = {};

aそしてb今、同じオブジェクトへのポインタです。だからあなたがするとき：

a.foo = 'bar';

それb.foo以降も設定され、同じオブジェクトaをb指します。

しかしながら！

代わりにこれを行う場合：

a = 'bar';

今はa別のオブジェクトを指していると言っています。これはa以前の指摘には影響しません。

JavaScriptでは、変数の割り当てとプロパティの割り当ては2つの異なる操作です。変数はオブジェクトへのポインタと考えるのが最適です。変数に直接割り当てる場合、オブジェクトを変更するのではなく、変数を別のオブジェクトに再ポイントするだけです。

ただし、などのプロパティを割り当てると、ポイントするa.fooオブジェクトが変更さaれます。もちろん、これは、すべてが同じオブジェクトを指しているという理由だけで、このオブジェクトを指している他のすべての参照も変更します。

あなたの質問はすでにSqueegyによって満足に答えられています-それはオブジェクト対プリミティブとは何の関係もありませんが、同じ参照オブジェクト内の変数と設定プロパティの再割り当てに関するものです。

回答とコメントのJavaScriptの型については多くの混乱があるようですので、JavaScriptの型システムの簡単な紹介を次に示します。

JavaScriptには、基本的に異なる2種類の値があります。プリミティブとオブジェクトです（「ハッシュ」のようなものはありません）。

文字列、数値、ブール値、nullおよびundefinedプリミティブであるオブジェクトは、プロパティを持つことができるすべてのものです。配列や関数も通常のオブジェクトであるため、任意のプロパティを保持できます。これらは内部の[[Class]]プロパティが異なるだけです（関数には[[Call]]と[[Construct]]と呼ばれるプロパティがありますが、それは詳細です）。

プリミティブ値がオブジェクトのように動作する理由は、オートボクシングのためですが、プリミティブ自体はプロパティを保持できません。

次に例を示します。

var a = 'quux';
a.foo = 'bar';
document.writeln(a.foo);

これは出力しますundefined：aプロパティを割り当てるときにオブジェクトに昇格されるプリミティブ値を保持しますfoo。ただし、この新しいオブジェクトはすぐに破棄されるため、の値fooは失われます。

次のように考えてください。

var a = 'quux';
new String(a).foo = 'bar'; // we never save this new object anywhere!
document.writeln(new String(a).foo); // a completly new object gets created

あなたが多かれ少なかれ正しいのは、「ハッシュ」と呼んでいるものは、実際にはオブジェクトの省略構文にすぎないということです。

最初の例では、aとbの両方が同じオブジェクトを参照しています。2番目の例では、他のものを参照するようにaを変更します。

ここに私のバージョンの答えがあります：

obj = {a:"hello",b:"goodbye"}
x = obj
x.a = "bonjour"

// now obj.a is equal to "bonjour"
// because x has the same reference in memory as obj
// but if I write:
x = {}
x.a = obj.a
x.b = obj.b
x.a = "bonjour"

// now x = {a:"bonjour", b:"goodbye"} and obj = {a:"hello", b:"goodbye"}
// because x points to another place in the memory

新しい文字列オブジェクトを指すようにaを設定している一方で、bは古い文字列オブジェクトを指し続けています。

最初のケースでは、変数に含まれるオブジェクトのいくつかのプロパティを変更し、2番目のケースでは、変数に新しい値を割り当てます。それは根本的に異なるものです。変数aとb最初の割り当てによって魔法のようにリンクされているわけではなく、同じオブジェクトが含まれているだけです。b変数に新しい値を割り当てるまでは、2番目の例でも同じです。

違いは、単純型とオブジェクトの間です。

オブジェクトであるもの（配列や関数など）は、参照渡しされます。

単純なタイプ（文字列や数値など）はすべてコピーされます。

私は常に便利なcopyArray関数を持っているので、同じ配列に大量のエイリアスを作成していないことを確認できます。