TORQUES LABS

今回のエントリは、ここ数週間、Objective-CでiPhoneアプリ向けにコードをバリバリ書いているのですが、言語的に微妙に使い勝手が悪く、違和感を感じていたのですが、その原因の一つが分かった、という話です。
違和感の原因は、オブジェクト管理（メモリ的な意味）の分かりにくさ、でした。
私はC/C++での開発経験はあるので、ポインタが分からない〜、とかそういう話ではありません。（かつて、そういう時代もありましたがｗ）

retainしてんの？してないの？

retain/releaseという参照カウンタの仕組みは良いとは思うのですが、それ(retain)が全てではない、というところに問題の根源があると思うのです。
photo © 2008 Marcin Wichary | more info (via: Wylio)
copyするかもしれないし、assignかもしれない、という可能性を考えていたら、標準ライブラリの情報不足がジワリジワリと効いてきて、コードを書いてるのか、パズルを解いているのか分からなくなってきます。
例を上げてみます。
可変長の配列クラス NSMutableArray に addObject というメソッドがあります。
- (void)addObject:(id)anObject;
で、このメソッドが与えたオブジェクトをどう管理してくれているのか、それを知るすべが見つからないのです。
典型的な使用例として、下記のコードを見てください。このコードで問題ない、と言い切れるにはどれくらいの知識が必要でしょうか。

1
2
3
4
5

NSMutableArray* array = [[NSMutableArray alloc] init]; // (1)
NSObject* obj = [[NSObject alloc] init]; // (2)
[array addObject:obj]; // (3)
[obj release]; // (4)
[array release]; // (5)

(3)で渡したオブジェクトはretain/assign/copyの3通りの処理の可能性があります。
また、(5)のrelease時に、そのオブジェクトをどう処理しているか（releaseするのか、しないのか）を考える必要があります。
(3)で引数に渡したオブジェクトをretain、もしくはcopyしていたら、まぁ、(5)内では、オブジェクトをreleaseしてくれているとは想定できます。それをしないとほぼ確実にメモリリークしますしね。
しかし、(3)の引数処理がassign（参照渡しのみ）だったら、どうでしょうか？配列は破棄処理をするべきでしょうか。外部の使用者から見たら全く想像がつきませんね。
リファレンスにも次のようなことしか書いていませんでした。

addObject:
Inserts a given object at the end of the array.
- (void)addObject:(id)anObject
Parameters
anObject
The object to add to the end of the array’s content. This value must not be nil.
Important: Raises an NSInvalidArgumentException if anObject is nil.

anObjectはnilじゃだめだよ。nil渡したら例外投げるよ、ってことしか書かれていません。うーん、そうじゃなくて、引数を内部ではどう処理するのか、とかそういう情報も欲しいと思うんです。
結局下記のコードで、retainしていて、上記のコードで問題ないことを確認しました。

1
2
3
4
5
6
7
8
9

NSMutableArray *array = [[NSMutableArray alloc] init];
NSObject *obj = [[NSObject alloc] init];
NSLog(@" check A [%d]", (int)[obj retainCount]);	// 1
[array addObject:obj];
NSLog(@" check B [%d]", (int)[obj retainCount]);	// 2
[obj release];
NSLog(@" check C [%d]", (int)[obj retainCount]);	// 1
[array release];
NSLog(@" check D [%d]", (int)[obj retainCount]); // objがnilなので落ちる.

Open your mind!

retainも便利だとは思うし、積極的に使うべきだとは思うけど、明示して欲しいのですよ。
例えば、プロパティみたいに次のような構文が書けて、ヘッダーのメソッド宣言で分かればいいかも。
- (void)addObject:(id,retain)anObject;
あー、これだったらすっきりする！と自画自賛！！
特に標準じゃないライブラリとか、自分で書いたものとかですら、あとから使うときに困ることが多いんじゃないかな、と思うのですが、私だけでしょうか。