科学的モデリング 2 回継承 2 無断転載 & 無断配布を禁じます第 2 回 : 科学的モデリング継承 2 継承される特性( プロパティ ) 第 2 回の話題継承は何を継承するのか? 今回のコラムの話題は継承される特性 ( プロパティ ) についてですそもそもサブクラスはスーパークラスか

Size: px

Start display at page:

としみたけはな
4 years ago
Views:

1 第 2 回 : 科学的モデリング継承 2 継承される特性( プロパティ ) 第 2 回の話題継承は何を継承するのか? 今回のコラムの話題は継承される特性 ( プロパティ ) についてですそもそもサブクラスはスーパークラスからどのような特性 ( プロパティ ) を継承するのか? という疑問に回答し説明します科学的モデリングの視点から継承される特性 ( プロパティ ) を明確にして今後の連載コラムの中で正確に継承の意味を探ります継承は全ての特性 ( プロパティ ) を継承する継承される特性 ( プロパティ ) を説明するときに利する図 2-1 のような簡単なUMLのモデルを考えます操作 ( メソッド / 関数 ) の継承 JavaやC++ などの特定のプログラム語の固有の仕様は別にしてオブジェクト指向設計の概念ではスーパークラスの特性 ( プロパティ ) は全てがサブクラスに継承されます

2 図 2-1 図 2-1 をるとサブクラス person はスーパークラス animal から全ての属性と操作( メソッド / 関数 ) を継承しています継承により全ての属性と操作 ( メソッド / 関数 ) がサブクラスに継承されることは良く知られています図 2-1 のサブクラス person のグレー色で表示されている特性( プロパティ ) が継承されたことを示しています UMLではサブクラスがスーパークラスから継承する特性 ( プロパティ ) をオーバーライドしない場合は表記しない規則がありますしかし科学的に正確に継承を検討に時に必要になるので本コラムでは表示して解説していきます関連関連端 ( ロール名 ) および多重度の継承図 2-2 をるとサブクラス person はスーパークラス animal から関連 pair を継承していますそれに伴い関連端 ( ロール名 ) である male female も継承されていることが分かりますそして関連の両端の多重度も継承されています Page 2

3 図 2-2 のサブクラス person の関連がグレー色で表示されていてスーパークラス animal から関連 pair が継承されたことを示しています図 2-2 関連の制約の継承図 2-3 をるとサブクラス person はスーパークラス animal から関連 pair 関連端( ロール名 ) male female そして関連の両端の多重度も継承していますが関連 pair の制約 {symmetry} 関連端( ロール名 ) の制約 {immutable} も継承していますなお多重度も制約の1 種です図 2-3 のサブクラス person の関連の制約{symmetry} および関連端 ( ロール名 ) の制約 {immutable} がグレー色で表示されていてスーパークラス animal から継承されたことを示しています Page 3

4 図 2-3 Page 4

5 図 2-4 図 2-4 は関連端をクラスの属性として表示させた図です図 2-4 においてステレオタイプ A は関連属性であることを示していますサブクラス person はスーパークラス animal から関連属性を継承していることが分かります初期値とデフォルトパラメーターの継承図 2-5 のクラス animal の属性 age に初期値 0 が付与されていますまた操作( メソッド / 関数 ) である setage(int newage):void にデフォルトパラメーター 0 が付与されていますまたサブクラス person はスーパークラス animal から属性 age の初期値 0 と setage(int newage):void にデフォルトパラメーター 0 が継承されていることが分かります Page 5

6 図 2-6 クラス不変条件の継承図 2-6 ではクラス animal の属性 age に制約{age>=0 and age <150} が付与されています属性 gender に制約{gender== male or gender == female } が付与されていますこの2つの属性の制約は不変条件と呼ばれるものです図 2-6 では第 4 番目の区画にクラス不変条件を表示していますクラス animal のクラス不変条件は属性 age の制約{age>=0 and age <150} と属性 gender の制約{gender== male or gender == female } の2つであることが分かりますサブクラス person はスーパークラス animal から属性 age と属性 gender を継承していますがその際に2つの属性の制約である不変条件も継承します属性の制約である不変条件とクラス全体の制約であるクラス不変条件はクラスのインスタンスが常に満たさなければならない制約です Page 6

7 次回以降のコラムで不変条件とクラス不変条件について詳細に解説しますので今回のコラムでは不変条件とクラス不変条件も継承される特性 ( プロパティ ) であることが理解できれば OK です図 2-6 操作の事前条件 (pre-condition) と事後条件(post-condition) の継承図 2-7 ではクラス animal の操作( メソッド / 関数 ) setage(int newage = 0) : void に Pre-condition(newaAge >=0 and newage <150) と Post-Condition((age >=0 and age <150) and (age == newage)) 付与されていますこの操作 ( メソッド / 関数 ) の2つの制約は事前条件 (pre-condition) 事後条件(post- condition) と呼ばれるものです Page 7

8 サブクラス person はスーパークラス animal から操作( メソッド / 関数 ) setage(int newage = 0) : void を継承していますが同時にこの操作( メソッド / 関数 ) の事前条件 (precondition) 事後条件(post-condition) Pre-condition(newaAge >=0 and newage <150) と Post-Condition((age >=0 and age <150) and (age == newage)) も継承しています事前条件(pre-condition) 事後条件(post-condition) は各操作( メソッド / 関数 ) に付与されるの制約で各操作 ( メソッド / 関数 ) の実時に満たさなけばならない制約です図 2-7 Page 8

9 事前条件(pre-condition) 事後条件(post-condition) についても今後のコラムの中で詳しく解説しますまとめ & 次回今回のコラムは継承される特性 ( プロパティ ) について扱いました注意点はプログラム語によってはその語の継承メカニズムの都合で特性 ( プロパティ ) が自動的に継承されない語もあります今回のコラムの解説は特定のプログラム語を意識していませんからオブジェクト指向設計に般的な議論です少し先になりますが JavaやC++ など特定の語で特性 ( プロパティ ) を継承する具体的なコード例も示したいと思いますそれから次回以降のコラムでサブクラスがスーパークラスから継承した特性 ( プロパティ ) をオーバーライドについて解説します特性 ( プロパティ ) はある条件を満たすならばオーバーライドが可能です特性 ( プロパティ ) のオーバーライドの方法と特性 ( プロパティ ) をオーバーライドがどのような意味を持つのについても次回以降のコラムで解説します極めて重要な意味を持ちます Page 9

Microsoft PowerPoint ppt

Microsoft PowerPoint ppt 独習 Java ( 第 3 版 ) 6.7 変数の修飾子 6.8 コンストラクタの修飾子 6.9 メソッドの修飾子 6.10 Object クラスと Class クラス 6.7 変数の修飾子 (1/3) 変数宣言の直前に指定できる修飾子全部で 7 種類あるキーワード final private protected public static transient volatile 意味定数として使える変数同じクラスのコードからしかアクセスできない変数サブクラスまたは同じパッケージ内のコードからしかアクセスできない変数他のクラスからアクセスできる変数インスタンス変数ではない変数クラスの永続的な状態の一部ではない変数不意に値が変更されることがある変数