C Sharp

C#(シーシャープ)は、マイクロソフトが開発した、汎用のマルチパラダイムプログラミング言語である。C#は、Javaに似た構文を持ち、C++に比べて扱いやすく、プログラムの記述量も少なくて済む。また、C#は、Windowsの.NET Framework上で動作することを前提として開発された言語であるが、2023年現在はクロスプラットフォームな.NETランタイム上で動作する。デスクトップ・モバイルを含むアプリケーション開発や、ASP.NETをはじめとするWebサービスの開発フレームワーク、ゲームエンジンのUnityでの採用事例などもある。

開発にはボーランドのTurbo PascalやDelphiを開発したアンダース・ヘルスバーグを筆頭として多数のDelphi開発陣が参加している。 構文はC系言語(C言語、C++、Javaなど)の影響を受けており、その他の要素には、以前、ヘルスバーグが所属していたボーランド設計のDelphiの影響が見受けられる。また、主要言語へのasync/await構文や、ヘルスバーグが言語設計に関わるTypeScriptでのジェネリクス採用など、他言語への影響も見られる。

C#は共通言語基盤(共通言語ランタイムなど)が解釈する共通中間言語にコンパイルされて実行される。

また、C#はマルチパラダイムをサポートする汎用高レベルプログラミング言語で、静的型付け、タイプセーフ、スコープ、命令型、宣言型、関数型、汎用型、オブジェクト指向(クラスベース)、コンポーネント指向のプログラミング分野を含んでいる。他にも自動ボックス化、デリゲート、 プロパティ、インデクサ、カスタム属性、ポインタ演算操作、構造体(値型オブジェクト)、多次元配列、可変長引数、async/await構文、null安全などの機能を持つ。また、Javaと同様に大規模ライブラリ、プロセッサ・アーキテクチャに依存しない実行形態、ガベージコレクション、JITコンパイルによる実行の高速化、AOTコンパイラによる高速実行、などが実現されている(もっともこれらはC#の機能というより.NET によるものである)。

共通言語基盤 (CLI) といった周辺技術も含め、マイクロソフトのフレームワークである「.NET」の一部である。また、以前のVisual J++で「非互換なJava」をJavaに持ち込もうとしたマイクロソフトとは異なり、その多くの^{[注釈 1]} 仕様を積極的に公開し、標準化機構に託して自由な利用を許す^{[注釈 2]} など、同社の姿勢の変化があらわれている。

.NET構想における中心的な開発言語であり、XML WebサービスやASP.NETの記述にも使用される。他の.NET系の言語でも記述可能だが、.NET APIはC#からの利用を第一に想定されており、他の.NET系言語(特に2023年以降新構文の追加なしと宣言されたVB.NET^{[a 2]} )では利用できない、あるいは将来的に利用できなくなる機能が存在する。

マイクロソフトの統合開発環境(Microsoft Visual Studio)では、Microsoft Visual C#がC#に対応している。また、Visual Studio Codeに専用のC#向け拡張(C# DevKit)を導入することでクロスプラットフォームで開発することが可能^{[a 3]} 。

共通言語仕様のCLSによって、他のCLS準拠の言語(F#やVisual Basic .NETやVisual C++ (C++/CLI) など)と相互に連携することができる。

さまざまな意味において、基盤であるCLIの機能をもっとも反映している言語であるといえる。C#にある組み込み型のほとんどは、CLIフレームワークに実装されている値型と対応している。

しかし、C#の言語仕様はコンパイラのコード生成については何も言及していないため、CLRに対応しなければならないとか、共通中間言語 (CIL) などの特定のフォーマットのコードを生成しなければならないとかいうことは述べられていない。

そのため、理論的にはC++やFORTRANのように環境依存のマシン語を生成することも可能である。しかし、現在存在するすべてのC#コンパイラはCLIをターゲットにしている。

.NET 7.0以降で可能になった事前コンパイルの一種である「Native AOT」でデプロイすることで実行可能な環境依存のバイナリを出力することが可能である。しかしながらこの手法もCLIとランタイムを事前に各アーキテクチャ向けのバイナリに変換しているだけであり、CLIを経由することに変わりはない。^{[a 23]}

特殊な例としては、UnityのScripting Backendである「IL2CPP」^[8] や「Burst」^[9] がある。 IL2CPPはC#をコンパイルしたCILをさらにC++コードへと変換後、ネイティブバイナリへC++コンパイラによってコンパイルされる。BurstはC#をコンパイルしたCILをLLVMコンパイラによってネイティブバイナリへコンパイルするものである。

最新のC#ではHello Worldを下記の通りに1行で記述できる^{[a 24]} 。

Console.WriteLine("Hello World!");

上記のコードは、コンパイラによって下記の様なコードに展開される。

usingSystem;
namespaceWikipedia
{
classProgram
{
staticvoidMain(string[]args)
{
Console.WriteLine("Hello World!");
}
}
}

次の言語機能によって実現されている。ただし、未対応の古いコンパイラを用いる場合は、省略できない。

• 最上位レベルのステートメント^{[a 25] [注釈 4]}
• 暗黙的なusing^{[a 26] [注釈 5] [注釈 6]}

C#では、CやC++と比較してさまざまな制限や改良が加えられている。また、仕様の多くはC#言語というよりは、基盤である .NET そのものに依拠している。Javaで導入された制限および改良をC#でも同様に採用しているものが多いが、C#で新たに導入された改良がのちにJavaにも同様に採用されたものもある。その例を次に挙げる。

• 外のブロックで宣言した変数と同じ名前の変数を、内のブロックで再宣言(シャドウ)してはいけない。再宣言は便利なこともあれば、混乱や曖昧のもとと主張されることもあるが、C#では禁止されている。
• C#にはブール型 boolが存在し、while 文やif 文のように条件をとるステートメントには、bool型の式を与えなければならない。C言語では、ブール型が無くint型(0を偽とし、非0を真とする)に兼用させた上、(ヌルポインタを偽とみなすこととするといろいろと便利だった、ということもあり)ポインタでもwhile文やif文に与える式にできる、という仕様としていた。これは便利なこともあったが、本来比較式を記述すべきところで誤って代入式を記述してもコンパイル適合となってしまうなど、ミスが見逃されることもあった。C#ではミスを防止するため^{[要出典 ]}に、そのような仕様ではなくブール型を独立させ、またブール型を厳密に要求する場所を多くしている。
• switch 文に整数型あるいは整数型に準ずる型のみならず、文字列型stringを使用できる。caseラベルには、整数型あるいは整数型に準ずる型の定数のみならず、文字列リテラル(文字列定数)を使用できる。
  • C# 7.0 以降では caseラベルに複雑なパターンマッチングを行うことが可能で複雑な判定を簡易な記述で記載が可能。^{[b 9]}
• 組み込み型のサイズおよび内部表現が仕様で定められており、プラットフォームや処理系に依存しない。浮動小数点数はIEEE 754に準拠する^{[a 27]} 。文字および文字列はUTF-16エンコーディングを採用する^{[a 28]} 。
  • C# 9.0以降では CPUによってサイズの異なる整数型 nint/nuintが追加された ^{[b 10]}
  • C# 11.0 以降では文字列をUTF-8として扱う「UTF-8文字列リテラル」が追加された^{[a 29]}

• ポインタをサポートする。ポインタはunsafeスコープ内のみで使用することができ、適切な権限をもつプログラムのみがunsafeとマークされたコードを実行することができる。オブジェクトへのアクセスの大部分は管理された安全な参照によってなされ、大部分の算術演算はオーバフローのチェックがなされる。unsafeポインタは値型や文字列を指すことができる。セーフコードでは、必ずしもそうする必要はないものの、IntPtr型を通してポインタをやりとりすることができる。
• マネージドなメモリを明示的に解放する方法は存在せず、参照されなくなったメモリはガベージコレクタによって自動的に解放される。ガベージコレクタは、メモリの解放忘れによって起こるメモリリークを解消する。C#は、データベース接続のようなアンマネージドなリソースに対しても明示的に制御する方法を提供している。これはIDisposableインタフェースとusingステートメントまたはusing宣言によってなされる。

• グローバル変数やグローバルメソッドは存在しない。すべてのフィールドとメソッドはクラスあるいは構造体の一部として宣言されなければならない。

例えばC/C++のprintf()関数のように名前空間レベルに存在するフリー関数を定義することはできない。ほとんどの場合クラスおよび構造体は名前の衝突を避けるために名前空間に所属する。

• 名前空間は階層構造をもつ。つまり、名前空間は他の名前空間の中に宣言することができる。
• 組み込みの値型を含めたすべての型は、objectクラス (System.Object) の派生型である。つまりobjectクラスのもつすべてのプロパティやメソッドを継承する。例えば、すべての型はToString()メソッドをもつ。
• クラス (class) は参照型であり、構造体 (struct) および列挙型 (enum) は値型である。構造体はクラスよりも軽量で、C/C++との相互運用性に優れるが、派生型を定義することができない。
• クラスおよび構造体は複数のインタフェースを実装することができるが、多重継承はサポートされない。
• C#はC++に比べて型安全である。既定の暗黙変換は、整数の範囲を広げる変換や、派生クラスから基底クラスへの変換といった、安全な変換のみに限定される。これは、コンパイル時、JITコンパイル時、そして一部の動的なケースでは実行時に強制される。ブール型と整数型、列挙型と整数型、の間は暗黙変換はできない。暗黙変換をユーザー定義する際は、明示的にそのように指定しなければならない。これはC++のコンストラクタとは違った仕様である。
• C#は「Null安全」である。Null許容型、Null許容参照型を持ち、Null合体演算子などの構文・演算子を持つ。
• 列挙型のメンバーは、列挙型のスコープの中に置かれる。また、列挙型の定数名を取得することができる。さらに、列挙型の定数名から動的に定数値を得ることができる。
• アクセサの定義と利用を簡略化するためにプロパティ構文を利用できる。C++およびJavaにおけるカプセル化では、通例getter/setterアクセサとなるメンバー関数あるいはメソッドを定義して利用するが、C#ではプロパティ機能により、カプセル化を維持しつつ、あたかもフィールドを直接読み書きするような直感的な構文でオブジェクトの状態にアクセスすることができる。プロパティによってメンバーのアクセス制御やデータの正当性チェックを実行することができる。なお、イベントハンドラーに利用するデリゲートのカプセル化にはイベント構文 (event) が用意されている。
• ジェネリクス(総称型)の採用(C# 2.0以降)。C++のテンプレート、Javaのジェネリックスと異なりコンパイル後も型情報が保持される。また、Javaのジェネリクスと異なりプリミティブ型も型変数として使うことができる。

部分型 (Partial Type) が導入された^{[a 4]} 。以下のようにクラスや構造体の宣言にpartial修飾子をつけることで、その宣言を分割することができる。

partialclassMyClass{inta;}
partialclassMyClass{intb;}

これは以下と同義である:

classMyClass{inta;intb;}

これによって、巨大なクラスを分割したり、自動生成されたコードを分離したりすることができる。partial 修飾子はすべての宣言につける必要がある。

^[10]

ジェネリクスが導入された^{[a 4]} 。これは.NET Framework 2.0の機能である。クラス、構造体、インタフェース、デリゲート、メソッドに対して適用することができる。

.NETのGenericsはC++のテンプレート、あるいはJavaにおけるそれとも異なるもので、コンパイルによってではなく実行時にランタイムによって特殊化される。これによって異なる言語間の運用を可能にし、リフレクションによって型パラメーターに関する情報を取得することができる。また、where節によって型パラメーターに制約を与えることができる。一方、C++のように型パラメーターとして式を指定することはできない。なお、ジェネリックメソッドの呼び出し時に引数によって型パラメーターが推論できる場合、型パラメーターの指定は省略できる。 ^[11]

静的クラスが導入された^{[a 4]} 。static属性をクラスの宣言につけることで、クラスはインスタンス化できなくなり、静的なメンバーしか持つことができなくなる。

^[10]

イテレータ#C# 2.0を参照。

^[12]

yieldキーワードによるコルーチンを使うことで、イテレータの生成を楽に実装できるようになった。

クロージャの機能を提供する匿名デリゲートが導入された。

Property Accessors プロパティのget もしくは setアクセサのどちらかにアクセス修飾子を指定することでアクセス制御が別個にできるようになった^{[a 4]} 。次の例では、getアクセサはpublic、setアクセサはprivateである。

publicclassMyClass
{
privatestringstatus=string.Empty;
publicstringStatus
{
get{returnstatus;}
privateset{status=value;}
}
}

^[13]

nullを保持できる値型、Nullableが導入された^{[a 4]} 。

int?i=512;
i=null;
int?j=i+500;//jはnullとなる。nullとの演算の結果はnullになる。

int?はNullable<int>の糖衣構文である。また、nullを保持しているNull許容型のインスタンスをボックス化しようとすると、単に空参照 (null) に変換される^{[a 30]} 。

int?x=null;
objecto=x;
System.Console.WriteLine(o==null);//Trueが出力される

^[14]

また、null結合演算子 (??)が導入された。これは、nullでない最初の値を返す。

objectobj1=null;
objectobj2=newobject();
objectobj3=newobject();
returnobj1??obj2??obj3;// obj2 を返す

この演算子は主にNullable型を非Nullable型に代入するときに使われる。

int?i=null;
intj=i??-1;// nullをint型に代入することはできない

• 匿名メソッド ^[15]
• External Aliases/Namespace Aliases Qualifiers^[16]
• プラグマディレクティブ/C言語の様な固定長の配列表記Fix Size Buffers^[17]

var キーワードが導入され、型推論を利用したローカル変数の宣言ができるようになった^{[a 4]} 。

vars="foo";
// 上の文は右辺が string 型であるため、次のように解釈される:
strings="foo";
// 以下に挙げる文は誤りである(コンパイルエラーとなる):
varv;// 初期化式を欠いている (型を推論する対象が存在しない)
varv=null;// 型が推論できない (曖昧である)

拡張メソッド (extension method) が導入された^{[a 4]} 。既存のクラスを継承して新たなクラスを定義することなく、新たなインスタンスメソッドを疑似的に追加定義することができる。具体的には、入れ子になっていない、非ジェネリックの静的クラス内に、this 修飾子をつけた、拡張メソッドを追加する対象の型の引数を最初に持つメソッドをまず定義する。これによって、通常の静的メソッドとしての呼び出しの他に、指定した型のインスタンスメソッドとしての呼び出しを行うことができるメソッドを作ることができる。以下に例を挙げる:

publicstaticclassStringUtil
{
publicstaticstringRepeat(thisstringstr,intcount)
{
vararray=newstring[count];
for(vari=0;i<count;++i)array[i]=str;
returnstring.Concat(array);
}
}

この例は、文字列(string 型のインスタンス)を指定した回数繰り返し連結したものを返すメソッド Repeat を、既存の string 型に追加している。このメソッドは、以下のように呼び出すことができる:

// 静的メソッドとしての呼び出し
StringUtil.Repeat("foo",4);
// 拡張メソッドとしての呼び出し
"foo".Repeat(4);
// (どちらの例も "foofoofoofoo" を返す)

また、列挙型やインタフェースなど本来メソッドの実装を持ち得ない型に、見かけ上インスタンスメソッドを追加することも可能である。以下に例を挙げる:

publicenumWay
{
None,Left,Right,Up,Down
}
publicstaticclassEnumUtil
{
publicstaticWayReverse(thisWaysrc)
{
switch(src)
{
caseWay.Left:returnWay.Right;
caseWay.Right:returnWay.Left;
caseWay.Up:returnWay.Down;
caseWay.Down:returnWay.Up;
default:returnWay.None;
}
}
}

このメソッドは以下のように呼び出すことができる:

Wayl=Way.Left;
Wayr=l.Reverse();// Way.Right

拡張メソッドは糖衣構文の一種であり、カプセル化の原則に違反するものではないが、必要な場合に限り注意して実装することがガイドラインとして推奨されている^{[a 31]} 。

部分メソッドが導入された^{[a 4]} 。部分型(partial 型)内で定義された private で、かつ戻り値が void のメソッドに partial 修飾子をつけることでメソッドの宣言と定義を分離させることができる。定義されていない部分メソッドは何も行わず、何らエラーを発生させることもない。例えば:

partialclassClass
{
partialvoidDebugOutput(stringmessage);

voidMethod()
{
DebugOutput("Some message");
Console.WriteLine("Did something.");
}
}

上のコードにおいて Method() を呼び出すと、Did something. と表示されるだけだが、ここで以下のコード:

partialclassClass
{
partialvoidDebugOutput(stringmessage)
{
Console.Write("[DEBUG: {0}] ",message);
}
}

を追加した上で Method() を呼び出すと、[DEBUG: Some message] Did something. と表示される。

ラムダ式が導入された^{[a 4]} 。この名前はラムダ計算に由来する。

以下の匿名メソッド

// iを変数としてi+1を返すメソッド
delegate(inti){returni+1;}

は、ラムダ式を使って次のように記述できる:

(inti)=>i+1;/* 式形式のラムダ */
//或いは:
(inti)=>{returni+1;};/* ステートメント形式のラムダ */

ラムダ式は匿名メソッドと同様に扱えるが、式形式のラムダがExpression<TDelegate>型として扱われた場合のみ匿名メソッドとして扱われず、コンパイラによって式木を構築するコードに変換される。匿名デリゲートが実行前にコンパイルされたCILを保持するのに対し、式木はCILに実行時コンパイル可能であるDOMのような式の木構造そのものを保持する。これはLINQクエリをSQLクエリなどに変換する際に役立つ。

以下は、3つの任意の名前の変数、整数、括弧、及び四則演算子のみで構成された式を逆ポーランド記法に変換する汎用的なコードである:

publicstaticstringToRPN(Expression<Func<int,int,int,int>>expression)
{
returnParse((BinaryExpression)expression.Body).TrimEnd(' ');
}
privatestaticstringParse(BinaryExpressionexpr)
{
stringstr="";

if(expr.LeftisBinaryExpression)
{
str+=Parse((BinaryExpression)expr.Left);
}
elseif(expr.LeftisParameterExpression)
{
str+=((ParameterExpression)expr.Left).Name+" ";
}
elseif(expr.LeftisConstantExpression)
{
str+=((ConstantExpression)expr.Left).Value+" ";
}
if(expr.RightisBinaryExpression)
{
str+=Parse((BinaryExpression)expr.Right);
}
elseif(expr.RightisParameterExpression)
{
str+=((ParameterExpression)expr.Right).Name+" ";
}
elseif(expr.RightisConstantExpression)
{
str+=((ConstantExpression)expr.Right).Value+" ";
}

returnstr+expr.NodeType.ToString()
.Replace("Add","+")
.Replace("Subtract","-")
.Replace("Multiply","*")
.Replace("Divide","/")
+" ";
}
// 呼び出し例:
ToRPN((x,y,z)=>(x+1)*((y-2)/z));// "x 1 + y 2 - z / *" を返す

オブジェクトの初期化が式として簡潔に記述できるようになった。

varp=newPoint{X=640,Y=480};
// 上の文は次のように解釈される:
Point__p=newPoint();
__p.X=640;
__p.Y=480;
Pointp=__p;

また、コレクションの初期化も同様に簡潔に記述できるようになった。

varl=newList<int>{1,2,3};
vard=newDictionary<string,int>{{"a",1},{"b",2},{"c",3}};
// 上の文は次のように解釈される:
List<int>__l=newList<int>();
__l.Add(1);
__l.Add(2);
__l.Add(3);
List<int>l=__l;
Dictionary<string,int>__d=newDictionary<string,int>();
__d.Add("a",1);
__d.Add("b",2);
__d.Add("c",3);
Dictionary<string,int>d=__d;

但し、上のコードでは匿名の変数に便宜的に __p、__l、__d と命名している。実際はプログラマはこの変数にアクセスすることはできない。

プロパティをより簡潔に記述するための自動実装プロパティが導入された^{[a 4]} 。プロパティの定義に get; set; と記述することで、プロパティの値を保持するための匿名のフィールド(プログラマは直接参照することはできない)と、そのフィールドにアクセスするためのアクセサが暗黙に定義される。また、C# 5.0 までは get;とset;のどちらか片方だけを記述することは出来なかったが、C# 6.0 からは get; のみが可能。以下のコード:

publicintValue{get;set;}

は、以下のようなコードに相当する動作をする:

privateint__value;
publicintValue
{
get{return__value;}
set{__value=value;}
}

但し、上のコードでは匿名のフィールドに便宜的に __value と命名している。実際はプログラマはこのフィールドにアクセスすることはできない。

一時的に使用される型を簡単に定義するための匿名型が導入された^{[a 4]} 。以下に例を挙げる:

new{Name="John Doe",Age=20}

上の式は、以下の内容のクラスを暗黙に定義する。定義されたクラスは匿名であるが故にプログラマは参照できない。

publicstringName{get;}
publicintAge{get;}

同じ型、同じ名前のプロパティを同じ順序で並べた匿名型は同じであることが保証されている。即ち、以下のコード:

varher=new{Name="Jane Doe",Age=20}
varhim=new{Name="John Doe",Age=20}

において、her.GetType() == him.GetType() は true である。

new キーワードを用いた配列の宣言の際、型を省略できるようになった。匿名型の配列を宣言する際に威力を発揮する。

vara=new[]{"foo","bar",null};
// 上の文は次のように解釈される:
string[]a=newstring[]{"foo","bar",null};
// 以下の文:
vara=new[]{"foo","bar",123};
// は次のように解釈されることなく、誤りとなる:
object[]a=newobject[]{"foo","bar",123};

LINQ をサポートするために、クエリ式が導入された^{[a 4]} 。これは SQL の構文に類似しており、最終的に通常のメソッド呼び出しに変換されるものである。以下に例を示す:

varpassedStudents=
fromsinstudents
wheres.MathScore+s.MusicScore+s.EnglishScore>200
selects.Name;

上のコードは以下のように変換される:

varpassedStudents=students
.Where(s=>s.MathScore+s.MusicScore+s.EnglishScore>200)
.Select(s=>s.Name);

C# 3.0で追加された構文の多くは式であるため、より巨大な式(当然クエリ式も含まれる)の一部として組み込むことができる。旧来複数の文に分けたり、作業用の変数を用意して記述していたコードを単独の式としてより簡潔に記述できる可能性がある。

出井秀行著の『実戦で役立つ C#プログラミングのイディオム/定石&パターン』(技術評論社、2017年)という書籍ではクエリ構文よりメソッド構文を推奨しており、クエリ構文ではLINQの全ての機能を使用できるわけではないこと、メソッド呼び出しは処理を連続して読める可読性があること、メソッド呼び出しであればMicrosoft Visual Studioの強力なインテリセンスが利用できることを理由に、著者はクエリ構文をほとんど使用していないと記している。

dynamicキーワードが導入され、動的型付け変数を定義できるようになった^{[a 4]} 。dynamic型として宣言されたオブジェクトに対する操作のバインドは実行時まで遅延される。

// xはint型と推論される:
varx=1;
// yはdynamic型として扱われる:
dynamicy=2;
publicdynamicGetValue(dynamicobj)
{
// objにValueが定義されていなくとも、コンパイルエラーとはならない:
returnobj.Value;
}

VBやC++に実装されているオプション引数・名前付き引数が、C#でも利用できるようになった^{[a 4]} 。

publicvoidMethodA()
{
// 第1引数と第2引数を指定、第3引数は未指定:
Console.WriteLine("Ans: "+MethodB(1,2));// Ans: 3 ... 1 + 2 + 0となっている
// 第1引数と第3引数を指定、第2引数は未指定:
Console.WriteLine("Ans: "+MethodB(A:1,C:3));// Ans: 4 ... 1 + 0 + 3となっている
}
// 引数が指定されなかった場合のデフォルト値を等号で結ぶ:
publicintMethodB(intA=0,intB=0,intC=0)
{
returnA+B+C;
}

ジェネリクスの型引数に対してin、out修飾子を指定することにより、ジェネリクスの共変性・反変性を指定できるようになった^{[a 4]} 。

IEnumerable<string>x=newList<string>{"a","b","c"};
// IEnumerable<T>インターフェイスは型引数にout修飾子が指定されているため、共変である。
// したがって、C# 4.0では次の行はコンパイルエラーにならない
IEnumerable<object>y=x;

• 非同期処理 (async/await)^{[a 4]}
• 呼び出し元情報属性^{[a 4]}
• foreach の仕様変更

• 自動実装プロパティの初期化子^{[a 32]}
• get のみの自動実装プロパティおよびコンストラクタ代入^{[a 32]}
• 静的 using ディレクティブ^{[a 32]}
• インデックス初期化子^{[a 32]}
• catch/finally での await^{[a 32]}
• 例外フィルタ^{[a 32]}
• 式形式のメンバー (expression-bodied members)^{[a 32]}
• null条件演算子 ^{[a 32]}
• 文字列補間(テンプレート文字列)^{[a 32]}
• nameof 演算子^{[a 32]}
• #pragma
• コレクションの初期化子での拡張メソッド^{[a 32]}
• オーバーロード解決の改善^{[a 32]}

静的 using ディレクティブを利用することで、型名の指定無しに他クラスの静的メンバーの呼び出しを行えるようになった。利用するにはusing staticの後に完全修飾なクラス名を指定する。

usingstaticSystem.Math;
// ↑ソースコードの上部で宣言
classHogehoge{
// System.Math.Pow() , System.Math.PI を修飾無しで呼び出す
doublearea=Pow(radius,2)*PI;
}

catchの後にwhenキーワードを使用することで、処理する例外を限定することができるようになった。

try{
// ...
}
catch(AggregateExceptionex)when(ex.InnerExceptionisArgumentException){
// ...
}

• 出力変数宣言
• パターンマッチング (is 式/switch 文)
• タプル (タプル記法/分解/値の破棄)
• ローカル関数
• 数値リテラルの改善(桁セパレータ/バイナリリテラル)
• ref戻り値、ref変数
• 非同期戻り値型の汎用化
• Expression-bodied 機能の拡充(コンストラクタ/デストラクタ/get/set/add/remove)
• Throw 式

out引数で値を受け取る場合、その場所で変数宣言可能となった^{[a 33]} 。

total+=int.TryParse("123",outvarnum)?num:0;

is式の構文が拡張され、型の後ろに変数名を宣言できるようになった^{[a 33]} 。 拡張されたis式はマッチした場合に宣言した変数にキャストした値を代入し、さらにtrueと評価される。 マッチしなかった場合はfalseと評価され、宣言した変数は未初期化状態となる。

voidCheckAndSquare(objectobj){
// objの型チェックと同時にnumに値を代入する。
if(objisintnum&&num>=0){
num=num*num;
}
else{
num=0;
}
// if文の条件セクションは、ifの外側と同じスコープ
Console.WriteLine(num);
}

switch文のマッチ方法が拡張され、caseラベルに従来の「定数パターン」に加え、新たに「型パターン」を指定できるようになった。 また、「型パターン」のcaseラベルでは、when句に条件を指定することができる。 「型パターン」を含むswitch文では、必ずしも条件が排他的でなくなったため、最初にマッチしたcaseラベルの処理が実行される。^{[a 34]}

voidDecide(objectobj){
switch(obj){
caseintnumwhennum<0:
Console.WriteLine($"{num}は負の数です。");
break;
caseintnum:
Console.WriteLine($"{num}を二乗すると{num * num}です。");
break;
case"B":
Console.WriteLine($"これはBです。");
break;
casestringstrwhenstr.StartsWith("H"):
Console.WriteLine($"{str}はHから始まる文字列です。");
break;
casestringstr:
Console.WriteLine($"{str}は文字列です。");
break;
casenull:
Console.WriteLine($"nullです");
break;
default:
Console.WriteLine("判別できませんでした");
break;
}
}

タプルのための軽量な構文が導入された^{[a 33]} 。従来のSystem.Tupleクラスとは別に、System.ValueTuple構造体が新しく追加された。

2個以上の要素を持つタプルのための記法が導入された。 引数リストと同様の形式で、タプルを記述できる。

// タプル記法
(int,string)tuple=(123,"Apple");
Console.WriteLine($"{tuple.Item1}個の{tuple.Item2}");

多値戻り値を簡単に扱えるように、分解がサポートされた^{[a 33]} 。

vartuple=(123,"Apple");
// 分解
(intquantity,stringname)=tuple;
Console.WriteLine($"{quantity}個の{name}");

分解はタプルに限らない。Deconstruct()メソッドが定義されたクラスでも、分解を利用できる^{[a 33]} 。

以下に、DateTime型に分解を導入する例を示す。

staticclassDateExt{
publicstaticvoidDeconstruct(thisDateTimedateTime,outintyear,outintmonth,outintday){
year=dateTime.Year;
month=dateTime.Month;
day=dateTime.Day;
}
}

上記のコードでDateTime型にDeconstruct()拡張メソッドを定義し、

// 分解
(intyear,intmonth,intday)=DateTime.Now;

のように左辺で3つの変数に値を受け取ることができる。

分解、out引数、パターンマッチングで、値の破棄を明示するために_が利用できるようになった。 破棄された値は、後で参照することはできない。

// 年と日は使わない
(_,intmonth,_)=DateTime.Now;
// 解析結果だけ取得し、変換された値は使わない
boolisNumeric=int.TryParse(str,out_);
switch(obj){
// string型で分岐するが、値は使わない
casestring_:
// Do something.
break;
}

refキーワードの使用方法が拡張された。これによって、安全な参照の使い道が広がった。

戻り値の型をrefで修飾することで、オブジェクトの参照を戻り値とすることができる。

// 二つの参照引数の内、値の大きいものの参照戻り値を返す
staticrefintMax(refintleft,refintright){
if(left>=right){
returnrefleft;
}
else{
returnrefright;
}
}

変数の寿命は変わらないため、メソッド終了時に破棄されるローカル変数をref戻り値とすることはできない。

staticints_count=1;
// メンバーの参照はref戻り値になる。
staticrefintReturnMember(){
returnrefs_count;
}
// ref引数はもちろんref戻り値になる。
staticrefintReturnRefParam(refintsomething){
returnrefsomething;
}
// ローカル変数をref戻り値とすることはできない。
// static ref int ReturnLocal() {
// int x = 1;
// return ref x;
// }

ローカル変数の型をrefで修飾することで、参照を代入することができる。

// 参照戻り値を参照変数で受け取る
refintmax=refMax(refx,refy);
// limitとmaxは同じ値を参照する
refintlimit=refmax;

Mainメソッドの戻り値として、Task型、Task(int)型が認められた^{[a 35]} 。

staticTaskMain()

staticTask<int>Main()

型推論可能な場面では、defaultの型指定は省略可能となった^{[a 35]} 。

intnumber=default;
stringname=default;

C#7.2で追加された仕様は以下の通り^{[a 36] [a 37]} 。

値型におけるパフォーマンス向上を意図した複数の機能が追加された。

引数にinを指定することで、読み取り専用参照渡しを指定できる。 また、戻り値にref readonlyを指定することで、読み取り専用参照戻り値を指定できる。

これにより、構造体のコピーを避けると共に、意図しない値の変更を抑止できる。

構造体宣言時にreadonlyを指定することで、真の読み取り専用構造体を定義できる。 readonly構造体の全てのフィールドはreadonlyでなければならず、thisポインタも読み取り専用となる。

これにより、メンバーアクセス時の意図しない防御的コピーを抑止できる。

構造体宣言時にrefを指定することで、ヒープ領域へのコピーを防ぐ構造体がサポートされる。 ref構造体では、box化できない、配列を作成できない、型引数になることができない、など、ヒープ領域へのコピーを防ぐための厳しい制限がかかる。

この機能は、Span<T>のような構造体をサポートするために利用され、unsafe文脈以外でのstackallocの利用をも可能とする。

C#4.0で追加された名前付き引数が末尾以外でも利用できるようになった。

Hogehoge(name:"John",17);

同一アセンブリ内、かつ、継承先からのアクセス許可を表すprivate protectedアクセス修飾子が追加された。

十六進リテラルの0x、二進リテラルの0bの直後のアンダースコアが認められた。

intbin=0b_01_01;
inthex=0x_AB_CD;

C#7.3では以下の仕様が追加された^{[a 38]} 。

• ジェネリック型制約の種類の追加
  • System.Enum, System.Delegate
  • unmanaged (文脈キーワード)

unsafeclassMyGenericsClass<T1,T2,T3>
whereT1:System.Enum
whereT2:System.Delegate
whereT3:unmanaged{
publicMyGenericsClass(T1enum1,T1enum2,T2func,T3unmanagedValue){
if(enum1.HasFlag(enum2)){
func.DynamicInvoke();
}
else{
T3*ptr=&unmanagedValue;
}
}
}

• refローカル変数の再割り当て
• stackalloc初期化子
• Indexing movable fixed buffers
• カスタムfixedステートメント
• オーバーロード解決ルールの改善
• 出力変数宣言の利用箇所の追加

classMyOutVar{
// メンバー変数初期化子やコンストラクタ初期化子で出力変数宣言が可能
readonlyintx=int.TryParse("123",outvarnumber)?number:-1;
}

• タプル同士の比較

(long,long)tuple=(1L,2L);
// タプルのすべての要素間で == が比較可能
if(tuple==(1,2)){}
// 要素数が異なるタプル同士は比較できない。
//if (tuple == (1, 2, 3)) { }

• バッキングフィールドに対するAttribute指定

// C#7.2までは無効な指定(コンパイル自体は可能。無視される)
// C#7.3からはバッキングフィールドに対するAttribute指定と見なされる
[field: NonSerialized]
publicintMyProperty{get;set;}

C# 8.0で追加された仕様は以下の通り。^{[a 39] [18]}

参照型にnull許容性を指定できるようになった。参照型の型名に?を付加した場合にnull許容参照型となる。

参照型の型名に?を付加しない場合、null非許容参照型となる。

フロー解析レベルでのnull許容性チェックが行われる。null許容値型のNullable<T>のような新しい型は導入されない。

参照型のnull許容性は、null許容コンテキストによって有効、無効の切り替えが可能である。 C#7.3以前の互換性のために、既定では無効となっている。

• Nullable コンパイルオプション: プロジェクト全体でのnull許容コンテキストを指定する
• #nullable ディレクティブ: ソースコードの部分ごとにnull許容コンテキストを指定する
  • annotations オプション、warningsオプションにより、適用範囲を限定できる

null許容参照型の変数名の後に !を使用することで、フロー解析時の警告が免除される。

インタフェースのメンバーに既定の実装を指定できるようになった。また、インタフェースに静的メンバーを持つことができるようになった。

さらに、インタフェースのメンバーにアクセシビリティを指定できるようになった。

• 既定のアクセシビリティは、従来通り public となる。
• 実装があるインスタンスメンバーは、既定で virtual となり override可能である。
• 実装をoverrideさせないためにsealedを指定することができる。

switch式が追加された。 プロパティパターン、タプルパターン、位置指定パターンの追加により、再帰的なパターンマッチングが可能になった。

• switch式
• 再帰パターン
  • プロパティパターン
  • タプルパターン
  • 位置指定パターン

IAsyncEnumerable<T> インタフェースを返すことで、イテレータ構文と非同期構文の共存が可能になった。

asyncIAsyncEnumerable<int>EnumerateAsync(){
awaitTask.Delay(100);
yieldreturn1;
awaitTask.Delay(100);
yieldreturn2;
}

await foreachによって非同期ストリームを列挙する。

asyncvoidSpendAsync(){
awaitforeach(variteminEnumerateAsync()){
Console.WriteLine(item);
}
}

IndexとRangeを指定できる専用構文が追加された。

Indexa=1;// new Index(1, fromEnd: false)
Indexb=^1;// new Index(1, fromEnd: true)
Rangerange=a..b;// new Range(start: a, end: b)

• 静的ローカル関数
• null結合代入演算子
• 構造体の読み取り専用メンバー
• using 宣言
• ref構造体のDispose
• ジェネリクスを含むアンマネージ型
• 式中のstackalloc
• 文字列補間のトークン順序の緩和

C# 9.0で追加された仕様は以下の通り。

^{[a 40]}

• レコード
• プロパティのinitアクセサ
• 最上位レベルステートメント
• パターンマッチングの拡張
• new式の型推論
• 条件演算子の型推論
• 共変戻り値
• GetEnumeratorの拡張メソッド対応
• 静的匿名関数
• ラムダ式引数の破棄
• ローカル関数への属性適用
• パフォーマンスと相互運用
  • ネイティブサイズの整数型(nint nuint型)
  • 関数ポインタ(delegate*型)
  • 変数初期化フラグの抑制
• コードジェネレータのサポート
  • モジュール初期化子
  • 部分メソッドの拡張

C# 10.0で追加された仕様は以下の通り。

^{[a 41]}

• レコード構造体
• 構造体型の機能強化
• 補間された文字列ハンドラー
• global using ディレクティブ
• ファイル スコープの名前空間の宣言
• 拡張プロパティのパターン
• ラムダ式の機能強化
• const 補間文字列を許可する
• レコードの型で ToString() を封印できる
• 限定代入の機能強化
• 同じ分解で代入と宣言の両方を許可する
• メソッドで AsyncMethodBuilder 属性を許可する
• CallerArgumentExpression 属性
• 拡張 #line pragma
• 警告ウェーブ 6

C# 11.0で追加された仕様は以下の通り^{[a 14] [b 6]} 。

エスケープなどの加工を施さない文字列を3個の二重引用符で括って表現できる様になった。未加工の文字リテラルとも呼ばれる。

stringlogMsg="""
原因不明のエラーが発生しました。
詳細はログファイル"C:\Logs\exception.log"を確認してください。
""";

属性の型が型引数を持てる様になった。

// 属性
[AttributeUsage(AttributeTargets.Class, AllowMultiple = true, Inherited = true)]
publicclassConverterContractAttribute<TFrom,TTo>:Attribute{}
// 使用例
[ConverterContract<byte, string>()]
[ConverterContract<sbyte, string>()]
[ConverterContract<short, string>()]
[ConverterContract<ushort, string>()]
[ConverterContract<int, string>()]
[ConverterContract<uint, string>()]
[ConverterContract<long, string>()]
[ConverterContract<ulong, string>()]
publicclassIntToStringConverter
{
// ...
}

リストや配列に対するパターンマッチが可能になった^{[a 42] [b 11]} 。

int[]nums=new[]{0,1,2,3,4,5};
if(numsis[0,1,2,..]){
Console.WriteLine("配列は 0, 1, 2 から始まります。");
}else{
Console.WriteLine("配列は 0, 1, 2 から始まりません。");
}

また、Span<char>やReadOnlySpan<char>に対して文字列を用いたパターンマッチが可能になった。

boolCheckSignature(ReadOnlySpan<char>sig)
{
returnsigis"HOGE";
}

型引数に「数値型または数値型に類似している型」である事を示す制約を付け加える機能が導入された^{[a 43] [b 12]} 。また、それに呼応して下記の変更が行われた。

• 明示的な論理シフト演算子(>>>演算子)が追加された。
• シフト演算子の右側の引数の型に対する制限の撤廃され、int型以外の型を指定できる様になった。
• checked演算子のオーバーロードができる様になった。
• インターフェースのメソッドに対してstatic abstractキーワード(静的抽象)とstatic virtualキーワード(静的仮想)を指定できる様になった^{[a 44] [a 45]} 。
• インターフェース内に演算子を定義できる様になった。

ジェネリック型数値演算を用いた一例を下記に示す^{[a 46] [a 47]} 。

// 大抵の演算子インターフェイスは System.Numerics 内に実装されている。
usingSystem.Numerics;
// 任意の型に対して加算を行う事ができる関数。
staticTMyAdd<T>(Tvalue1,Tvalue2)
whereT:IAdditionOperators<T,T,T>// 加算が可能な型のみを受け付ける制約。
=>value1+value2;// + 演算子を使う事ができる。
// 上記の関数定義のみで、下記の様に加算演算が定義された型であれば、任意の型で呼び出す事ができる。
inta=MyAdd(123,456);// 結果:579
ulongb=MyAdd(111UL,222UL);// 結果:333
doublec=MyAdd(1.5D,2.1D);// 結果:3.6

• UTF-8 文字列リテラル
• 文字列補間式の改行
• ファイルローカル型
• 必須メンバー
• auto-default 構造体(構造体の未初期化のフィールド変数が自動的に既定値に初期化される)
• nameof のスコープ拡張
• IntPtr に別名 nint、UIntPtr に別名 nuint が付いた
• ref フィールド
• scoped ref 変数
• メソッドグループからデリゲートへの変換の改善
• 警告ウェーブ 7

C# 12.0で追加された仕様は以下の通り^{[a 17] [b 7]} 。

レコード型(record)以外のクラス(class)と構造体(struct)でプライマリコンストラクターが使えるようになった。

classExample(stringmessage)
{
publicstringMessage{get;}=message;
}

配列、コレクション、Span<T>などの初期化の記法が共通の記法([])で書けるようになった。

// Create an array:
int[]a=[1,2,3,4,5,6,7,8];
// Create a list:
List<string>b=["one","two","three"];
// Create a span
Span<char>c=['a','b','c','d','e','f','h','i'];

コレクション式で複数のコレクションをインライン展開できる新しい演算子(..)が追加された。

int[]row0=[1,2,3];
int[]row1=[4,5,6];
int[]row2=[7,8,9];
// 1, 2, 3, 4, 5, 6, 7, 8, 9,
int[]single=[..row0,..row1,..row2];

• インライン配列
• 既定のラムダ パラメーター
• 任意の型の別名設定
• ref readonly パラメーター
• 試験段階の属性
• インターセプター

C# 13.0で追加された仕様は以下の通り^{[a 21] [b 8]} 。

エスケープ文字 ^{[注釈 7]} を表すエスケープシーケンスとして\eが追加された。これに従って\x1bの使用は非推奨となった。

オブジェクト初期化子においても^演算子を用いたアクセスが可能となった。これにより、初期化子内でも配列やリストなどの末尾から値へアクセスできる。

コレクション式に対応している型であれば、引数にparams修飾子を付けられる様になった^{[b 13]} 。

// 関数定義
voidPrint(stringformat,paramsIEnumerable<object>args)
{
/* ... 任意の実装 ... */
// 例えば
Console.WriteLine(format,args.ToArray());
}
// 呼び出し
inta=2,b=3;
Print("{0} + {1} = {2}",a,b,a+b);

• メソッド グループでの自然型
• 部分プロパティ
• ref 構造体のインターフェイス実装
• OverloadResolutionPriority 属性(オーバーロードの解決優先度を変更できる)
• Lock クラスに対する lock
• イテレーター・非同期メソッド内の ref/unsafe
• インターセプター
• コレクション式の改善

C#の言語仕様は標準化団体Ecma Internationalを通じて公開・標準化されており、第三者がマイクロソフトとは無関係にコンパイラや実行環境を実装することができる^{[1] [19]} 。

現段階で、C#コンパイラの実装は次の5つが知られている。

• マイクロソフト製
  • Visual Studio 2015 以降で使用されている、.NETコンパイラプラットフォーム (コードネーム Roslyn )。ApacheライセンスのオープンソースプロジェクトでGitHubで公開されている^{[a 48]} 。Windows、macOS、Linuxで動作する。C#のコンパイラはC#、VB.NETのコンパイラはVB.NETで実装されている。以前のコンパイラと比べて、リファクタリングやIDE、スクリプティングなどへの利用が可能なAPIが公開されており、コンパイラ以外への様々な応用が可能。
  • Visual Studio 2013 まで使われていた、マイクロソフトによるVisual C# コンパイラ。
  • 2006年のC# 2.0当時の、マイクロソフトによるShared Source Common Language Infrastructure。共通言語基盤 (CLI) とC#コンパイラがソースコードで公開されている。
• Mono ProjectによるMono内の Mono Compiler Suite (mcs)。
• 2012年まで開発されていた、DotGNU ProjectによるPortable.NET内の the C-Sharp code compiler (cscc)。

• マイクロソフト
  • .NET Runtime
  • .NET Framework Runtime
• Mono Project
  • Monoランタイム
• カプコン
  • RE ENGINEに実装されている REVM ^[20]

• ECMA-334 3rd/4th/5th edition によると、C# は「C Sharp」(シーシャープ)と発音し、LATIN CAPITAL LETTER C (U+0043) の後に NUMBER SIGN # (U+0023) と書く^[21] 。 音楽のシャープ (♯, MUSIC SHARP SIGN (U+266F)) ではなくナンバーサイン (#) を採用したのは、フォントやブラウザなどの技術的な制約に加え、ASCIIコードおよび標準的キーボードには前者の記号が存在しないためである。
• "#"接尾辞は、他の.NET言語にも使用されており、J#(Javaのマイクロソフトによる実装)、A#(Adaから)、F#(System Fなどから^[22] )が含まれる。また"#"接尾辞はGtk#(GTKなどのGNOMEライブラリの.NETラッパ)、Cocoa#(Cocoa (API)のラッパ)などのライブラリにも使用されている。そのほか、SharpDevelopなどの"Sharp"を冠する関連ソフトウェアも存在する。
• C#という名称の解釈として、「(A-Gで表された)直前の音を半音上げる」という音楽記号の役割に着目し、「C言語を改良したもの」を意味したのではないか、というものがある^{[要出典 ]}。これは、C++の名称が「C言語を1つ進めたもの」という意味でつけられたことにも似ている。
• アンダース・ヘルスバーグは、「C#」が「C++++」(すなわち「C++をさらに進めたもの」)にみえるのが由来である、と語っている^{[23] [24]} 。

• 高橋 忍「C# 2.0の新しい言語仕様」『C MAGAZINE(2005年2月号)』第17巻第2号、ソフトバンク パブリッシング。 
• 山田祥寛『独習C#』(第5版)翔泳社〈独習〉、2022年7月21日。ISBN 978-4-7981-7556-0。 

• 言語仕様
  • C#の文法 (英語版)
  • C#のデータ型
  • キーワード (C#)
• 実行環境
  • .NET (旧:.NET Core)
  • .NET Framework
  • Mono
  • Xamarin
• 開発環境
  • Visual Studio
    • Visual C#
  • Visual Studio Code
  • JetBrains Rider (英語版) - ジェットブレインズ社の.NET向け統合開発環境
  • MonoDevelop - OSSの統合開発環境
    • Xamarin Studio
    • Visual Studio for Mac
  • SharpDevelop - フリーの統合開発環境
• 比較
  • C#とJavaの比較

• C# 関連のドキュメント - はじめに、チュートリアル、リファレンス。 | Microsoft Docs - 公式ウェブサイト(日本語)
• 言語仕様
  • Introduction - C# language specification | Microsoft Learn - C# 言語仕様、Microsoft Docs
  • ECMA-334 - Ecma International ECMA-334 C# 言語仕様(英語)
  • JIS X 3015 :2008「プログラム言語C#」(日本産業標準調査会、経済産業省)
• C# Compiler | Mono Mono C# コンパイラ(英語)

• プログラミング言語
• .NET
• 並行計算
• C Sharp

• 記事名の制約を受けている記事
• 出典を必要とする記述のある記事/2017年11月
• 日本語版記事がリダイレクトの仮リンクを含む記事
• 出典を必要とする記述のある記事/2018年11月
• 日本産業規格を典拠にしている記事
• BNF識別子が指定されている記事
• BNFdata識別子が指定されている記事
• GND識別子が指定されている記事
• J9U識別子が指定されている記事
• LCCN識別子が指定されている記事
• NKC識別子が指定されている記事