iOS5の強力なストレージと弱いストレージの説明

私はiOS5開発が初めてで、objective-cを使用しています。強力なストレージと弱いストレージの違いを理解できません。ドキュメントと他のSOの質問を読みましたが、それらはすべて私と同じように聞こえ、それ以上の洞察はありません。

私はドキュメントを読みます：ARCへの移行 -iOS4の保持、割り当て、およびリリースの用語を参照しています。これは私を混乱させます。次に、Open U CS193pを調べます。OpenとCS193pは、強弱を区別します。

強：「これ以上指さないようになるまでヒープ内に保持する」
弱：「他の誰かが強く指さしている限り、これを保持する」

2つの定義は同じではありませんか？ポインターがオブジェクトを指していない場合、オブジェクトを保持しているメモリを解放しますか？ポインタ、ヒープ、メモリの割り当てまたは割り当て解除の概念を理解していますが、強いと弱いの違いは何ですか？

違いは、オブジェクトへの強力なポインタがなくなるとすぐにオブジェクトの割り当てが解除されることです。弱いポインターがそれを指している場合でも、最後の強いポインターがなくなると、オブジェクトは割り当て解除され、残りのすべての弱いポインターはゼロにリセットされます。

おそらく例が正しいでしょう。

オブジェクトが犬であり、犬が逃げ出したい（割り当てを解除したい）と想像してください。

強いポインタは、犬の首輪のようなものです。あなたが犬に紐を取り付けている限り、犬は逃げることはありません。5人が1本の犬にリーシュを取り付けた場合（1つのオブジェクトへの5つの強力なポインタ）、5つのすべてのリーシュが外れるまで犬は逃げません。

一方、弱いポ​​インタは、犬を指して「見て！犬！」と言う小さな子供たちのようなものです。犬がまだひもにつながっている限り、小さな子供たちは犬を見ることができます。しかし、すべての鎖が外れるとすぐに、いくつ小さな子供が指を指していても、犬は逃げます。

最後の強いポインター（リーシュ）がオブジェクトを指さなくなるとすぐに、オブジェクトは割り当て解除され、すべての弱いポインターはゼロにリセットされます。

2つの定義は同じではありません。

絶対違う。あなたが指摘した2つの定義の主な違いは、「他の誰かと同じくらい」です。重要なのは「他の誰か」です。

以下を検討してください。

__strong id strongObject = <some_object>;
__weak id weakObject = strongObject;

これで、への2つのポインタが得られました。1 <some_object>つは強い、もう1つは弱いです。そのように設定strongObjectした場合nil：

strongObject = nil;

次に、概説したルールを実行すると、次の質問を自問することになります。

1. 強力：「これ以上指さなくなるまで、これをヒープ内に保持してください」

   strongObject<some_object>これ以上は指しません。したがって、それを保持する必要はありません。

2. 弱点：「他の誰かが強く指摘している限り、これを維持する」

   weakObjectまだを指してい<some_object>ます。しかし、他の誰もそれを指さないので、このルールはそれを維持する必要がないことも意味します。

その結果、<some_object>割り当てが解除され、ランタイムがサポートしている場合（LionおよびiOS 5以降）、weakObject自動的にに設定されnilます。

次に、そのように設定weakObjectした場合にどうなるかを考えますnil。

weakObject = nil;

次に、概説したルールを実行すると、次の質問を自問することになります。

1. 強力：「これ以上指さなくなるまで、これをヒープ内に保持してください」

   strongObjectを指し<some_object>ます。したがって、それを保持する必要があります。

2. 弱点：「他の誰かが強く指摘している限り、これを維持する」

   weakObjectを指さない<some_object>。

結果は、ある<some_object>されていない割り当て解除、しかしweakObjectだろうnilポインタ。

[想定しているすべてのことは<some_object>、別の場所の別の強力な参照/「保持」される他の手段によって指されていないことに注意してください]

強い

1. プロパティと割り当てられた値の間に所有権を作成します。
2. これはARCのオブジェクトプロパティのデフォルトであるため、参照カウントについて心配する必要がなく、参照を自動的に解放します。
3. 保存用の交換品です。保持として使用する必要がある場合にのみ使用します。

弱い

1. プロパティと割り当てられた値の間に非所有権を作成します。
2. 親オブジェクトで強いが使用され、親が解放されると子オブジェクトで弱いが使用され、子オブジェクトの参照もnilに設定されます。
3. 保持サイクルの防止に役立ちます。
4. ガベージコレクターによるコレクション時に、参照先オブジェクトを保護しません。
5. 弱いは本質的に割り当てられた、保持されないプロパティです。

別の例：StudentはでありObject、optional-courses（）を取得しているかどうかに関係なく、deallocateすべてのcore-courses（strong pointers）を終了している限り、卒業することができます（weak pointers）。言い換えると、強いポインタがその割り当てを解除する唯一の要因ですObject。

いいえ、それらは同一ではありませんが、大きく異なります。オブジェクトを保持する必要がある場合のみ、strongを使用します。他のケースではウィークを使用しますが、デメリットとして、オブジェクトを保持していないためにオブジェクトがヒープから削除されたかどうかを知ることができます。

私はこのパーティーに遅れていることを知っていますが、「強力で弱いメモリモデル」の意味は、ソフトウェアとハ​​ードウェアのどちらで話しているかによって異なることを指摘して、問題を混乱させることが重要だと思います。

ハードウェアの場合、弱いまたは強いは、順次整合性のサポートがあるかどうかを示します。

[SCは] ...すべてのプロセッサの操作が特定の順序で実行された場合と同じ結果になり、各プロセッサの操作は、プログラムで指定された順序でこの順序で表示されます。- ランポート、1979

WTFはメモリと関係がありますか？異なるプロセッサによる変数への書き込みは、すべてのプロセッサで同じ順序で確認する必要があることを意味します。強力なモデルのハードウェアでは、これは保証されています。弱いモデルのハードウェアでは、そうではありません。

既存の回答は、ソフトウェアメモリモデルの観点からのみ質問を解釈します。ハードウェアはプログラミングには関係ありません。この質問自体は、通常Arm7プロセッサで実行されるiOSについて言及しています。Arm7には弱いメモリモデルがあります。強力なモデルのプロセッサに慣れているプログラマにとって-これはx86とx64が強力なモデルを持っているので私たち全員です-これはひどい罠です。強力なモデルでは、ブール値を使用して別のスレッドに終了を通知することで問題なく動作します。フラグを揮発性としてマークしない限り、Armの同じコードはまったく機能せず、それでも不安定になります。

Arm8 +が取得/解放を明示的にサポートすることでこれを完全に変更することは事実ですが、レガシーソフトウェアはこのサポートを使用しません。レガシーソフトウェアには、3つすべての電話OSとそれらで実行されるすべてのものが含まれ、更新されるまでコンパイラとライブラリも含まれます。

このトピックの詳細な調査については、他に類を見ないハーブサッターを参照してください。