Lorsque vous définissez une variable locale, vous précisez dans la partie gauche de la déclaration le type de la variable. Généralement, comme vous initialisez aussitôt la variable, l'initialisation se trouvant sur la partie droite est aussi typée. Il y a une sorte de redondance dans l'écriture. Il apparaît évident que la partie droite de la déclaration est suffisante pour définir le type de la variable. C# 3.0 évolue dans la simplification de l'écriture en remplaçant le typage de la partie gauche de la déclaration-initialisation par le mot clé « var ». La simplification d'écriture n'est pas la raison réelle puisque celle-ci aurait pu intervenir dès C# 2.0. Après en avoir parlé autour de moi, les raisons pourraient être par exemple que l'usage de la bibliothèque Linq introduit des définitions de type très compliquées contenant des génériques. Mais la raison la plus indispensable est de pouvoir référencer les types anonymes nouvellement introduit dans C# 3.0. Ces derniers feront l'objet d'un prochain article mais en attendant, pour plus d'information, je vous invite à consulter les différents liens proposés en conclusion du présent article. Ainsi, le compilateur c# prend désormais en charge la déduction du type de la variable en fonction de la valeur immédiatement affectée. La syntaxe suivante : peut s'écrire :
On peut évidemment se demander si le code IL varie. La réponse est non comme le montre l'exemple d'une initialisation de variable dans la méthode Main d'une application Console :
Pour les deux syntaxes de déclaration et d'initialisation de variables ci-dessus, le code IL est strictement le même. Les non-initiés à l'IL pourront le vérifier via l'utilitaire Reflector. Le code renvoyé par celui-ci en ayant écrit notre code avec le mot clé « var » est le suivant :
Si vous vous amusez à réaliser quelques déclarations et initialisations de variables locales via le mot clé « var », vous vous apercevrez très vite que l'équipe en charge de « l'IntelliSense » dans Visual Studio a réalisé de véritables prouesses !
Sans qu'il soit nécessaire de compiler, Visual Studio est en mesure de déduire le type d'une variable à partir d'une expression qui peut être très complexe. Cette faculté sert énormément lors de l'usage du requettage Linq. L'implémentation des types implicites va jusqu'à la possibilité de gérer les pointeurs et même dans l'usage des boucles « for » et « foreach » comme en témoigne le code ci-dessous :