Dlaczego w języku C# wprowadzono słowa kluczowe ref i out dla typów referencyjnych?

Chociaż typy referencyjne są przekazywane przez referencję (przekazywana jest kopia referencji), użycie ref lub out pozwala na przekazanie samej referencji do obiektu przez referencję.

Może to być przydatne w następujących przypadkach:

• Zmiana instancji obiektu: pozwala metodzie zmienić, na którą instancję obiektu odwołuje się zmienna-argument, przypisując jej nową instancję.
• Implementacja metod TryParse: metoda zwraca bool, wskazujący na sukces parsowania, a wynik jest zapisywany w argumencie out. Bez out trzeba by rzucać wyjątek w przypadku niepowodzenia (co nie zawsze jest pożądane), lub zwracać krotkę.
• Wydajność (rzadko, ale może się zdarzyć): w niektórych ekstremalnych przypadkach, gdy obiekt jest bardzo duży i często musi być wymieniany wewnątrz metody, przekazywanie przez referencję (ref) może być nieznacznie bardziej wydajne niż zwracanie nowego obiektu (choć jest to rzadki scenariusz).

Przykład użycia ref do zamiany instancji:

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

public void ReplaceObject(ref MyClass obj)
{
    obj = new MyClass { Value = 10 }; // Zmienia referencję na nowy obiekt
}

// ... gdzie indziej w kodzie
MyClass instance = new MyClass { Value = 5 };
ReplaceObject(ref instance);
// Teraz instance odnosi się do nowego obiektu z Value = 10

Przykład użycia out:

public bool TryParseInt(string s, out int result)
{
    // Logika parsowania
    if (int.TryParse(s, out result))
    {
        return true;
    }
    result = 0; // Przypisanie wartości domyślnej w przypadku niepowodzenia
    return false;
}

// ... gdzie indziej w kodzie
int parsedValue;
if (TryParseInt("123", out parsedValue))
{
    // Udane parsowanie
}