不変性を回避する

私はオブジェクト指向プログラミングに慣れていないので、把握に時間がかかっている概念の1つは不変性です。昨夜電球が消えたと思うが、確認したい：

不変オブジェクトを変更できないというステートメントに出くわすと、たとえば次のようなことができるため困惑します。

NSString *myName = @"Bob";
myName = @"Mike";

そこで、不変型NSStringのmyNameを変更しました。私の問題は、「オブジェクト」という言葉がメモリ内の物理オブジェクト、または抽象化「myName」を指すことがあるということです。前者の定義は、不変性の概念に適用されます。

変数については、不変性のより明確な（私にとって）定義は、不変オブジェクトの値は、メモリ内の位置、つまり参照（ポインタとも呼ばれる）を変更することによってのみ変更できるということです。

これは正しいですか、それとも私はまだ森の中で迷っていますか？

あなたは正しい方向に向かっているように聞こえますが、まだ十分に理解できていません。これは間違っています：

そこで、不変型NSStringのmyNameを変更しました。私の問題は、「オブジェクト」という言葉がメモリ内の物理オブジェクト、または抽象化「myName」を指すことがあるということです。

コードスニペットでmyNameは、は不変型ではなくNSString、可変型NSString*（NSStringへのポインター）です。あなたが不足している重要なことはことを理解することがあるように聞こえるポインタがちょうど別の値であり、そしてそれが指すものとは完全に別の人生がある（あなたがその生涯を通じて、それを途中で変更した場合、または物事を）。

あなたは言う：

...不変オブジェクトの値は、メモリ内の位置、つまり参照（ポインタとも呼ばれる）を変更することによってのみ変更できます。

これは間違っています。オブジェクトは、それを指すポインターを所有していません。また、オブジェクトのメモリー位置は、そのポインターによる制御や影響を受けません。

したがって、NSString例の2つのオブジェクト（@"Bob"および@"Mike"）は、myName変数とは完全に分離されています。また、互いに完全に分離されています。あなたが変更した場合myNameにポイントを@"Mike"指しするのではなく@"Bob"、あなたが変更されていないNSStringオブジェクトを。

完全を期すために、ポインターの変更が指すオブジェクトに影響を与える可能性があるという点で、ガベージコレクターはこれをより複雑にすることに注意してください。ただし、これはコードの観察可能な動作に影響を与えない実装の詳細です。

あなたは言葉で失われます。不変性とは、変数を変更しない限り、他の変数で何をしても、常に同じ値が「含まれる」ことを意味します。

Cの反例（それを許可するアーキテクチャを想定して、少し簡略化）：

 char *a = "Hello World";
 char *b = a;
 b[0] = 'Y';

これで、文字列「Hello World」が「含まれる」（つまり指す）ことはなくなりましたが、代わりに「Yello World」になります。

Javaや（EDIT：safe）C＃などの文字列が不変の言語では、それを行うことはできません。ありえない。これは、プログラムのすべての部分が文字列への参照を安全に保持し、その内容が決して変わらないことを信頼できることを意味します。そうでなければ、安全のためにコピーを作成する必要があります。

しかし、変数はまだ変更可能です。別のオブジェクトを指すようにすることができます。それは、オブジェクト自体が背中の後ろで変化しないということだけです。

変数をオブジェクトと混同しています。オブジェクトへの参照を格納するために変数を使用できますが、それらはオブジェクトではありません。オブジェクトは変数ではなく不変であるため、変数をあるオブジェクトから別のオブジェクトに変更することはできますが、オブジェクトが不変である場合はそのオブジェクトの属性を変更することはできません。

オブジェクトを騒々しく酔っ払った隣人と考えてください。彼が理にかなっている（可変）場合、あなたは彼のドアをノックして、彼がそれほど騒ぎのないライフスタイルに彼を変えることができるかもしれません。しかし、彼が不変である場合、あなたの唯一の変更は、他の誰かが入ることを願うことです！

変数はオブジェクトではありません。変数は名前であり、オブジェクト（またはより一般的には値）を参照します。

たとえば、「ゴールキーパー」とは、ゴールを守る責任のあるオブジェクト（人）を指すために使用する名前です。しかし、その人を別の人に置き換えると（前者が負傷したなどの理由で）、新しい人は「ゴールキーパー」と呼ばれます。

代入ステートメントは変数を可変にするものです（Haskellなどの一部の言語には変数がなく、実際に不変変数を使用します）。名前の意味を再定義して、値を再割り当てできます。

オブジェクト自体は不変になりました。数千年前には、ダイヤモンドは不変であると考えられていました。ダイヤモンドで何をしたとしても、修正することはできません。ワガウオガと呼ばれても（「私たちの部族の最大の光沢のある石」にゆるやかに変換される）、またはそのように呼ぶのをやめても（より大きなものを見つけたため）、ダイヤモンドは同じままでした。対照的に、ワガウガで面白い写真を彫るのに使用していた木片は同じままではありませんでした。可変であることが証明されました。たとえ同じ名前だったとしても。

変数と値は両方とも不変（独立）にすることができます。この場合、不変なのはオブジェクトです。を作成するとNSString、変更できません。名前を付けて渡すことができますが、同じままです。それとは対照的に、NSMutableStringたとえばsetStringメソッドを呼び出すことにより、作成後に変更できます。

オブジェクト自体と、そのオブジェクトにバインドされた変数名という2つの概念が混在しているため、あなたは道に迷ったと思う。

不変オブジェクトは変更できません。限目。ただし、不変オブジェクトにバインドされた変数名（シンボル）は、別の不変オブジェクトにバインドされるように変更できます。

つまり、これら2行で行ったことは次のとおりです。

1. 値が「Bob」の不変文字列オブジェクトを作成します
2. myNameそのオブジェクトにシンボルをバインドします
3. 値「Mike」で不変の文字列オブジェクトを作成します
4. myNameそのオブジェクトにシンボルをバインドします

あなたのあなたのタイプではありませんNSString、それは「へのポインタNSString不変ではありません」、。客観的なCについては何も知りませんが、あなたの例で@"Mike"は、の新しいインスタンスを作成し、NSStringそれをポインターに 割り当てていると推測していますmyName。あなたは、オブジェクトに変更されていないようmyNameして指しだけに、どのようなそれが指していたが。

変更可能なオブジェクトの例を次に示しますchar。Cの配列：

char str[10];

私が変更できる内容のをstr（限り、それは10文字以下だと）私の心の内容に。C文字列ライブラリ関数によって文字列として認識されるためには、末尾に0が必要であるため、最大9文字の文字列を保持できます。

strcpy(str, "hello"); // str now contains the string "hello\0"
strcpy(str, "world"); // str now contains the string "world\0"

str[0] = 'W';         // str now contains "World\0"

ウント・ソ・ワイター。

これをJavaの文字列オブジェクトと比較してください。

String foo = "Hello";

文字列インスタンス（文字 'H'、 'e'、 'l'、 'l'、および 'o'を含むメモリのチャンク）は変更できません。その文字列の内容を変更することはできません。あなたが何かを書くとき

foo = foo + " World";

「Hello」インスタンスの最後に「World」を追加していません。新しいインスタンスを作成し、それに「Hello World」をコピーfooし、その新しい文字列インスタンスを参照するように更新しています。

foo文字列インスタンス自体は含まれません。それはそのインスタンスを参照するだけであり（CまたはObj-Cのポインターに似ています）、したがって、Stringのような型が参照型と呼ばれる理由です。