Objective-Cで有限オートマトンを作ろう

【ミッション： お買い物プログラムを作れ】

今日は、Objective-C のプロトコルを駆使して有限オートマトン（finite automaton）、別名：有限状態機械（finite state machine）を作りつつ、オブジェクト指向プログラミングに慣れていこうと思う。

とは言ってもそれほど難しいものではなく、今回作るのは、ユーザの入力によって以下のように状態が遷移する、簡単な『お買い物プログラム』だ。

※ 突っ込みどころが満載なのはデフォなので無視してほしい。

最初に断っておくと、状態遷移を管理するプログラムの実装自体は、特別なテクニックが無くとも（一応）可能である。

---

上記の状態遷移を直線的に列挙すると、おおむね以下の通り。

1. 『いらっしゃいませ』　A. 買いにきた（→2）　B. 売りにきた（→9）

2. 『お買い上げですね』　A. 武器（→3）　B. 防具（→6）

3. 『どれにいたしますか？』　A. 剣（→4）　B. 銃（→5）

4. 『剣でよろしいですね？』　A. はい（→10）　B. いいえ（→3）

5. 『銃でよろしいですね？』　A. はい（→10）　B. いいえ（→3）

6. 『どれにいたしますか？』　A. 鎧（→7）　B. 兜（→8）

7. 『鎧でよろしいですね？』　A. はい（→10）　B. いいえ（→6）

8. 『兜でよろしいですね？』　A. はい（→10）　B. いいえ（→6）

9. 『本当に売りますか？』　A. はい（→10）　B. いいえ（→10）

10. 『ほかに御用はありますか？』　A. はい（→1）　B. いいえ（→11）

11. 『ありがとうございました』 （→End）

この処理を素直に実装しようとすると、11種類の状態とその遷移先をすべて if 文で振り分ける方法がまず思いつく。

敢えてこの方法のソースコードは示さないが（ホント面倒なので）、気になる方には是非実装して頂きたい。間違いなく途中で厭になる。

---

上記方針で実装されたプログラムは、ソースコードの可読性だけでなく、拡張性までをも失う事になる。新たに状態を追加したくなったときには、おびただしい if 文に手を加える必要があるからである。もちろん、状態が正しく遷移する事を確認するのも大変だ。

しかし、1つ1つの状態が共通の振る舞いを持っている事に気付けば、オブジェクト指向の考え方を用いてよりスマートに実装できる。

簡単のため、こんなオートマトンを考えてみよう。

まず、共通の振る舞いをまとめた抽象クラス State を作る。各状態の共通の振る舞いは《次に遷移する状態を決定する》という更新処理であり、ここでは update メソッドと名づけておく。

view plainprint?

1. // ===============================================  
2. // 抽象クラス（…に相当するもの。継承して使う）  
3. // ===============================================  
4. @interface State : NSObject  
5. - (State *) update;  
6. @end  
7.   
8. @implementation State  
9. - (State *) update {  
10.     return (State *)Nil;  
11. }  
12. @end  

// ===============================================
// 抽象クラス（…に相当するもの。継承して使う）
// ===============================================
@interface State : NSObject
- (State *) update;
@end

@implementation State
- (State *) update {
    return (State *)Nil;
}
@end

Objective-C には、抽象クラスを作るための特別な構文がないので、傍目には普通のクラスと見分けがつかない。そのため、不慮のバグを見つけやすくするために State クラスは常に Nil を返すようにしている。

「どういうときに・どこへ遷移するか」は、各状態によって異なるため、State を継承した状態クラス State1、State2、State3 を定義する。update メソッドをオーバーライドし、個別に更新処理を記述すればよい。

戻り値が State * 型なのは、update メソッドが次に遷移する状態のインスタンス（のポインタ）を返すようにするためである。

view plainprint?

1. // ===============================================  
2. // 各状態クラス ～インタフェース部～  
3. // ===============================================  
4. @interface State1 : State  
5. - (State *) update;  
6. @end  
7.   
8. @interface State2 : State  
9. - (State *) update;  
10. @end  
11.   
12. @interface State3 : State  
13. - (State *) update;  
14. @end  
15.   
16. // ===============================================  
17. // 各状態クラス ～実装部～  
18. // ===============================================  
19. @implementation State1  
20. - (State *) update {  
21.     printf("ここは状態1です∩( ・ω・)∩\n");  
22.     getchar();  
23.     return [[State2 alloc] init];  
24. }  
25. @end  
26.   
27. @implementation State2  
28. - (State *) update {  
29.     printf("ここは状態2だよヾ(・ω・)ﾉ゛\n");  
30.     getchar();  
31.     return [[State3 alloc] init];  
32. }  
33. @end  
34.   
35. @implementation State3  
36. - (State *) update {  
37.     printf("ここは状態3である(´-ω-`)\n");  
38.     getchar();  
39.     return [[State2 alloc] init];  
40. }  
41. @end  

// ===============================================
// 各状態クラス ～インタフェース部～
// ===============================================
@interface State1 : State
- (State *) update;
@end

@interface State2 : State
- (State *) update;
@end

@interface State3 : State
- (State *) update;
@end

// ===============================================
// 各状態クラス ～実装部～
// ===============================================
@implementation State1
- (State *) update {
    printf("ここは状態1です∩( ・ω・)∩\n");
    getchar();
    return [[State2 alloc] init];
}
@end

@implementation State2
- (State *) update {
    printf("ここは状態2だよヾ(・ω・)ﾉ゛\n");
    getchar();
    return [[State3 alloc] init];
}
@end

@implementation State3
- (State *) update {
    printf("ここは状態3である(´-ω-`)\n");
    getchar();
    return [[State2 alloc] init];
}
@end

これで準備は完了だ。各状態クラスをこのように作っておくだけで、main 関数はこんなにシンプルに書ける。

view plainprint?

1. main() {  
2.     State *state = [[State1 alloc] init];  
3.     State *next;  
4.       
5.     while(next = [state update]) {  
6.         if(state != next) {  
7.             [state release];  
8.             state = next;  
9.             printf("遷移しました！\n");  
10.         }  
11.     }  
12. }  

main() {
    State *state = [[State1 alloc] init];
    State *next;
    
    while(next = [state update]) {
        if(state != next) {
            [state release];
            state = next;
            printf("遷移しました！\n");
        }
    }
}

ちなみに実行すると、こうなる（何か入力があるたびに、問答無用で次の状態へと遷移する）。

状態遷移図の通り、初期状態 1 から、以降、状態 2 と 3 を交互に遷移している事が判る。

---

【プログラムのからくり】

State から派生した State1、State2、State3 のインスタンスは、いずれもアップキャストする事で State と同一視して扱う事が可能になる。

この性質を利用して、main の中でポインタの継ぎ換えを行い、状態遷移を実現するのだ。ここだけ詳しく見ていこう。

はじめに、State *state = [[State1 alloc] init]; で、変数 state には状態 1 のポインタが格納される。

この状態で [state update] を実行すると、状態 1 のインスタンスが次状態（状態 2 ）のインスタンスを生成し、戻り値として返す。

これを、next に一時的に格納する。

実は、Java ではこの一時変数は必要なく、いきなり state に次状態を格納しても大した問題は起きないのだが、Objective-C で同じようなマネをしたら大問題になる。そう、メモリリークだ。

そこで、state と next を比較して、異なる先を参照している場合は、ちゃんと release をしてからポインタを継ぎ換える必要がある。

これによって state の中身はどんどん更新され、update を実行すると、（現在の状態に応じて）振る舞いが変わる。この多態性と呼ばれる性質のお陰で、現在の状態が何であるかをプログラマが意識する事はほとんどなく、スマートにプログラムを記述できるのだ。

これが、オブジェクト指向による状態遷移実装のからくりである。

---

ちなみに、抽象クラスではなく、プロトコルを用いて上記のプログラムを書き換える事ができる。

view plainprint?

1. #import <Foundation/Foundation.h>  
2.   
3. // ===============================================  
4. // プロトコル  
5. // ===============================================  
6. @protocol State  
7. // 更新メソッド  
8. // 次の状態（へのポインタ）を返す  
9. - (id) update;  
10. @end  
11.   
12.   
13. // ===============================================  
14. // 各状態クラス ～インタフェース部～  
15. // ===============================================  
16. @interface State1 : NSObject<State>  
17. - (id) update;  
18. @end  
19.   
20. @interface State2 : NSObject<State>  
21. - (id) update;  
22. @end  
23.   
24. @interface State3 : NSObject<State>  
25. - (id) update;  
26. @end  
27.   
28. // ===============================================  
29. // 各状態クラス ～実装部～  
30. // ===============================================  
31. @implementation State1  
32. - (id) update {  
33.     printf("ここは状態1です∩( ・ω・)∩\n");  
34.     getchar();  
35.     return [[State2 alloc] init];  
36. }  
37. @end  
38.   
39. @implementation State2  
40. - (id) update {  
41.     printf("ここは状態2だよヾ(・ω・)ﾉ゛\n");  
42.     getchar();  
43.     return [[State3 alloc] init];  
44. }  
45. @end  
46.   
47. @implementation State3  
48. - (id) update {  
49.     printf("ここは状態3である(´-ω-`)\n");  
50.     getchar();  
51.     return [[State2 alloc] init];  
52. }  
53. @end  
54.   
55. main() {  
56.     id state = [[State1 alloc] init];  
57.     id next;  
58.       
59.     while(next = [state update]) {  
60.         if(state != next) {  
61.             [state release];  
62.             state = next;  
63.             printf("遷移しました！\n");  
64.         }  
65.     }  
66. }  

#import <Foundation/Foundation.h>

// ===============================================
// プロトコル
// ===============================================
@protocol State
// 更新メソッド
// 次の状態（へのポインタ）を返す
- (id) update;
@end


// ===============================================
// 各状態クラス ～インタフェース部～
// ===============================================
@interface State1 : NSObject<State>
- (id) update;
@end

@interface State2 : NSObject<State>
- (id) update;
@end

@interface State3 : NSObject<State>
- (id) update;
@end

// ===============================================
// 各状態クラス ～実装部～
// ===============================================
@implementation State1
- (id) update {
    printf("ここは状態1です∩( ・ω・)∩\n");
    getchar();
    return [[State2 alloc] init];
}
@end

@implementation State2
- (id) update {
    printf("ここは状態2だよヾ(・ω・)ﾉ゛\n");
    getchar();
    return [[State3 alloc] init];
}
@end

@implementation State3
- (id) update {
    printf("ここは状態3である(´-ω-`)\n");
    getchar();
    return [[State2 alloc] init];
}
@end

main() {
    id state = [[State1 alloc] init];
    id next;
    
    while(next = [state update]) {
        if(state != next) {
            [state release];
            state = next;
            printf("遷移しました！\n");
        }
    }
}

なお、抽象クラスのときと違って、update の戻り値を State * （プロトコルのつもり）にしてしまうと、なぜか Sytax Error になってしまう。恐らく、プロトコルは型名として扱われない仕様なのだろう。戻り値の型を id 型に変更したらエラーが消えた。

これはインタフェースにアップキャストできる Java や C++ では考えられない現象だったので、ちょっとだけ嵌ったポイントでもある。

---

ここまで書けば、あとは『お買い物プログラム』の作成は簡単である。

一応すごく適当に作ったソースを載せておくが、もうちょっと各状態クラス名をマシなものにすれば、一瞥しただけで遷移先が把握できるようになると思う。

+ expand sourceview plainprint?

1. #import <Foundation/Foundation.h>  
2.   
3. // ===============================================  
4. // プロトコル  
5. // ===============================================  
6. @protocol State  
7. - (id) update;  
8. @end  
9.   
10.   
11. // ===============================================  
12. // インタフェース部  
13. // ===============================================  
14.   
15. // 『いらっしゃいませ』状態  
16. @interface IrasshaiState : NSObject<State> {}  
17. - (id) update;  
18. @end  
19.   
20. // 『お買い上げですね』状態  
21. @interface OkaiageState : NSObject<State> {}  
22. - (id) update;  
23. @end  
24.   
25. // 『武器はどれにいたしますか？』状態  
26. @interface BukiSelectState : NSObject<State> {}  
27. - (id) update;  
28. @end  
29.   
30. // 『剣でよろしいですね？』状態  
31. @interface TsurugiState : NSObject<State> {}  
32. - (id) update;  
33. @end  
34.   
35. // 『銃でよろしいですね？』状態  
36. @interface JuuState : NSObject<State> {}  
37. - (id) update;  
38. @end  
39.   
40. // 『防具はどれにいたしますか？』状態  
41. @interface BouguSelectState : NSObject<State> {}  
42. - (id) update;  
43. @end  
44.   
45. // 『鎧でよろしいですね？』状態  
46. @interface YoroiState : NSObject<State> {}  
47. - (id) update;  
48. @end  
49.   
50. // 『兜でよろしいですね？』状態  
51. @interface KabutoState : NSObject<State> {}  
52. - (id) update;  
53. @end  
54.   
55. // 『本当に売りますか？』状態  
56. @interface UrimasukaState : NSObject<State> {}  
57. - (id) update;  
58. @end  
59.   
60. // 『ほかに御用はありますか？』状態  
61. @interface HokaninanikaState : NSObject<State> {}  
62. - (id) update;  
63. @end  
64.   
65. // 『ありがとうございました』状態  
66. @interface ArigatouState : NSObject<State> {}  
67. - (id) update;  
68. @end  
69.   
70.   
71. // ===============================================  
72. // 実装部  
73. // ===============================================  
74.   
75. // 『いらっしゃいませ』状態  
76. @implementation IrasshaiState  
77. - (id) update {  
78.     int inputValue;  
79.       
80.     // メッセージ表示  
81.     printf("いらっしゃいませ\n");  
82.     printf("1. 買いにきた　2. 売りにきた\n");  
83.       
84.     // 入力受付  
85.     scanf("%d", &inputValue);  
86.       
87.     if(inputValue == 1) {  
88.         // 買いにきた場合  
89.         return [[OkaiageState alloc] init];  
90.     } else if(inputValue == 2) {  
91.         // 売りにきた場合  
92.         return [[UrimasukaState alloc] init];  
93.     }  
94.       
95.     // それ以外は遷移しない（自分自身を返す）  
96.     return self;  
97. }  
98. @end  
99.   
100. // 『お買い上げですね』状態  
101. @implementation OkaiageState  
102. - (id) update {  
103.     int inputValue;  
104.       
105.     printf("お買い上げですね\n");  
106.     printf("1. 武器　2. 防具\n");  
107.       
108.     scanf("%d", &inputValue);  
109.       
110.     if(inputValue == 1) {  
111.         return [[BukiSelectState alloc] init];  
112.     } else if(inputValue == 2) {  
113.         return [[BouguSelectState alloc] init];  
114.     }  
115.       
116.     return self;  
117. }  
118. @end  
119.   
120. // 『武器はどれにいたしますか？』状態  
121. @implementation BukiSelectState  
122. - (id) update {  
123.     int inputValue;  
124.       
125.     printf("武器はどれにいたしますか？\n");  
126.     printf("1. 剣　2. 銃\n");  
127.       
128.     scanf("%d", &inputValue);  
129.       
130.     if(inputValue == 1) {  
131.         return [[TsurugiState alloc] init];  
132.     } else if(inputValue == 2) {  
133.         return [[JuuState alloc] init];  
134.     }  
135.       
136.     return self;  
137. }  
138. @end  
139.   
140. // 『剣でよろしいですね？』状態  
141. @implementation TsurugiState  
142. - (id) update {  
143.     int inputValue;  
144.       
145.     printf("剣でよろしいですね？\n");  
146.     printf("1. はい　2. いいえ\n");  
147.       
148.     scanf("%d", &inputValue);  
149.       
150.     if(inputValue == 1) {  
151.         return [[HokaninanikaState alloc] init];  
152.     } else if(inputValue == 2) {  
153.         return [[BukiSelectState alloc] init];  
154.     }  
155.       
156.     return self;  
157. }  
158. @end  
159.   
160. // 『銃でよろしいですね？』状態  
161. @implementation JuuState  
162. - (id) update {  
163.     int inputValue;  
164.       
165.     printf("銃でよろしいですね？\n");  
166.     printf("1. はい　2. いいえ\n");  
167.       
168.     scanf("%d", &inputValue);  
169.       
170.     if(inputValue == 1) {  
171.         return [[HokaninanikaState alloc] init];  
172.     } else if(inputValue == 2) {  
173.         return [[BukiSelectState alloc] init];  
174.     }  
175.       
176.     return self;  
177. }  
178. @end  
179.   
180. // 『防具はどれにいたしますか？』状態  
181. @implementation BouguSelectState  
182. - (id) update {  
183.     int inputValue;  
184.       
185.     printf("防具はどれにいたしますか？\n");  
186.     printf("1. 鎧　2. 兜\n");  
187.       
188.     scanf("%d", &inputValue);  
189.       
190.     if(inputValue == 1) {  
191.         return [[YoroiState alloc] init];  
192.     } else if(inputValue == 2) {  
193.         return [[KabutoState alloc] init];  
194.     }  
195.       
196.     return self;  
197. }  
198. @end  
199.   
200. // 『鎧でよろしいですね？』状態  
201. @implementation YoroiState  
202. - (id) update {  
203.     int inputValue;  
204.       
205.     printf("鎧でよろしいですね？\n");  
206.     printf("1. はい　2. いいえ\n");  
207.       
208.     scanf("%d", &inputValue);  
209.       
210.     if(inputValue == 1) {  
211.         return [[HokaninanikaState alloc] init];  
212.     } else if(inputValue == 2) {  
213.         return [[BukiSelectState alloc] init];  
214.     }  
215.       
216.     return self;  
217. }  
218. @end  
219.   
220. // 『兜でよろしいですね？』状態  
221. @implementation KabutoState  
222. - (id) update {  
223.     int inputValue;  
224.       
225.     printf("兜でよろしいですね？\n");  
226.     printf("1. はい　2. いいえ\n");  
227.       
228.     scanf("%d", &inputValue);  
229.       
230.     if(inputValue == 1) {  
231.         return [[HokaninanikaState alloc] init];  
232.     } else if(inputValue == 2) {  
233.         return [[BukiSelectState alloc] init];  
234.     }  
235.       
236.     return self;  
237. }  
238. @end  
239.   
240. // 『本当に売りますか？』状態  
241. @implementation UrimasukaState  
242. - (id) update {  
243.     int inputValue;  
244.       
245.     printf("本当に売りますか？\n");  
246.     printf("1. はい　2. いいえ\n");  
247.       
248.     scanf("%d", &inputValue);  
249.       
250.     // ここ別に処理を分けなくてよかったね。  
251.     if(inputValue == 1) {  
252.         return [[HokaninanikaState alloc] init];  
253.     } else if(inputValue == 2) {  
254.         return [[HokaninanikaState alloc] init];  
255.     }  
256.       
257.     return self;  
258. }  
259. @end  
260.   
261. // 『ほかに御用はありますか？』状態  
262. @implementation HokaninanikaState : NSObject {}  
263. - (id) update {  
264.     int inputValue;  
265.       
266.     printf("ほかに御用はありますか？\n");  
267.     printf("1. はい　2. いいえ\n");  
268.       
269.     scanf("%d", &inputValue);  
270.       
271.     if(inputValue == 1) {  
272.         return [[IrasshaiState alloc] init];  
273.     } else if(inputValue == 2) {  
274.         return [[ArigatouState alloc] init];  
275.     }  
276.       
277.     return self;  
278. }  
279. @end  
280.   
281. // 『ありがとうございました』状態  
282. @implementation ArigatouState  
283. - (id) update {  
284.     printf("ありがとうございました\n");  
285.     printf("またのご来店をお待ちしております\n");  
286.       
287.     return Nil;  
288. }  
289. @end  
290.   
291.   
292. // ===============================================  
293. // main 関数  
294. // ===============================================  
295. int main() {  
296.     id state = [[IrasshaiState alloc] init];  
297.     id next;    // 次の遷移状態  
298.       
299.     while((next = [state update]) != Nil) {  
300.         if(state != next) {  
301.             [state release];  
302.             state = next;  
303.         }  
304.     }  
305. }  

#import <Foundation/Foundation.h>

// ===============================================
// プロトコル
// ===============================================
@protocol State
- (id) update;
@end


// ===============================================
// インタフェース部
// ===============================================

// 『いらっしゃいませ』状態
@interface IrasshaiState : NSObject<State> {}
- (id) update;
@end

// 『お買い上げですね』状態
@interface OkaiageState : NSObject<State> {}
- (id) update;
@end

// 『武器はどれにいたしますか？』状態
@interface BukiSelectState : NSObject<State> {}
- (id) update;
@end

// 『剣でよろしいですね？』状態
@interface TsurugiState : NSObject<State> {}
- (id) update;
@end

// 『銃でよろしいですね？』状態
@interface JuuState : NSObject<State> {}
- (id) update;
@end

// 『防具はどれにいたしますか？』状態
@interface BouguSelectState : NSObject<State> {}
- (id) update;
@end

// 『鎧でよろしいですね？』状態
@interface YoroiState : NSObject<State> {}
- (id) update;
@end

// 『兜でよろしいですね？』状態
@interface KabutoState : NSObject<State> {}
- (id) update;
@end

// 『本当に売りますか？』状態
@interface UrimasukaState : NSObject<State> {}
- (id) update;
@end

// 『ほかに御用はありますか？』状態
@interface HokaninanikaState : NSObject<State> {}
- (id) update;
@end

// 『ありがとうございました』状態
@interface ArigatouState : NSObject<State> {}
- (id) update;
@end


// ===============================================
// 実装部
// ===============================================

// 『いらっしゃいませ』状態
@implementation IrasshaiState
- (id) update {
    int inputValue;
    
    // メッセージ表示
    printf("いらっしゃいませ\n");
    printf("1. 買いにきた　2. 売りにきた\n");
    
    // 入力受付
    scanf("%d", &inputValue);
    
    if(inputValue == 1) {
        // 買いにきた場合
        return [[OkaiageState alloc] init];
    } else if(inputValue == 2) {
        // 売りにきた場合
        return [[UrimasukaState alloc] init];
    }
    
    // それ以外は遷移しない（自分自身を返す）
    return self;
}
@end

// 『お買い上げですね』状態
@implementation OkaiageState
- (id) update {
    int inputValue;
    
    printf("お買い上げですね\n");
    printf("1. 武器　2. 防具\n");
    
    scanf("%d", &inputValue);
    
    if(inputValue == 1) {
        return [[BukiSelectState alloc] init];
    } else if(inputValue == 2) {
        return [[BouguSelectState alloc] init];
    }
    
    return self;
}
@end

// 『武器はどれにいたしますか？』状態
@implementation BukiSelectState
- (id) update {
    int inputValue;
    
    printf("武器はどれにいたしますか？\n");
    printf("1. 剣　2. 銃\n");
    
    scanf("%d", &inputValue);
    
    if(inputValue == 1) {
        return [[TsurugiState alloc] init];
    } else if(inputValue == 2) {
        return [[JuuState alloc] init];
    }
    
    return self;
}
@end

// 『剣でよろしいですね？』状態
@implementation TsurugiState
- (id) update {
    int inputValue;
    
    printf("剣でよろしいですね？\n");
    printf("1. はい　2. いいえ\n");
    
    scanf("%d", &inputValue);
    
    if(inputValue == 1) {
        return [[HokaninanikaState alloc] init];
    } else if(inputValue == 2) {
        return [[BukiSelectState alloc] init];
    }
    
    return self;
}
@end

// 『銃でよろしいですね？』状態
@implementation JuuState
- (id) update {
    int inputValue;
    
    printf("銃でよろしいですね？\n");
    printf("1. はい　2. いいえ\n");
    
    scanf("%d", &inputValue);
    
    if(inputValue == 1) {
        return [[HokaninanikaState alloc] init];
    } else if(inputValue == 2) {
        return [[BukiSelectState alloc] init];
    }
    
    return self;
}
@end

// 『防具はどれにいたしますか？』状態
@implementation BouguSelectState
- (id) update {
    int inputValue;
    
    printf("防具はどれにいたしますか？\n");
    printf("1. 鎧　2. 兜\n");
    
    scanf("%d", &inputValue);
    
    if(inputValue == 1) {
        return [[YoroiState alloc] init];
    } else if(inputValue == 2) {
        return [[KabutoState alloc] init];
    }
    
    return self;
}
@end

// 『鎧でよろしいですね？』状態
@implementation YoroiState
- (id) update {
    int inputValue;
    
    printf("鎧でよろしいですね？\n");
    printf("1. はい　2. いいえ\n");
    
    scanf("%d", &inputValue);
    
    if(inputValue == 1) {
        return [[HokaninanikaState alloc] init];
    } else if(inputValue == 2) {
        return [[BukiSelectState alloc] init];
    }
    
    return self;
}
@end

// 『兜でよろしいですね？』状態
@implementation KabutoState
- (id) update {
    int inputValue;
    
    printf("兜でよろしいですね？\n");
    printf("1. はい　2. いいえ\n");
    
    scanf("%d", &inputValue);
    
    if(inputValue == 1) {
        return [[HokaninanikaState alloc] init];
    } else if(inputValue == 2) {
        return [[BukiSelectState alloc] init];
    }
    
    return self;
}
@end

// 『本当に売りますか？』状態
@implementation UrimasukaState
- (id) update {
    int inputValue;
    
    printf("本当に売りますか？\n");
    printf("1. はい　2. いいえ\n");
    
    scanf("%d", &inputValue);
    
    // ここ別に処理を分けなくてよかったね。
    if(inputValue == 1) {
        return [[HokaninanikaState alloc] init];
    } else if(inputValue == 2) {
        return [[HokaninanikaState alloc] init];
    }
    
    return self;
}
@end

// 『ほかに御用はありますか？』状態
@implementation HokaninanikaState : NSObject {}
- (id) update {
    int inputValue;
    
    printf("ほかに御用はありますか？\n");
    printf("1. はい　2. いいえ\n");
    
    scanf("%d", &inputValue);
    
    if(inputValue == 1) {
        return [[IrasshaiState alloc] init];
    } else if(inputValue == 2) {
        return [[ArigatouState alloc] init];
    }
    
    return self;
}
@end

// 『ありがとうございました』状態
@implementation ArigatouState
- (id) update {
    printf("ありがとうございました\n");
    printf("またのご来店をお待ちしております\n");
    
    return Nil;
}
@end


// ===============================================
// main 関数
// ===============================================
int main() {
    id state = [[IrasshaiState alloc] init];
    id next;    // 次の遷移状態
    
    while((next = [state update]) != Nil) {
        if(state != next) {
            [state release];
            state = next;
        }
    }
}

実行すると、こんな感じでちゃんと遷移できている事が判る。やったね！地味だけど。

ちなみに今日のお話は、GoF のデザインパターンのうち、『State パターン』と呼ばれているものである。

ゲームの画面遷移などで有効なテクニックだ（とぼくは信じている）。

あと、『遷移するたびにメモリを alloc するのってどうよ？』と思われるかも知れない。alloc は非常にオーバヘッドの大きな処理なので、それなりに考慮すべき事なのだが、これを考え始めると頭が痛くなるので今日はここまで。