F#の継承とインターフェイス

C#プログラマのためのF#入門（4）

　本連載では、C#で「最低限」なんらかのコードを書いたことのあるプログラマーを対象に、関数型プログラミング言語「F#」について数回にわたり解説していきます。第4回目は、F#における継承とインターフェイスについて紹介します。

はじめに

　マイクロソフトがVisual Studio2010 Beta2を公開し、F#は「F# October 2009リリース」が入手可能になりました。ダウンロード、詳細情報は下記のサイトを参考にしてください。

• 英語版
• 日本語版
• リリースノート

　VS2010 Beta2のF#に関する主な変更点は、次のとおりです。

• Visual Studio2010 Beta2 で.NET 2.0/3.0/3.5/4.0 とSilverlight 2/3のアプリケーション作成が可能

F#プロジェクトテンプレート種類の増加

• オフラインヘルプ機能
• エラーコード、ユニオンと他F#型（type）のデバッグ表示の改善

［リスト1］エラーコード改善例（Beta 1）

stdin(205,14): error FS0001: This expression has type　string
but is here used with type    int

［リスト2］エラーコード改善例（Beta 2）

stdin(205,14): error FS0001: This expression was expected to have type
unit    but here has type    int

　F#自身に関して言えば、例えば、ある属性の記述が省略可能になったなど、シンプル化がすすみ（5ページ目コラム「【参考】」参照）、構文がより整理されています。

　「C#プログラマのためのF#入門」の第4回目は、継承とインターフェイスをテーマに、F# October 2009リリース（以降、Beta2）で新たに改善された機能も含めて紹介します。

継承

　クラスを宣言する際に、inheritキーワードを用いて継承関係を定義できます。継承できる親クラスはC#同様に1つだけです。親クラスの指定がない場合は、Objectクラスの派生クラスになります。

継承のルール

　親クラスにて宣言されたlet束縛やコンストラクタのパラメータはその親クラスにてprivateであり、派生クラスからでもアクセスできません。

【構文】あるクラスを継承するクラスの宣言

type クラス名(...) =
   inherit 親クラス名(...)

　下記のリスト3はtestBaseClassクラスを継承するtestChildClassを宣言しています。testChildClassをインスタンス化すると、その親クラスのtestBaseClassとtestChildClassのコンストラクタによるlet束縛とdo式が両方実行されます。

［リスト3］inheritキーワードの使用例

//親クラス
type testBaseClass(x0 : int) =
   let mutable x = x0 + 5
   do printf "親クラスのコンストラクタ %d \n" x
//派生クラス
type testChildClass(y: int) =
   inherit testBaseClass(y * 2)
   do printf "派生クラスのコンストラクタ  %d" y

//派生クラスのオブジェクトを作成すると親クラスと派生クラス両方のコンストラクタが実行される
let testObj = new testChildClass(3);;

　▼

親クラスのコンストラクタ 11 
派生クラスのコンストラクタ  3

　派生クラスをインスタンス化すると、派生クラスだけではなく継承関係にある親クラスのコンストラクタも実行されます。派生クラスから親クラスのオブジェクトを呼ぶ場合はbaseキーワードを使用して下記のように記述します。”abstract member”や”override”を使用したメソッドの宣言は後半で解説しますので、ここではこれらがメソッドであり、”base”キーワードを使用すると親クラスのオブジェクトを呼び出せることだけを理解してください。

［リスト4］派生クラスから親クラスオブジェクト呼び出し

open System
type testBaseClass() = //親クラス
    abstract member testMethod : int -> int 
    default this.testMethod x = x + 1
    
type testChildClass() = 
    inherit testBaseClass() 
    override this.testMethod x = 
        10 + base.testMethod x //base.の後に呼び出すオブジェクト名

let testObj = new testChildClass()
Console.WriteLine(testObj.testMethod 5);; 

　▼

16