目次

概要

Ver. 4.0

.NET Framework 4.0 では、クラスライブラリに Dynamic Language Runtime (DLR)が追加されました。 DLR は、.NET Framework 上で Python や Ruby のような動的言語を動かすためのライブラリで、 これに伴い、C# 4.0 にも、動的言語との連携を強化するための仕組みが追加されました。

C# 4.0 で導入された、動的言語との連携の仕組みの1つが動的型付け変数(dynamic キーワード)です。 動的型付け変数を使うことで、動的な(コンパイル時にメンバー情報がわからない型の)メンバーアクセスが可能になります。

動的型付け変数

dynamic キーワードを使うことで、動的型付け変数を定義できます。 使い方としては、dynamic x; というように、変数宣言の型のところに dynamic キーワードを入れます。 (「dynamic 型」という型が C# に追加されたと考えて OK。)

使い方としては var (C# 3.0 で追加された型推論)と似ています。 しかしながら、あくまで型推論である var と違って、dynamic で宣言した変数の型は「動的型」になります。

var sx = 1;     // sx の型は int 型
dynamic dx = 1; // dx の型は dynamic 型

通常、C# (3.0 以前)のような静的型付け言語では、 オブジェクトがどういう名前のプロパティやメソッドを持っているかをコンパイル時に知っておく必要があります。

例えば、以下のようなコードを書くと、 「'object' に 'X' の定義が含まれていません」というようなエラーが生じます。

static object GetX(object obj)
{
  return obj.X;
}

実際に obj 変数に何の型が入っているかには関係なく、キャストで型を変えない限り、 obj は object 型のメンバーにしかアクセスできません。

一方、C# 4.0 では、dynamic 型を使うことで、以下のようなコードが書けるようになりました。

static dynamic GetX(dynamic obj)
{
  return obj.X;
}

obj が本当に X という名前のプロパティを持っているかどうかは、 コンパイル時ではなく、実行時に調べられます。

dynamic の仕組み

dynamic の機能は、動的コード生成を使って実現されています(プログラム実行時に新たにコード生成される)。 dynamic 型の変数に格納されたインスタンスの型に応じて、以下のいずれかのコードが生成されます。

  • IDynamicObject インターフェースを実装した型の場合、TryGetMember などのメソッド呼び出し

  • COM オブジェクトの場合、COM Interop コード

  • その他の場合、「リフレクション」を使ってメンバーを持っているかどうか調べて、持っているならそのメンバーにアクセスするコードを生成。

このような動的コード生成は、.NET Framework 4.0 から追加された CallSite というクラスを使って行われています。 詳細については、「dynamic の内部実装」にて説明します。

C# の dynamic は、「型が動的」というよりは、「静的な型に対する動的コード生成」と言った方が正確です。 動的に生成したコードはキャッシュされていて、2度目の呼び出しからはかなり効率よく実行されます。 このような手法はインラインメソッドキャッシュ(inline method cache)と呼ばれています。

dynamic で何ができるか

さて、じゃあ、この dynamic を使っていったい何ができるんでしょうか。 先にキーワードだけ挙げると以下のような感じです。

遅延バインド

DLL や COM 内のクラス・関数を(必要になったときに、必要な分だけ)実行時に読み込むことを遅延バインド(late binding)と呼びます。

通常、C# では、ライブラリ(DLL)を利用するには、コンパイル時に「アセンブリの参照」というのをします。 (DLL 中でどういう型が定義されているかを参照する。) 参照した DLL はプログラム本体の起動時に同時にロードされます。 (このような動作をアーリーバインド(early binding)と呼びます。)

例えば、以下のようなライブラリコード(lib.cs)を書いたとします。

public class Calculator
{
    public int Add(int x, int y) { return x + y; }
    public int Sub(int x, int y) { return x - y; }
    public int Mul(int x, int y) { return x * y; }
    public int Div(int x, int y) { return x / y; }
}
> csc /t:library lib.cs

このライブラリを使って、以下のようなプログラム(sample.cs)を作ったとします。

using System;

class Program
{
    static void Main(string[] args)
    {
        var calc = new Calculator();
        Console.WriteLine(calc.Add(1, 2));
    }
}

このコードをコンパイルするためには、以下のように、/r オプションで DLL の参照を行う必要があります。

> csc /t:exe /r:lib.dll sample.cs

これに対して、遅延バインドというのは、必要になるまで DLL をロードしないことを言います。 3.0 以前の C# では、遅延バインドをしようと思うと、「リフレクション」を使って、 以下のようなまどろっこしい書き方が必要でした。

using System;
using System.Reflection;

class Program
{
    static void Main(string[] args)
    {
        var lib = Assembly.LoadWithPartialName("lib");
        var type = lib.GetType("Calculator");
        var calc = Activator.CreateInstance(type);

        var add = type.GetMethod("Add");
        Console.WriteLine(add.Invoke(calc, new object[] { 1, 2 }));
    }
}

こうすると、コンパイル時に lib.dll を参照する必要がなく、 以下のようにしてコンパイル可能です。

> csc /t:exe sample.cs

(ただし、実行時に、プログラム本体と同じフォルダに lib.dll が置いてある必要があります。)

3.0 までのリフレクションを使った書き方に対して、 C# 4.0 の dynamic を使うと、add.Invoke の部分を簡素化できて、以下のように書けます。

using System;
using System.Reflection;

class Program
{
    static void Main(string[] args)
    {
        var lib = Assembly.LoadWithPartialName("lib");
        var type = lib.GetType("Calculator");
        dynamic calc = Activator.CreateInstance(type);

        Console.WriteLine(calc.Add(1, 2));
    }
}

DLR 連携

遅延バインドは、動的言語との連携で特に威力を発揮します。 .NET Framework 4 では、動的言語との連携の仕組みとして、DLR(Dynamic Language Runtime)というライブラリが追加されました。

dynamic 型を使うことで、IronPython などの、DLR 上に実装されたスクリプト言語との連携がやりやすくなります。 以下、Visual Studio 2010 付属のサンプルに含まれる IronPython との連携サンプルから抜粋。

例えば、以下のような Python コードを書いて、 helloworld.py という名前で保存したとします。

def welcome(name):
	return "Hello '" + name + "' from IronPython"      

この Python コードを呼び出すための C# コードは以下のようになります。

ScriptRuntime py = Python.CreateRuntime();
dynamic helloworld = py.UseFile("helloworld.py");

var ret = (string)helloworld.welcome("ufcpp");

Console.WriteLine(ret);
Hello 'ufcpp' from IronPython

このコードの実行には、IronPython が必要です。 IronPython をインストールした上で、IronPython.dll などの DLL を参照する必要があります。 ( 現時点(2009/6/3)では、 IronPython for .NET 4.0 っていうバージョンの IronPython をインストールしないと動きません。 )

Python の仕様では、スクリプトファイルが無名のクラスのような扱いになるみたいで、 UseFile("helloworld.py") の実行結果は welcom というメソッドを1個持ったオブジェクトを返します。

ダックタイピング

同じ名前のメンバーを持っている型ならすべて同列に扱うことを「ダックタイピング」と呼びます。 (「インターフェース」等を実装している必要もなく、単純にメンバー名の一致性だけを見ます。)

通常、C# のような静的型付け言語で、 「このメソッドの引数はこういう名前のメンバーを持っていて欲しい」というのを指定するにはインターフェースを使います。 C# 3.0 以前なら、 「何でもいいから X と Y って名前のプロパティを持ってる型なら全部受け付けたい」って時でも、 わざわざ IPoint なり IVector なり、インターフェースを定義して、それを継承したクラスを作る必要がありました。

これに対して、C# 4.0 では、dynamic 型を使うことでダックタイピングが可能になりました。 すなわち、型やインターフェースを問わず、 同じ名前のプロパティやメソッドを持っているなら何でも同列に扱えます。

例えば、以下のような構造体を用意します。

struct Point2D
{
    public int X, Y;

    public override string ToString()
    {
        return string.Format("2D: ({0}, {1})", X, Y);
    }
}

struct Point3D
{
    public int X, Y, Z;

    public override string ToString()
    {
        return string.Format("3D: ({0}, {1}, {2})", X, Y, Z);
    }
}

プロパティ Z は Point3D しか持っていませんが、 X と Y なら両方のクラスが持っています。 また、new { X = 1, Y = 2 } というように匿名型を作っても、 同様に X, Y というプロパティを持つオブジェクトが作れます。

ということで、これらの型を使って以下のようなことができます。

using System;

class Program
{
    static void Main(string[] args)
    {
        Console.WriteLine(Sum(new Point2D { X = 1, Y = 2 }));
        Console.WriteLine(Sum(new Point3D { X = 1, Y = 2, Z = 3 }));
        Console.WriteLine(Sum(new { X = 1, Y = 2 }));
    }

    static int Sum(dynamic obj)
    {
        return (int)(obj.X + obj.Y);
    }
}
3
3
3
using System;

class Program
{
    static void Main(string[] args)
    {
        Console.WriteLine(Convert(new Point3D { X = 1, Y = 2, Z = 3 }));
        Console.WriteLine(Convert(new { X = 1, Y = 2 }));
        Console.WriteLine(Convert(new { X = 1, Y = 2, Z = 3 }));
    }

    static Point2D Convert(dynamic obj)
    {
        return new Point2D
        {
            X = obj.X,
            Y = obj.Y,
        };
    }
}
2D: (1, 2)
2D: (1, 2)
2D: (1, 2)

データ連携

静的型付け言語では、事前に型の決まっていない(スキーマの緩い)データへのアクセスは苦手です。 この手のデータへのアクセスはダックタイピング的にならざるを得ません。

例えば、スキーマが特に決まっていない XML や JSON など読み書きが少々面倒だったりします。 XML にアクセスするのにも、以下のようなコードが必要になります。

var doc = XDocument.Parse(@"
<Point>
    <X>1</X>
    <Y>2</Y>
</Point>
");

Console.WriteLine(doc.Element("Point").Element("X").Value);
Console.WriteLine(doc.Element("Point").Element("Y").Value);

可能なら doc.Point.X というような形式で要素にアクセスしたいところですが、 C# 3.0 以前ではできないことでした。

せいぜい、「インデクサー」を使って doc["Point"]["X"] と書けるようにすることはできますが、 [ とか " とかの入力は意外と手間で嫌になります (少なくとも僕は [ とか " をフォームポジション崩さずにタイピングできないです。)

dynamic を使うと、 (IDynamicObject インターフェースを継承したクラスを作れば、) ダックタイピング的に XML の要素にアクセスすることも可能です。 例えば、以下のようなクラスを1つ用意すれば、doc.X という書き方が可能になります。

例えば、上述のコードは以下のような書き直すことができます。

dynamic doc = new DynamicXml(XDocument.Parse(@"
<Point>
    <X>1</X>
    <Y>2</Y>
</Point>
"));

Console.WriteLine(doc.X);
Console.WriteLine(doc.Y);

参考:

ジェネリクス利用時の静的メソッド呼び出し

C# の「ジェネリック」は、メソッドやプロパティの呼び出しをインターフェースによって行います。 「[サンプル] ジェネリックな複素数型」でも書いていますが、 それで何が問題になるかというと、静的メソッド(特に演算子)が呼べないこと。 例えば、以下のようなコードはどうあがいても実現できません。

T Sum T (IEnumerable<T> list)
{
    T sum = default(T);
    foreach(var x in list)
    sum += x; // ジェネリック型に対して + は使えない。
    return sum;
}

で、少しキャストとかが必要になりますが、 dynamic を使うと一応、静的メソッド呼び出しが可能になります。

T Sum T (IEnumerable<T> list)
{
    dynamic sum = default(T);
    foreach(var x in list)
    sum += x; // ジェネリック型に対して + は使えないけど、1回 dynamic 型に代入すればできる。
    return (T)sum;
}

ただし、dynamic の仕組み上、普通の + 演算子呼び出しと比べると少しパフォーマンスが悪いので、 パフォーマンスが要求される場面での利用には注意が必要です。

多重ディスパッチ

複数のインスタンスの動的な型情報に基づいて実際に呼び出すメソッドを切り替えることを多重ディスパッチ(multiple dispatch)といいます。 これは要するに、「仮想メソッド」 の複数インスタンス版といえます。

dynamic を用いると、多重ディスパッチが割と簡単に実現可能です。 詳しくは「[雑記] 多重ディスパッチ」で解説しています。

更新履歴

ブログ