C# と VB.NET の質問掲示板

2008/01/05(Sat) 08:58:09 編集(投稿者)

■No12214 (ゴン太さん) に返信
> ■No12210 (Tom Yama さん) に返信
>>データ自身が、自分の型を知っているのです。
> 具体的にどのようなことなのでしょうか？
>

変数を宣言するためには、明確な型を指定していたりしたけど
代入する値(データ自身)の型から、変数の型を決定させるのです。

例
var x = 1;
var y = "string";
var z = 1.123;
以上のコードは、コンパイラが自動的に以下のように解釈してくれます。

int x = 1;
string y = "string";
double z = 1.123;

想像がつくと思いますが、
var x;
のように代入がない宣言はデータ自身の型が不明なので許されません。

どのように型推論をしているのかは、結構むずかしいです。
「型推論機構」で検索すればいいと思います。

型推論機構の実装
http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/text/miniml011.html#toc13
型代入を遅延する最適化型推論アルゴリズム
http://www.nue.riec.tohoku.ac.jp/jssst2005/papers/05097.pdf

ASP.NET、C++/CLI、Java 何でもどうぞ

C# と VB.NET の入門サイト