![クラス名を型として使う
「オブジェクトがポインタとして表現さている」
代入によって変数v2はv1が指すものと
同じものを指す
printf()で出力される値は0でなく1になる
Volume *v1, *v2;
v1 = [[Volume alloc] initWithMin:0 max:10 step:1];
v2 = v1;
[v1 up];
printf(“%dn”, [v2 Value];](https://image.slidesharecdn.com/objc02-1228356708364632-9/85/Objc02-16-320.jpg)
![型の静的なチェック
メソッドの呼び出し部分を以下のように変更して
コンパイルする
これで実行できるようになる
実行結果は
[a whoAreYou];
[b whoAreYou];
[c whoAreYou];
[a whoAreYou];
[b whoAreYou];
[c printName];](https://image.slidesharecdn.com/objc02-1228356708364632-9/85/Objc02-26-320.jpg)
![型の静的なチェック
次に変数bのメソッド呼び出しを以下のようにする
という警告が出るが，問題なく動作する
[b whoAreYou]; [b sayHello];](https://image.slidesharecdn.com/objc02-1228356708364632-9/85/Objc02-28-320.jpg)
![型の静的なチェック
警告を出さないようにするには素直に変数bを
クラスBのインスタンスとして宣言すればよいが，
以下のような方法もある
変数bをクラスBのインスタンスとしてキャストし，
コンパイラをごまかしている
[(B*)b sayHello];](https://image.slidesharecdn.com/objc02-1228356708364632-9/85/Objc02-29-320.jpg)
![型の静的なチェック
最後に変数aはクラスAのインスタンスだが，
以下のようにキャストしたらどうなるか
実行すると「I m A」と出力される
実行されるメソッドがキャストによって静的に
決まるということはない
[(B*)a whoAreYou];](https://image.slidesharecdn.com/objc02-1228356708364632-9/85/Objc02-30-320.jpg)
![プログラミングにおける
型宣言
このとき以下のメッセージはコンパイルできてしまう
実際どんな値が返されるコードが生成されるのかは，
コンパイラ任せになってしまう
id obj;
...
a = [obj value];](https://image.slidesharecdn.com/objc02-1228356708364632-9/85/Objc02-34-320.jpg)
![プログラミングにおける
型宣言
以下のような場合どうなるか
この場合変数barは期待通りの結果が得られる
変数fooにはクラスZのインスタンスが代入されてい
る可能性がある
実行時に誤作動するかもしれない
X *foo;
Y *bar;
...
a = [foo value];
b = [bar value];](https://image.slidesharecdn.com/objc02-1228356708364632-9/85/Objc02-35-320.jpg)
Objc02
- 5. 動的結合とは
- 6. 動的結合 このプログラムは端末から入力された数により 変数objに代入するオブジェクトのクラスが異なるよう になっている クラスA，BはwhoAreYouというメッセージに対応 できる 0を入力すると「I m A」が表示される 1を入力すると「I m B」が表示される
- 11. ポリモルフィズム List4-1では変数objに代入されているインスタンスが クラスA，クラスBどちらのものでも同じメッセージに 反応した だが，その反応は代入されているインスタンスに 依存していた
- 16. クラス名を型として使う 「オブジェクトがポインタとして表現さている」 代入によって変数v2はv1が指すものと 同じものを指す printf()で出力される値は0でなく1になる Volume *v1, *v2; v1 = [[Volume alloc] initWithMin:0 max:10 step:1]; v2 = v1; [v1 up]; printf(“%dn”, [v2 Value];
- 21. List4-2 型チェックの実験
- 22. List4-2 型チェックの実験
- 26. 型の静的なチェック メソッドの呼び出し部分を以下のように変更して コンパイルする これで実行できるようになる 実行結果は [a whoAreYou]; [b whoAreYou]; [c whoAreYou]; [a whoAreYou]; [b whoAreYou]; [c printName];
- 30. 型の静的なチェック 最後に変数aはクラスAのインスタンスだが， 以下のようにキャストしたらどうなるか 実行すると「I m A」と出力される 実行されるメソッドがキャストによって静的に 決まるということはない [(B*)a whoAreYou];
- 33. プログラミングにおける 型宣言 次のインタフェースが宣言されていたとする @interface X : NSOBject - (int)value; @end @interface Y : NSObject - (float)value; @end @interface Z : X - (const char *)value; @end
- 34. プログラミングにおける 型宣言 このとき以下のメッセージはコンパイルできてしまう 実際どんな値が返されるコードが生成されるのかは， コンパイラ任せになってしまう id obj; ... a = [obj value];
- 35. プログラミングにおける 型宣言 以下のような場合どうなるか この場合変数barは期待通りの結果が得られる 変数fooにはクラスZのインスタンスが代入されてい る可能性がある 実行時に誤作動するかもしれない X *foo; Y *bar; ... a = [foo value]; b = [bar value];
- 39. クラスの前方宣言 1つの方法は，そのクラスのインタフェース部を含む ヘッダファイルをインポートする #import <Foundation/NSObject.h> #import “Volume.h” //Volumeクラスのインタフェース部をインポート @interface AudioPlayer : NSObject { Volume *theVolume; ... } - (Volume *)volume; ...
- 41. クラスの前方宣言 以下のような書き方が出来る @classというコンパイラ指示子で 「Volumeという識別子はクラス名である」という 事を宣言している これをクラス名の前方宣言（forward declaration） と呼ぶ #import <Foundation/NSObject.h> @class Volume; //Volumeというクラスを使う事を宣言 @interface AudioPlayer : NSObject ...
- 42. クラスの前方宣言 @classの後には「,」で区切って複数個書く事が出来る 末尾には「;」を置く @classは何個でも書く事が出来る @class NSString, NSArray, NSMutableArray; @class Volume, MuteVolume
- 46. インスタンス変数への アクセス インスタンスオブジェクトobjが持つ インスタンス変数myvarにアクセスする この記法はポインタで構造体のメンバにアクセスする 場合と同じ obj -> myvar
- 54. インスタンス変数の可視性 インスタンス変数の外部への見せ方（見せるかどうか， 範囲はどこまでか）を可視性（visibility）と呼ぶ ObjCではインスタンス変数に3種類の可視性を指定 できる
- 58. インスタンス変数の可視性 @private @protected @public 同じクラス内 ○ ○ ○ 同じクラス内で->を使って ○ ○ ○ サブクラスから ○ ○ サブクラスから->を使って ○ どこからでも ○
- 62. インスタンス変数の可視性 @interface TableOfColors : HashTable { id delegate; //protected @public BOOL empty; //public @private id cache; //private int cache_entries; //private @protected int entries; //protected } ... @end
- 63. つづく（多分）