F#のオブジェクト式とミュータブルオブジェクト

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

　本連載では、C#で「最低限」なんらかのコードを書いたことのあるプログラマーを対象に、関数型プログラミング言語「F#」について数回にわたり解説していきます。第6回目はオブジェクト式をメインに、ミュータブル／イミュータブルオブジェクトや、制約、属性機能の補足説明を行います。

はじめに

　2010年2月、Visual Studio 2010 RC（Release Candidate）英語版がマイクロソフトから公開されました。RCに同梱されるF#のバージョンは2.0になります。2009年10月のBeta2移行、重複されていた機能が省かれるなどのマイナー変更はありましたが、その他大きな機能追加などはありません。詳細はリリースノートをご覧ください。

• ダウンロードはこちらから

　F#のオブジェクト指向に関する最終回として、今回はオブジェクト式をメインに、ミュータブル／イミュータブルオブジェクト、その他に前回までの連載で省略してきた制約、属性機能の補足説明を行いたいと思います（※注意）。

※注意

　今回のサンプルスクリプトなどの動作確認は、Beta2日本語版で行っています。

オブジェクト式

　オブジェクト式は既存のクラス、インターフェースなどをベースにして、動的に作成された匿名のクラス用にインスタンスを作成します。特別なケースに一度だけ必要なクラスを作成することなく、既存のクラスやインターフェースをカスタマイズするオブジェクト式を使用することで不要なコードを減らすことができます。

オブジェクト式の使用方法

　オブジェクト式の使用方法について、まず構文から見ていきましょう。newキーワードでベースとなる既存のクラスを指定します。その後、メンバーを追加します。

［構文］オブジェクト式

// ベースとなるオブジェクトタイプがクラスの場合
{ new 既存のクラス名 [型パラメータ] コンストラクタ用引数 with
   メンバーの定義
  [インターフェイス実装]
}
// ベースとなるオブジェクトタイプがクラス以外のとき
{ new 既存のオブジェクトタイプ名 [ジェネリックな型パラメータ] with
   メンバーの定義
  [インターフェイス実装 ]

　メンバー定義の部分には、既存クラスのメソッドの"override"、もしくは抽象メソッドの定義が入ります。

［リスト1］オブジェクト式

//ベースとなる親クラスの作成
type testClass() =
  class
  end
//実装されるインターフェイスの作成
type ItestIntf =
  abstract x : int
//オブジェクト式によるインスタンスの定義
let testinstance = { new testClass() 
                       interface ItestIntf with
                         member this.x = 10
                    };;

　▼

type testClass =
  class
    new : unit -> testClass
  end
type ItestIntf =
  interface
    abstract member x : int
  end
val testinstance : testClass

　上記の例は、あるクラス（testClass）を元にして、そのクラスにインターフェース（ItestIntf）を実装したオブジェクトタイプのインスタンス（testinstance）を作成する例です。

　newの後に、既存のクラス名を指定し、その後インターフェースを実装し、実際にクラスを作成することなく仮想クラスをインスタンス化しています。