C# 2.0 の新機能 (C# によるプログラミング入門)

C# 2.0

Ver. 2.0

2005年、Visual Studio 2005 の発売に合わせ、 .NET Framework および C# がメジャーバージョンアップして、 .NET Framework 2.0、C# 2.0 になりました。（正式版は2005年11月頃になる予定。）

バージョン 1.0 から 1.1 へのバージョンアップでも、多少の変更はあったのですが、その変更は小さなものでした。これに対し、今回のメジャーバージョンアップでは、少し大きな機能追加がありました。

ここでは、その追加機能、すなわち、C# 2.0 の新機能について説明します。

Generics

C++ で言うところの template。以下のような感じで、“型をパラメータに持つ型”を作ることが出来ます。

public class Stack<T>
{
	T[] items;
	int count;
	public void Push(T item) {...}
	public T Pop() {...}
}

Generics には、コンパイル時に型のチェックが可能、ボクシング・ダウンキャストが不要などという利点があり、開発の効率およびプログラムの実行効率が期待できます。

Generics はクラス、構造体、インタフェース、デリゲート、メソッドに対して適用可能です。

匿名メソッド

匿名メソッドとは、インラインに(コード中に直に)メソッドを記述できる機能です。例えば、今まではイベントハンドラを定義するときに、以下のように1度メソッドを定義してからデリゲートにそのメソッドを渡す

class InputForm: Form
{
  ...
  public InputForm()
  {
    ...
    addButton.Click += new EventHandler(AddClick);
  }

  void AddClick(object sender, EventArgs e)
  {
    listBox.Items.Add(textBox.Text);
  }
}

それに対して、匿名メソッドを使った書き方では、以下のようにコード中に直接メソッドを書くことが出来ます。

class InputForm: Form
{
  ...
  public InputForm()
  {
    ...
    addButton.Click += delegate
    {
      listBox.Items.Add(textBox.Text);
    };
    // ↑デリゲートの型は自動的に判別されます。
    /*
     * 引数つきの匿名デリゲートも定義できます。
     * ↑の例の場合、最初の行は
     * addButton.Click += delegate(object sender, EventArgs e)
     * と書くことも出来ます。
     */
  }
}

それから、匿名メソッドとは直接関係のない話ですが、以下のように、メソッドを暗黙的にデリゲートに変換することが出来るようになりました。

  static double[] Apply(double[] a, Function f) { ... }

    Apply(a, new Function(Math.Sin)); // 今までの書き方
    Apply(a, Math.Sin);               // Ver. 2.0 から

イテレータ

C# の foreach 構文は、コレクションクラスの利用者側から見ると非常に便利な機能です。しかしながら、実装側から見た場合、IEnumerableやIEnumeratorインタフェースを実装する必要があり、結構面倒な作業が必要でした。

この実装側の労力を軽減するために、C# 2.0ではイテレータ構文というものが追加されました。イテレータ構文は、コレクションクラスから要素を得る(yield: 産出する、利益を生む)ための構文で、以下のような書き方をします。

using System.Collections.Generic;
public class Stack<T>: IEnumerable<T>
{
  T[] items;
  int count;
  public void Push(T data) {...}
  public T Pop() {...}
  public IEnumerator<T> GetEnumerator()
  {
    for(int i = count - 1; i >= 0; --i)
      yield return items[i];
  }
}

GetEnumerator() メソッド中で、 yield というキーワードを用いて値を返すことで、自動的に IEnumerator インタフェースを実装するクラスを生成してくれます。また、イテレータは以下のように、IEnumerable を返すメソッド/プロパティとしても定義することが出来ます。

  public IEnumerable<T> BottomToTop
  {
    get
    {
      for(int i = 0; i < count; i++)
        yield return items[i];
    }
  }

利用者側では以下のようにして使用します。

    Stack<int> stack = new Stack<int>();
    for (int i = 0; i < 10; i++) stack.Push(i);
    foreach (int i in stack) Console.Write("{0} ", i);
    Console.WriteLine();
    foreach (int i in stack.BottomToTop) Console.Write("{0} ", i);
    Console.WriteLine();

Partial Type

C# 2.0 では、クラスや構造体などの型を複数のソースファイルに分けて記述できるようになりました。分けて記述したい型には、以下のように partial キーワードを付けます。

public partial class Customer
{
  private int id;
  private string name;
  private string address;
  private List<Order> orders;
  public Customer() { ... }
}
// ↑のクラスと↓のクラスは別ファイルに記述可能。
public partial class Customer
{
  public void SubmitOrder(Order order) { orders.Add(order); }
  public bool HasOutstandingOrders() { return orders.Count > 0; }
}

この2つのクラスを記述したファイルを一緒にコンパイルすることで、1つのクラスに結合することが出来ます。クラスの結合はコンパイル時に行う(DLL 参照時にはできない)ので、Partial Type の全ての部分を一緒にしてコンパイルする必要があります。

Nullable 型

Nullable 型は、値型の型名の後ろに ? を付ける事で、元の型の値または null の値を取れる型になるというものです。 int 型で例に取ると、以下のような書き方が出来ます。

int? x = 123;
int? y = null;
if (x.HasValue) Console.WriteLine(x.Value); 
if (y.HasValue) Console.WriteLine(y.Value);

上述の例のよう、int? 型は、整数値または null 値の代入および、値を持つかどうかの判別が出来る型になります。また、以下のように、Nullable 型同士の演算を行う際には、値が null かを自動的に判別してくれます。

int? x, y;
....
int? z = x + y;

上述のようなコードを書いた場合、以下のコードと同じ意味合いになります。

int? z = x.HasValue && y.HasValue ? x.Value + y.Value : (int?)null;

さらに、Nullable 型に対する特別な演算子として、?? 演算子というものが追加されました。（null coalescing operator といいます。訳すなら、null 結合演算子。） ?? 演算子は、値が null かどうかを判別し、null の場合には別の値を割り当てる演算子です。

// x, y は int? 型の変数
int? z = x ?? y; // x != null ? x : y
int i = z ?? -1; // z != null ? z.Value : -1

アクセサのアクセスレベル

以下に示すように、プロパティの set/get アクセサ別個のアクセスレベルが設定可能になりました。

public class A
{
  public int P
  {
    protected set {...}
    get {...}
  }
}

static メンバのみを持ち、インスタンスの作成が不可能なクラスを作りたいことがしばしばあります。 C# 1.0 では、private なコンストラクタを持つ sealed クラスとしてこのようなクラスを作成していました。このような方法で、「インスタンスが作成不可能」という制約は満たすことが出来ますが、非 static なメンバを定義することができてしまうという問題がありました。 (決してアクセスすることの出来ない無駄なメンバになってしまいます。)

それに対して、C# 2.0 では、クラス定義時に static をつけることで、 static メンバしか定義できないクラスを作ることが出来ます。

namespace alias qualifier

C# では、基本的に、名前空間に対しても、クラスに対しても、 using 文で作ったエイリアスに対しても、全て . 修飾子(qualifier: 限定子とも訳す)を用いて名前を繋いでいました。

namespace Namespace
{
  public class A{}
  namespace Namespace2{ public class A{} }
}
public class Class
{
  public class A{}
}

class X
{
  using Alias = Namespace.Namespace2; // エイリアスを付ける。

  Namespace.A a1; // Namespace(名前空間) . A(クラス)
  Class.A     a2; // Class(クラス)       . A(クラス)
  Alias.A     a3; // Alias(エイリアス)   . A(クラス)
                  // ↑全部 .
}

もし、同一プロジェクト内の他の場所で Alias という名前のクラスまたは名前空間を追加作成すると、このコードはエラーを起こしてしまいます。

class Alias{ public class A{} }
// ↑プロジェクト内のどこか他の場所にこの1行を追加すると・・・

class X
{
  using Alias = Namespace.Namespace2;

  Alias.A a3; // エラー。クラスの Alias？それともエイリアスの方？
}

そこで、C# 2.0 では、:: 修飾子というものが追加されました。 :: 修飾子は、. 修飾子とは異なり、 using 文もしくは後述する extern alias という構文を使って作成したエイリアスのみを参照します。したがって、後々になって、プロジェクトにエイリアスと同じ名前を持つクラスや名前空間を追加してもエラーにはなりません。

namespace N
{
  public class A {}
  public class B {}
}
namespace N
{
  using A = System.IO; // using 文でエイリアス作成。
  class X
  {
    A.Stream s1;  // エラー。class A なのか A = System.IO なのか分からない。
    A::Stream s2; // OK。using 文で作ったエイリアス(A = System.IO)しか参照しない。
  }
}

extern alias

コンパイル時に、/r オプションで DLL の参照を指定する際に、 /r:X=xxx.dll というようにエイリアスを付けることが出来るようになりました。

csc /r:X=xxx.dll /Y:yyy.dll test.cs

extern alias X; // コンパイル時にオプションで指定したエイリアス
extern alias Y;
class Test
{
  X::N.A a;  // xxx.dll 内の N.A
  X::N.B b1; // xxx.dll 内の N.B
  Y::N.B b2; // yyy.dll 内の N.B
  Y::N.C c;  // yyy.dll 内の N.C
}

#pragma

pragma プリプロセッサ命令が追加されました。 warning メッセージの抑止などが出来ます。

using System;
class Program
{
  [Obsolete]
  static void Foo() {}
  static void Main() {
// 612番の警告(Obsolete メソッドを使用)を出さないようにする。
#pragma warning disable 612
  Foo();
// 612番の警告を出すように戻す。
#pragma warning restore 612
  }
}

Conditional 属性

属性クラスに対して Conditional 属性を付けることで、一定条件化でのみ適用される属性を作ることが可能になりました。

#define DEBUG
using System;
using System.Diagnostics;

// ↓属性クラスに対して Conditional 属性を付ける。
[Conditional("DEBUG")]
public class TestAttribute : Attribute {}

// ↓DEBUG シンボルが定義されているときのみ Test 属性が付く。
[Test]
class C {}

固定長配列

unsafe コード内限定で、 fixed int fixedArray[128]; というように固定長配列が使用可能になりました。

デリゲートの Covariance/Contravariance

Covariance … 戻り値の型が、デリゲートの戻り値の型の派生クラスになっていても OK。

class Mammal {}       // 哺乳類。
class Dog : Mammal {} // 犬。

class Program
{
  // Mammal（哺乳類）型を返すデリゲートを定義。
  public delegate Mammal MyHandlerMethod();

  public static Mammal MammalHandler(){ return null; }
  public static Dog DogHandler(){ return null; }

  static void Main(string[] args)
  {

    MyHandlerMethod handler_1 = new MyHandlerMethod(MammalHandler);

    // Covariance によって、以下のメソッドもデリゲート化可能。
    // Dog 型の変数を Mammal 型に渡すのは OK なので、戻り値は暗黙的にキャストされる。
    MyHandlerMethod handler_2 = new MyHandlerMethod(DogHandler);

  }
}

Contravariance … 引数の型が、デリゲートの引数の型の基底クラスになっていても OK。

class Mammal {}       // 哺乳類。
class Dog : Mammal {} // 犬。

class Program
{
  // Dog（犬）型を受け取るデリゲートを定義。
  public delegate void MyHandlerMethod(Dog dog);

  public static void MammalHandler(Mammal elephant){}
  public static void DogHandler(Dog sheepdog){}

  static void Main(string[] args)
  {

    // Contravariance によって、以下のメソッドもデリゲート化可能。
    // Dog 型の変数を Mammal 型に渡すのは OK なので、引数は暗黙的にキャストされる。
    MyHandlerMethod handler_1 = new MyHandlerMethod(MammalHandler);

    MyHandlerMethod handler_2 = new MyHandlerMethod(DogHandler);

  }
}

数学用語的には、Covariance … 共変性、Contravariance … 反変性。プログラミングの分野でもこの訳語で定着したようです。

[お問い合わせ](q)

C# 2.0 の新機能

目次

キーワード

C# 2.0

Generics

匿名メソッド

イテレータ

Partial Type

Nullable 型

アクセサのアクセスレベル

static クラス

namespace alias qualifier

extern alias

#pragma

Conditional 属性

固定長配列

デリゲートの Covariance/Contravariance

まえがき

C# の概要

C# で始めるプログラミング

C# で学ぶオブジェクト指向

C# の特徴的な機能

C# 2.0 の機能

C# 3.0 の機能

標準ライブラリ

サンプルプログラム

付録

関連ページ（サイト内）

関連