型 (C# プログラミングガイド)

[アーティクル]
10/10/2008

更新 : 2008 年 7 月

型、変数、および値

C# は、厳密に型指定された言語です。すべての変数および定数は、値に評価されるすべての式がそうであるように、型を持ちます。すべてのメソッドシグネチャで、各入力パラメータの型と戻り値の型が指定されます。.NET Framework クラスライブラリでは、一連の組み込みの数値型が定義され、さらにファイルシステム、ネットワーク接続、オブジェクトのコレクション、オブジェクトの配列、日付など、さまざまな論理構造を表すより複雑な型も定義されています。一般的な C# プログラムでは、クラスライブラリで定義されている型と、そのプログラムの問題領域に固有の概念をモデル化するユーザー定義の型が使用されます。

型には、次のような情報が保存されます。

その型の変数が必要とする記憶領域。
表すことができる最大値と最小値。
含まれるメンバ (メソッド、フィールド、イベントなど)。
継承元となった基本型。
実行時に変数に割り当てられるメモリの場所。
許可される演算の種類。

コンパイラは、型情報を使用して、コード内で実行されるすべての操作がタイプセーフであることを確認します。たとえば、int 型の変数を宣言すると、その変数は加算演算と減算演算で使用できます。同じ演算を bool 型の変数に対して実行しようとすると、コンパイラで次の例ようなエラーが発生します。

int a = 5;             
int b = a + 2; //OK

bool test = true;
// Error. Operator '+' cannot be applied to operands of type 'int' and 'bool'.
int c = a + test;

メモ :
C や C++ と異なり、C# では、bool を int に変換することはできません。

コンパイラは、型情報を実行可能ファイル内にメタデータとして埋め込みます。共通言語ランタイム (CLR: Common Language Runtime) は、実行時にこのメタデータを使用して、メモリの割り当て時および再要求時に、タイプセーフであるかどうかを再度確認します。

変数宣言での型の指定

プログラム内で変数や定数を宣言するときは、その型を指定するか、var キーワードを使用して、コンパイラが型を推論できるようにする必要があります。次の例では、組み込みの数値型と複雑なユーザー定義の型の両方を使用する変数宣言を示します。

// Declaration only:
float temperature;
string name;
MyClass myClass;

// Declaration with initializers (four examples):
char firstLetter = 'C';
var limit = 3;
int[] source = { 0, 1, 2, 3, 4, 5 };
var query = from item in source
            where item <= limit
            select item;

メソッドのパラメータおよび戻り値の型は、メソッドシグネチャで指定します。入力引数として int を使用する必要があり、戻り値として文字列を返すメソッドのシグネチャを次に示します。

public string GetName(int ID)
{
    if (ID < names.Length)
        return names[ID];
    else
        return String.Empty;
}
private string[] names = { "Spencer", "Sally", "Doug" };

変数を宣言すると、新しい型を使用してその変数を再度宣言することはできず、宣言された型と互換性のない値をその変数に代入することはできません。たとえば、int を宣言してから、それに true のブール値を代入することはできません。ただし、たとえば新しい変数に代入するときや、メソッドの引数として渡すときに、値を他の型に変換することは可能です。データの損失を伴わない型変換は、コンパイラによって自動的に実行されます。データの損失を伴う可能性のある変換には、ソースコードに cast を記述する必要があります。

詳細については、「キャストと型変換 (C# プログラミングガイド)」を参照してください。

組み込みの型

C# には、整数、浮動小数点値、ブール式、テキスト文字、10 進数値などのデータを表現するための標準的な組み込みの数値型が用意されています。また、組み込みの string 型や object 型もあります。これらの型は、すべての C# プログラムで使用できます。組み込み型の詳細については、「型のリファレンス表 (C# リファレンス)」を参照してください。

カスタム型

カスタムの型を独自に作成するには、struct、class、interface、および enum の各構成要素を使用します。.NET Framework のクラスライブラリ自体が、マイクロソフトによって提供された、ユーザーが独自のアプリケーションで使用できるカスタムの型のコレクションです。既定では、クラスライブラリで最も頻繁に使用される型は任意の C# プログラムで使用可能になっています。その他の型は、その型が定義されているアセンブリへのプロジェクト参照を明示的に追加した場合にのみ使用可能になります。コンパイラがアセンブリを参照できるようになると、そのアセンブリ内で宣言されている型の変数 (および定数) をソースコード内で宣言できるようになります。詳細については、「.NET Framework クラスライブラリ」を参照してください。

共通型システム

.NET Framework で型システムを使用する場合は、次の 2 つの基本事項を理解しておく必要があります。

継承の原則がサポートされています。型を基本型と呼ばれる他の型から派生させることができます。派生した型は、基本型のメソッド、プロパティ、およびその他のメンバを (若干の制限付きで) 継承します。基本型もなんらかの他の型から派生できます。この場合、派生した型はその継承階層内の両方の基本型のメンバを継承します。System.Int32 (C# のキーワードは int) などの組み込み数値型を含むすべての型は、最終的に System.Object (C# のキーワードは object) という単一の基本型から派生します。この一元化された型階層は、共通型システム (CTS: Common Type System) と呼ばれます。C# での継承の詳細については、「継承 (C# プログラミングガイド)」を参照してください。
CTS の各型は、値型または参照型として定義されます。これは、.NET Framework クラスライブラリのすべてのカスタムの型や、ユーザーが独自に定義した型にも当てはまります。struct キーワードを使用して定義した型は値型であり、すべての組み込み数値型が structs です。class キーワードを使用して定義した型は、参照型です。参照型と値型では、コンパイル時の規則や実行時の動作が異なります。

次の図は、CTS における値型と参照型の関係を示しています。

CTS での値型と参照型

メモ :
この図を見るとわかるように、最もよく使用される型はすべて System 名前空間に属しています。しかし、型が属している名前空間は、その型が値型と参照型のどちらであるかには関係ありません。

値型

値型は、System.Object の派生型である System.ValueType から派生します。System.ValueType から派生した型は、CLR では特殊な動作をします。値型の変数は、その値を直接含みます。つまり、変数がどのようなコンテキストで宣言されたとしても、必ずメモリがインラインで割り当てられます。値型の変数には、独立したヒープ割り当てやガベージコレクションのオーバーヘッドはありません。

値型には、構造体と列挙体の 2 つのカテゴリがあります。

組み込みの数値型は構造体であり、次のようにしてアクセスできるプロパティとメソッドを持ちます。

// Static method on type Byte.
byte b = Byte.MaxValue();

ただし、宣言とそこへの値の代入は、あたかも単純な非集約型であるかのように行うことができます。

byte num = 0xA;
int i = 5;
char c = 'Z';

値型は、シールされています。たとえば System.Int32 から値型を派生させることはできません。構造体は System.ValueType からしか継承できないため、任意のユーザー定義型または構造体を継承する構造体を定義することはできません。ただし、構造体は 1 つ以上のインターフェイスを実装できます。構造体型は、インターフェイス型にキャストできます。これを行うと、ボックス化操作によって、構造体がマネージヒープ上の参照型オブジェクト内にラップされます。ボックス化操作が発生するのは、入力パラメータとして System.Object を受け取るメソッドに値型を渡した場合です。詳細については、「ボックス化とボックス化解除 (C# プログラミングガイド)」を参照してください。

独自のカスタム値型を作成するには、struct キーワードを使用します。通常、構造体は、次の例に示すように、少数の関連する変数のコンテナとして使用します。

public struct CoOrds
{
    public int x, y;

    public CoOrds(int p1, int p2)
    {
        x = p1;
        y = p2;
    }
}

構造体の詳細については、「構造体 (C# プログラミングガイド)」を参照してください。.NET Framework における値型の詳細については、「共通型システムの値型」を参照してください。

別の種類の値型として、列挙体があります。列挙体は、一連の名前付き整数定数を定義します。たとえば、.NET Framework クラスライブラリの System.IO.FileMode 列挙体には、ファイルを開く方法を指定する一連の名前付き整数定数が格納されています。これは、次の例のように定義されます。

public enum FileMode
{
    CreateNew = 1,
    Create = 2,
    Open = 3,
    OpenOrCreate = 4,
    Truncate = 5,
    Append = 6,
}

定数 Create は、2 という値を持ちます。しかし、人間がソースコードを読む場合は名前があるとわかりやすいため、このような場合は、リテラルの数値の定数を使用するよりも、列挙体を使用する方がよいと言えます。

すべての列挙体は、System.ValueType の派生型である System.Enum から派生します。構造体に適用されるすべての規則が、列挙体にも適用されます。列挙体の詳細については、「列挙型 (C# プログラミングガイド)」を参照してください。

参照型

class、delegate、配列、または interface として定義された型は、参照型です。参照型の変数を宣言した場合、実行時には、new 演算子によってオブジェクトのインスタンスが明示的に作成されるまで、この変数には null が格納されます。または、new, as shown in the following example: を使用して、どこか別の場所で作成されたオブジェクトを割り当てることもできます。

MyClass mc = new MyClass();
MyClass mc2 = mc;

インターフェイスは、それを実装するクラスオブジェクトで一緒に初期化する必要があります。MyClass が IMyInterface を実装している場合は、次の例のようにして IMyInterface のインスタンスを作成できます。

IMyInterface iface = new MyClass();

オブジェクトが作成されると、マネージヒープ上でメモリが割り当てられ、変数にはそのオブジェクトの場所への参照のみが格納されます。マネージヒープを使用する型では、メモリの割り当て時と、CLR の自動メモリ管理機能 (ガベージコレクション) による再要求時の両方についてオーバーヘッドが発生します。しかし、ガベージコレクションも高度に最適化されるため、ほとんどのシナリオでは、パフォーマンス上の問題が発生することはありません。ガベージコレクションの詳細については、「自動メモリ管理」を参照してください。

配列は、その要素が値型の場合でも、すべて参照型です。配列は、System.Array クラスから暗黙的に派生しますが、C# に用意されている次の例のような簡単な構文で宣言および使用します。

// Declare and initialize an array of integers.
int[] nums = { 1, 2, 3, 4, 5 };

// Access an instance property of System.Array.
int len = nums.Length;

参照型では、継承が全面的にサポートされています。クラスの作成時には、シールクラスとして定義されているものを除く、他のすべてのインターフェイスまたはクラスから継承できます。また、作成したクラスから他のクラスを継承し、仮想メソッドをオーバーライドすることもできます。独自のクラスを作成する方法の詳細については、「クラスと構造体 (C# プログラミングガイド)」を参照してください。継承と仮想メソッドの詳細については、「継承 (C# プログラミングガイド)」を参照してください。

リテラル値の型

C# では、リテラル値の型がコンパイラによって決定されます。数値リテラルの型指定の方法を指定するには、その数値の末尾に文字を付加します。たとえば、値 4.56 を float 型として扱うには、数値の後に "f" または "F" を付加して、4.56f のように指定します。文字を付加しない場合、リテラルの型はコンパイラによって推論されます。文字サフィックスによって指定できる型の詳細については、「値型 (C# リファレンス)」の各型のリファレンスページを参照してください。

リテラルは型指定され、すべての型は最終的に System.Object から派生するため、次のようなコードを記述してコンパイルできます。

string s = "The answer is " + 5.ToString();
// Outputs: "The answer is 5"
Console.WriteLine(s);

Type type = 12345.GetType();
// Outputs: "System.Int32"
Console.WriteLine(type);

ジェネリック型

クライアントコードが型のインスタンスを作成したときに提供される実際の型 (具象型) のプレースホルダとして使用される 1 つまたは複数の型パラメータで、型を宣言することもできます。このような型は、ジェネリック型と呼ばれます。たとえば、.NET Framework の型 System.Collections.Generic.List<T> には、慣例により T という名前が与えられる 1 つの型パラメータがあります。この型のインスタンスを作成するときには、たとえば文字列の場合なら、リストに含まれるオブジェクトの型を次のように指定します。

List<string> strings = new List<string>();

型パラメータを使用することで、任意の型の要素を格納するために、各要素をオブジェクトに変換せずに同じクラスを再利用できます。ジェネリックコレクションクラスは、コレクションの要素の具体的な型がコンパイラに認識され、たとえば、前の例で strings オブジェクトに整数を追加しようとするとコンパイル時にエラーが発生するため、厳密に型指定されたコレクションと呼ばれます。詳細については、「ジェネリック (C# プログラミングガイド)」を参照してください。

暗黙の型、匿名型、および Null 許容型

前にも説明したとおり、ローカル変数 (クラスのメンバではない) の型を暗黙的に指定するには、var キーワードを使用します。変数の型はコンパイル時に決定されますが、その型はコンパイラによって指定されます。詳細については、「暗黙的に型指定されるローカル変数 (C# プログラミングガイド)」を参照してください。

場合によっては、メソッドの境界を越えて格納したり受け渡したりする予定のない単純な一連の関連値に名前付きの型を作成するのは便利ではないこともあります。このような場合は、匿名型を作成できます。詳細については、「匿名型 (C# プログラミングガイド)」を参照してください。

値型には、通常、null 値を割り当てることができません。しかし、型の後ろに ? を付けることによって、null 値を設定できる値型を作成できます。たとえば、int? は、null も設定できる int 型です。CTS では、null 許容型は一般的な構造体型 System.Nullable<T> のインスタンスです。Null 許容型は、数値が null になる可能性のあるデータベースとの間でデータを受け渡しする場合に、特に便利です。詳細については、「null 許容型 (C# プログラミングガイド)」を参照してください。

C# 言語仕様

型の詳細については、「C# 言語仕様」の次のセクションを参照してください。

1.3 型と変数
3.8 名前空間と型の名前
4.1 値型
4.2 参照型
4.3 ボックス化とボックス化解除

参照

履歴の変更

日付	履歴	理由
2008 年 7 月	導入情報と、型宣言、共通型システム、値型と参照型、リテラル、およびジェネリック型に関する情報を追加	情報の拡充

型 (C# プログラミングガイド)

型、変数、および値

変数宣言での型の指定

組み込みの型

カスタム型

共通型システム

値型

参照型

リテラル値の型

ジェネリック型

暗黙の型、匿名型、および Null 許容型

関連項目

C# 言語仕様

参照

概念

参照

その他の技術情報

履歴の変更

その他のリソース

型 (C# プログラミング ガイド)

型、変数、および値

変数宣言での型の指定

組み込みの型

カスタム型

共通型システム

値型

参照型

リテラル値の型

ジェネリック型

暗黙の型、匿名型、および Null 許容型

関連項目

C# 言語仕様

参照

概念

参照

その他の技術情報

履歴の変更

その他のリソース

型 (C# プログラミングガイド)