A .NET nyelvcsalád és futtatókörnyezet

1A probléma: a gép nem ért szöveget

A processzor csak gépi kódot hajt végre: az adott processzortípus saját, számokból álló utasításkészletét. A Console.WriteLine("Szia!"); sor a gépnek semmit sem jelent — valamin keresztül le kell fordítani.

Két hagyományos megoldás létezik, és mindkettőnek ára van:

A .NET (és a Java) egy harmadik utat választott: a kettő kombinációját.

2A .NET útja: két lépésben a processzorig

1. lépés — fordításkor: a C#-fordító (Roslyn) a forráskódot nem gépi kódra, hanem IL-re (Intermediate Language — köztes nyelv) fordítja. Ez egy .dll fájlba kerül. Az IL még nem kötődik processzortípushoz — „félkész”, de már gépiesen feldolgozható kód.

2. lépés — futáskor: amikor elindítod a programot, a CLR (Common Language Runtime — közös nyelvi futtatókörnyezet) betölti az IL-kódot, és a JIT-fordító (Just-In-Time — „éppen időben”) az éppen futtatandó részeket az adott gép processzorára fordítja.

3Mit csinál még a CLR? — a GC és társai

A CLR nem csak JIT-fordít. Futás közben végig ott áll a programod mögött:

A GC — a szemétgyűjtő

A GC (Garbage Collector — szemétgyűjtő) a CLR takarítója. C-ben és C++-ban a programozó kézzel kéri és adja vissza a memóriát — és ha elfelejti visszaadni, a program egyre többet fogyaszt (ez a memóriaszivárgás). C#-ban ezt a GC intézi:

1. a program objektumokat hoz létre → a CLR memóriát ad nekik;
2. egy idő után egyes objektumokra már semmi sem hivatkozik — elérhetetlenek;
3. a GC időnként végignézi a memóriát, és az elérhetetlen objektumok helyét felszabadítja.

4„Minden objektum” — a System.Object

Most, hogy tudjuk, mi fut (IL a CLR-en), kimondhatjuk a .NET-világ alaptörvényét:

Az objektumorientált világban minden objektumnak metódusai és tulajdonságai vannak, lehetnek. Látni fogjuk ezt a C#-nál is, hiszen itt tényleg minden objektum, már egy egyszerűnek tűnő adattípus is.

int szam = 42;
szam.ToString();   // "42"  — a szám szöveggé alakítja magát
szam.GetType();    // System.Int32 — megmondja a saját típusát

Az int valójában csak álnév (alias) a System.Int32 típusra — ahogy a string a System.String-re. A rövid nevet gépeljük, de a háttérben mindig a System.… típus áll.

5A nyelvcsalád: egy futtatókörnyezet, több nyelv

Az IL-nek van egy szép következménye: nem csak C#-ból lehet IL-t készíteni. A .NET-nek több nyelve van, és mindegyik ugyanarra a CLR-re fordul:

Mindhárom nyelv ugyanazt a BCL-t (Base Class Library — alaposztály-könyvtár) használja: a Console, a Math, a String, a List és társaik közösek. Amikor a tananyagban „beépített osztályt” mondunk (I blokk), mindig a BCL-ről beszélünk.

6És a Python? — összevetés azzal, amit már ismersz

A legnagyobb napi különbség a hibajelzés: C#-ban a program el sem indul, amíg a fordító hibát lát. Ez eleinte szigorúnak tűnik — valójában ajándék: a hibát te látod meg, nem a felhasználó.

7Gyakorlat — nézd meg az IL-t a saját szemeddel!

A sharplab.io oldalon C#-fordító fut a böngészőben: bal oldalra kódot írsz, jobb oldalon azonnal látod, mi készül belőle.

1. Nyisd meg a sharplab.io-t. A jobb oldali panel tetején válts IL nézetre.
2. Írd be bal oldalra:

int a = 5;
int b = 3;
System.Console.WriteLine(a + b);

3. Figyeld meg a jobb oldalt: ez az IL. Nem kell értened — ezt a három dolgot keresd meg benne:

// … részlet a generált IL-ből:
ldc.i4.5      // betölti az 5-öt
ldc.i4.3      // betölti a 3-at
add           // összeadja őket
call void [System.Console]System.Console::WriteLine(int32)

4. Változtasd az összeadást szorzásra (a * b) — figyeld, hogyan változik az IL (add → mul).

8Feladatok

9Önellenőrző kvíz

10Fogalomtár

11Összegzés