Checked és unchecked blokkok

Korábban említésre került, hogy a fordító túlcsordulás ügyileg ellenőrzi a számokat abban az esetben, ha a szám értékéről már fordítási időben megállapítható, hogy túl fog csordulni. Ez gyakorlatban azt jelenti nekünk, hogy fordítási hibát kapunk például az alábbi kódrészlet esetén:

byte szam = 254 + 2;

Ami miatt hibát kapunk az annak köszönhetÅ‘, hogy a kifejezés jobb oldala konstans, vagyis már fordításkor kiértékelhetÅ‘ és a 256 (254 + 2) nagyobb szám, mint a byte típus kapacitása, ami 255.

Ez az ellenörzés csak a fordítási idÅ‘ben meghatározható számokra vonatkozik. Ha futtatási idÅ‘ben is szeretnénk ezt az ellenÅ‘rzést érvényesíteni, akkor checked kód blokkban kell elvégeznünk a műveletünket. A checked kód blokk belsejében elhelyezett egész számokon végzett műveletek OverflowException típusú kivételt váltanak ki túlcsordulás esetén, amit ha nem kezelünk le kivételkezeléssel (lásd késÅ‘bb), akkor a programunk összeomlik.

LehetÅ‘ségünk van unchecked kód blokkban ezen ellenÅ‘rzés kikapcsolására. Az unchecked kód blokkban történÅ‘ műveletvégzés esetén a számok simán túlcsordulhatnak fordítási és futási idÅ‘ben is a típus által meghatározott maximum értéken.

Az alábbi kódrészlet a Checked és Unchecked kontextus használatát mutatja be:

using System;

namespace PeldaUncheckedChecked
{
    class Program
    {
        static void Main(string[] args)
        {
            unchecked
            {
                //nem okoz problémát, mert unchecked blokk
                int ertek = int.MaxValue + 100;
                checked
                {
                    try 
                    {
                        //mivel checked blokkban vagyunk kivétel
                        //fog keletkezni
                        int ertek2 = int.MaxValue;
                        ertek2 *= 2;
                    }
                    catch (OverflowException) 
                    {
                        Console.WriteLine("Tulcsordult");
                    }
                }
                Console.WriteLine(ertek);
                Console.ReadKey();
            }
        }
    }
}

A program kimenete:

Tulcsordult
-2147483549

A fenti példában az érték futtatás közben egy negatív szám lesz. Ez amiatt következik be, mert az int.MaxValue mezÅ‘ az int típus maximális értékét tárolja. Itt még az elÅ‘jel bit 0 értékű. Viszont ha ehhez hozzáadunk 100-at, akkor a szám már nem fér el a tartományon, ezért az elÅ‘jel bit a túlcsordulás következtében átbillen 1 értékre.

Az ertek2 kiértékelésekor OverflowException kivétel keletkezik, mint látható a példából. Az unchecked kulccszót nem kell minden esetben kiírnunk a programunkban, mivel az alapértelmezett működés az, hogy futási idÅ‘ben nincs egész számok esetén túlcsordulás ellenÅ‘rzés. Az unchecked blokknak akkor van jelentÅ‘sége, ha egy amúgy checked blokkon belül szeretnénk olyan számítást végezni, ahol nem baj a túlcsordulás.