概要

クラスとはオブジェクトを作るための設計図のようなもので、オブジェクト指向プログラミングの中心となるものです。

ポイント

• クラス: オブジェクトを作るための設計図。

• インスタンス: 設計図を基に作られた個々の実体。

• 例えば、

  • class Point { public int X; public int Y; } でクラスを作って、

  • Point p = new Point(); でインスタンスを作る。

• 構造体との違いは「値型」か「参照型」か、継承できるかどうか。

クラスとインスタンス

「オブジェクト指向とは」で述べたように、操作の対象となるものをオブジェクトといいます。オブジェクトを作る場合、まず設計図が必要になります。内部がどういう構造になっているのか、外部からどのような操作をすることが出来るのかを決めてやるわけです。このようなオブジェクトの設計図のことをクラス(class)といいます。それに対し、設計図を元に作られたオブジェクトの実体のことをインスタンス(instance)といいます。

クラス定義

C#では以下のようにしてクラスを定義します。

classクラス名{クラスの実装}

クラスの実装にはメンバ変数の定義とメソッド(メンバー関数)の定義などをします。メンバー変数とはクラスの内部で宣言される変数のことで、メソッドの定義はクラスの内部で宣言される関数のことだと思ってもらって結構です。以下に例を示します。

class Sample{// メンバー変数の定義 ここから↓private int x;private int y;// メンバー変数の定義 ここまで↑// メソッドの定義 ここから↓public int GetX()  {return x;  }public int GetY()  {return y;  }public void Set(int a,int b)  {    x = a;    y = b;  }// メソッドの定義 ここまで↑}

privateやpublicといったキーワードについては「実装の隠蔽」で解説します。

メンバー変数によってオブジェクトの内部の実装を記述し、メソッドによって外部から行える操作を記述するわけです。以下、具体的な例を挙げるために複素数を表すクラスを作ってみましょう。まず、複素数に対する操作には何があるかを列挙してみましょう。

• 実部の取り出し・変更

• 虚部の取り出し・変更

• 絶対値の取り出し・変更

• 偏角の取り出し・変更

• 四則演算

• 共役複素数の計算

次に、複素数を実装する方法を考えて見ましょう。

• 実部と虚部を記憶しておく

• 絶対値と偏角を記憶しておく

いきなりすべてを実装するのは大変ですから、まず、実部と虚部の取り出し・変更と、絶対値の取り出しを、実部と虚部を記憶しておく方式で実装してみます。

class Complex{public double re;// 実部を記憶しておく(外部からの読み出し・書き換えも可能)public double im;// 虚部を記憶しておく(外部からの読み出し・書き換えも可能)// 絶対値を取り出すpublic double Abs()  {return Math.Sqrt(re*re + im*im);// Math.Sqrt は平方根を求める関数  }}

最初ということで、シンプルになるように実装しましたが、今後、徐々にちゃんとした形のものにしていきます。

クラスの利用

クラスを利用するためには、インスタンスを作成しなければなりません。そのためにまず、インスタンスを格納するための変数を定義します。変数定義の仕方は以下のような構文になります。

クラス名変数名;

(ちなみに、C# 9.0 からはnew の後ろのクラス名を省略できることがあります。)

次に、new キーワードでインスタンスを作成し、用意した変数に格納します。

ここで注意すべきことは、C# において、変数というのはただの入れ物であって、変数を宣言しただけではインスタンスは作成されません。（空っぽの入れ物だけができる。）以下のように、new して始めてインスタンスが生成されます。

変数 =newクラス名();

そして、以下のように変数の後に「. 」で区切ってメンバー名を書くことでメンバー変数やメンバー関数を利用できます。

変数名.メンバー名

例として先ほど作成した複素数クラスのインスタンスを生成し、利用してみましょう。

Complex z;// インスタンスを格納するための変数を定義z =new Complex();// new を使ってインスタンスを生成z.re = 3;// 実部の値を変更z.im = 4;// 虚部の値を変更double abs = z.Abs();// z の絶対値を取得Console.Write("abs = {0}\n", abs);// abs = 5 と表示される

また、組込み型や配列と同様に変数の宣言と同時にインスタンスを作成して初期化することも出来ます。

int n = 5;string s ="abcde";int[] array =new int[]{1, 2, 3, 4, 5};Complex z =new Complex();

サンプル

using System;/// <summary>/// 複素数クラス/// </summary>class Complex{public double re;// 実部public double im;// 虚部  /// <summary>  /// 絶対値を返す  /// </summary>public double Abs()  {return Math.Sqrt(re*re + im*im);  }/// <summary>  /// 文字列化する  /// </summary>public override string ToString()  {if(im >0)return re.ToString() +"+i" + im.ToString();if(im < 0)return re.ToString() +"-i" + (-im).ToString();return re.ToString();  }}// class Complex//================================================class ClassSample{static void Main()  {    Complex z =new Complex();    z.re = GetDouble("実部を入力してください : ");    z.im = GetDouble("虚部を入力してください : ");    Console.Write("|{0}| = {1}\n", z, z.Abs());  }// 「関数」のところで作った実数入力用関数static double GetDouble(string message)  {double x;while(true)    {try      {// 入力を促すメッセージを表示して、値を入力してもらう        Console.Write(message);        x =double.Parse(Console.ReadLine());      }catch(Exception)      {// 不正な入力が行われた場合の処理        Console.Write("error : 正しい値が入力されませんでした\n入力しなおしてください\n");continue;      }break;    }return x;  }}

null

前節で、クラスを使う際にはまず「new キーワードでインスタンスを作る」と説明しましたが、インスタンスを持たない(作るのを後回しにしたり、使い終わったものを手放したりする)場合の話もしておきます。

C# では、「有効なインスタンスを持っていない」という状態をnull（ヌル: 空っぽ、0）と呼び、null キーワードで表します。

変数 =null;

よくある用途としては、必要になるまでインスタンス生成を遅らせたり(遅延初期化と言ったりします)です。プロパティやnull 合体演算子を使うことが多く、今は「こういう書き方がある」くらいの説明しかできませんが、以下のような使い方ができます。

using System;using System.ComponentModel;using System.Reflection;// System.Type から、自分のプログラムで使う属性とかを抽出するためのクラスclassTypeInfo{privatereadonlyType _type;publicTypeInfo(Typetype) => _type =type;// 初期状態で null にしておく。privatestring _description =null;// このメソッドの処理はだいぶ重たい。// なので必要になるぎりぎりまで呼びたくない。privatestringGetDescription() => _type.GetCustomAttribute<DescriptionAttribute>().Description;// 始めてこのプロパティが呼ばれたときに、まだ _description が null のときだけ GetDescription を呼ぶ。publicstring Description => _description ??=GetDescription();}

また、「有効なインスタンスを取れなかった」ということを表すのに使ったりもします。

classProgram{staticvoidMain()    {// "abcdefg" が条件を満たすのでこれが返ってくる。vara =FirstLongString(new[] {"a","abcd","abcdefg","abc" });// 条件を満たすものがないので null が返ってくる。varb =FirstLongString(new[] {"a","abcd","abcd","abc" });    }// 配列中から特定の条件を満たす最初のインスタンスを探す。// (例として、長さ 5 以上の文字列を探す。)staticstringFirstLongString(string[]items)    {foreach (varxinitems)        {if (x.Length >= 5)returnx;        }// 条件を満たすものがなかったことを表すために null を返す。returnnull;    }}

ちなみに、null は参照型の既定値になります。

詳しくは「null の取り扱い」というページもあるのでこちらも参照してみてください。

Ver. 2.0

元々は参照型にしかなかった概念ですが、C# 2.0 からはnull許容値型という機能を使うことで値型でも null を使えるようになりました。

Ver. 8.0

また、C# 8.0 では「nullが本当に必要かどうか」を明示的に指定できるように、null許容参照型という機能が入りました。

this アクセス

クラス中では、thisというキーワードが特別な意味を持ちます。thisは、英単語の意味(これ、この)通り「このインスタンス自身」を表す特別な変数になります。

通常はあってもなくてもいいものなんですが、例えば、ローカル変数と同名のフィールドがあったときに、フィールドの方を参照するために使えます。

classPoint{// 小文字 x, y でフィールドを定義int x;int y;// 同じ x で引数を定義// y の方は名前を変えてみるpublic Point(int x,int a)    {// this. が付いている方はフィールド// ついていない方は引数this.x = x;// y の方は this. を付けなくても、他に候補がないのでフィールドの y        y = a;// この場合、this. を付けても y と同じ意味var b =this.y;    }}

あるいは、メソッドの引数に自分自身を渡したりするときに使います。

classPoint{// 前略// Point を引数として受け取るメソッドがあったとして、publicstaticvoid Write(Point p)    {        System.Console.WriteLine($"({p.x},{p.y})");    }// そのメソッドに「自分自身」を渡すpublicvoid Write() => Write(this);}

その他、インデクサーや拡張メソッドなど、thisを常に必要とする構文があります。

using System;classPoint{publicint X, Y;publicvoid M()    {var x =this[0];// インデクサーの呼び出しvar l =this.LengthSquared();// 拡張メソッドの呼び出し    }// インデクサーpublicintthis[int i]        => i == 0 ? X        : i == 1 ? Y        :thrownewIndexOutOfRangeException();}staticclassPointExtensions{// 拡張メソッドpublicstaticint LengthSquared(thisPoint p) => p.X * p.X + p.Y * p.Y;}

クラスと構造体

ここまでの説明を見て、「クラス」と「構造体」の類似性に気付いた方もいるかと思います。実際、メンバー変数やメソッドの定義は構造体でもできます。

クラスと構造体の違いを説明するためには、継承や多態性などのオブジェクト指向の概念や、値型と参照型というプログラミングの概念の理解が必要になります。これらの概念の詳細は、「継承」、「多態性」、「値型と参照型」などで説明することにして、ここでは簡単に概要だけを表にまとめます。

迷うようならクラスにしておけばいいと思います。構造体は、以下の条件がそろっている場合にのみ使います。

• データのサイズが小さい（目安としては16バイト程度以下）

• 絶対に継承しないと分かっている

• 変数への代入がコピーを生むというのが許容できる

クラスの分割定義

ページを分割しました:

• 型の分割定義 (partial)

匿名型

Ver. 3.0

C# 3.0 では匿名型（anonymous type）を作成できるようになりました。匿名型の作り方は以下の通りです。

var x =new { FamilyName ="糸色", FirstName="望"};

このようなコードから、自動的に、以下のような型が生成されます。

// ↓この __Anonymous という名前はプログラマが参照できるわけではない。class__Anonymous1{private string f1;private string f2;public __Anonymous1(string f1,string f2)  {this.f1 = f1;this.f2 = f2;  }public string FamilyName  {get {return this.f1}  };public string FirstName  {get {return this.f2}  };// あと、Equals, GetHashCode, ToString も実装}

この機能的は「LINQ」とともに利用することで真価を発揮します。単体で使う場面はそれほど多くないと思いますが、例えば、以下のような書き方ができます。

var rectangle =new { Width = 2, Height = 3 };Console.Write("幅  : {0}\n高さ: {1}\n面積: {2}\n",  rectangle.Width,  rectangle.Height,  rectangle.Width * rectangle.Height);

演習問題