Prečo boli v C# zavedené kľúčové slová ref a out pre referenčné typy?

Hoci sa referenčné typy odovzdávajú pomocou referencie (kopíria referencie sa odovzdáva), použitie ref alebo out umožňuje odovzdať samotnú referenciu na objekt pomocou referencie.

To môže byť užitočné v nasledujúcich prípadoch:

• Zmena inštancie objektu: umožňuje metóde zmeniť, na ktorú inštanciu objektu odkazuje premenná-argument, priradením novej inštancie.
• Implementácia metód TryParse: metóda vracia bool, ktorý indikuje úspešnosť parsovania, a výsledok sa zapisuje do argumentu out. Bez out by bolo potrebné vyvolať výnimku pri neúspechu (čo nie je vždy žiaduce), alebo vrátiť tuple.
• Efektívnosť (zriedka, ale možné): v niektorých extrémnych prípadoch, ak je objekt veľmi veľký a často ho treba meniť vo vnútri metódy, odovzdanie pomocou referencie (ref) môže byť mierne efektívnejšie ako vracanie nového objektu (hoci ide o zriedkavý scenár).

Príklad použitia ref na nahradenie inštancie:

public class MyClass
{
    public int Value { get; set; }
}

public void ReplaceObject(ref MyClass obj)
{
    obj = new MyClass { Value = 10 }; // Zmení referenciu na nový objekt
}

// ... inde v kóde
MyClass instance = new MyClass { Value = 5 };
ReplaceObject(ref instance);
// Teraz instance odkazuje na nový objekt s Value = 10

Príklad použitia out:

public bool TryParseInt(string s, out int result)
{
    // Logika parsovania
    if (int.TryParse(s, out result))
    {
        return true;
    }
    result = 0; // Priraďuje predvolenú hodnotu pri neúspechu
    return false;
}

// ... inde v kóde
int parsedValue;
if (TryParseInt("123", out parsedValue))
{
    // Úspešné parsovanie
}