変数宣言時の型推論

ウィキペディア小見出し辞書

変数宣言時の型推論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 09:09 UTC 版)

「型推論」の記事における「変数宣言時の型推論」の解説

C#はバージョン3.0にて、varキーワードを用いたローカル変数の宣言時型推論を導入した。制約のひとつとして、宣言時初期化を伴う必要がある。for文、foreach文、using文のスコープ変数にも利用できる。宣言時初期化文の右辺がメソッドグループや匿名関数（ラムダ式および匿名メソッド）の場合には適用できない。 // 型推論を用いない書き方。string s1 = "文字列";System.Console.WriteLine(s1.GetType()); // System.String// 型推論を用いた書き方。var s2 = "文字列";System.Console.WriteLine(s2.GetType()); // System.Stringvar now = System.DateTime.Now;System.Console.WriteLine(now.GetType()); // System.DateTimenow = s2; // コンパイルエラー。var action1 = () => {}; // コンパイルエラー。var action2 = delegate() {}; // コンパイルエラー。var action3 = System.GC.Collect; // コンパイルエラー。var action4 = new System.Action(() => {});System.Action action5 = () => {};var dict = new System.Collections.Generic.SortedDictionary { {"Bravo", 0}, {"Alpha", 1}, {"Charlie", 2} };foreach (var entry in dict) { //System.Diagnostics.Debug.Assert(entry is System.Collections.Generic.KeyValuePair); System.Console.WriteLine("Key={0}, Value={1}", entry.Key, entry.Value);} この書き方はJavaScriptなど動的型付けの言語に非常によく似ているが、しかしながらすべての型はコンパイル時に定められる。また、バリアント型（英語版）とは異なり、実行時に再代入によって変数の中身の型が変わるようなことはない。 ラムダ式の仮引数の型を省略した場合も型推論が働く。戻り値の型は常に型推論によって決定される。 // ラムダ仮引数の型推論を用いない書き方。System.Func func1 = (double x) => x * x;// ラムダ仮引数の型推論を用いた書き方。System.Func func2 = (x) => x * x; Javaはバージョン8にてラムダ式を導入したが、C#同様に仮引数の型を省略すると型推論が働く。バージョン10にて、予約型名varによるローカル変数の宣言時型推論を導入した。バージョン11にて、ラムダ式の仮引数の型推論にもvarを使えるようになった。 C++はC++11規格にて、キーワードautoおよびdecltypeによる一部の変数の宣言時型推論を導入した。適用可能範囲はC#やJavaよりも広い。後継規格のC++14以降ではさらに適用可能範囲が広がっている。 namespace { auto g_variable = 0.0; // double struct MyType { static const auto s_variable = 0L; // long };}int main() { auto n = 0; // int decltype(n)* p1 = &n; // int* decltype(&n) p2 = &n; // int* decltype(n)& r1 = n; // int& decltype((n)) r2 = n; // int& auto f = []() {}; // コンパイラが生成する関数オブジェクト（クロージャ）型。}