プリミティブプロパティにはどのようなデータ型がありますか？

Question

私はいくつかの複雑なブロックコードを手に入れていたので、次のコードが正しく動作することを期待していなかったので、私は尋ねています。

はように、我々はBOOLプロパティを持っていると言う：

@property (nonatomic, assign) BOOL isCancelled; 

それの自動合成し、無カスタムゲッター、セッターがない、明示的なIVAR。

その後、完全に

dispatch_async(queue, ^{ 
    id result = block(&_isCancelled); 
    if (!_isCancelled) { ... } 
} 

しかし、私はそれがブロック（）の呼び出しのためではなく、私はそれをキャプチャするだろうと思ったところ、場合のために働くと予想しているだろうに動作し、このコードは...あります_isCancelledの値をconstにしておき、実行中に突然変異させることはありません。それでも、実行時に、_isCancelledの値は、実際にBOOLであるかのように、ブロックの内側/外側で常に一貫しています。*

誰でも何が起こっているのか説明できますか？

Answer 1

プロパティを宣言するときBOOL cancelled自動合成ivarはBOOL _isCancelledです。これはポインタではなく、プリミティブ変数です。

しかし、ブロックがivarsをキャプチャしているとき、それは実際にはivar自体ではなくselfをキャプチャしています。読み込みiver _isCancelledは実際にはself->_isCancelledを意味します。

したがって、ローカル変数に最初に保存しない限り（例：BOOL isCancelled = _isCancelled）、ivarsは値で取り込まれません。

詳細については、Block automatic retaining, does it affect even to ivars in self?を参照してください。

Answer 2

TL; DR：プロパティと同じタイプ。

すべてのオブジェクトポインタとプリミティブ型は、スカラー値です。つまり、特異値です。それらはすべてメモリ内のアドレスに格納する必要があるため、すべてが自分のメモリアドレスを持っています。

&_isCancelledを渡すことによって、あなたはBOOL変数のアドレスを渡しているので、block()は「秘密の上で聞かせて」されています - BOOLのすなわち場所 - それは、それを更新することができます。その後、の実際のの値が_isConnectedであることを確認しています。これは、プリミティブ型（スカラー）とオブジェクトポインタ（スカラーも）で動作します。

プロパティの有無は関係ありません。