В чем разница между ключевыми словами ref и out в C#?

Основная разница между ref и out

Ключевые слова ref и out в C# используются для передачи параметров по ссылке, а не по значению. Это значит, что метод работает напрямую с оригинальной переменной, а не с её копией. Однако у них есть принципиальные различия, которые касаются инициализации, обязательности записи и семантики.

1. Инициализация до вызова

• ref: переменная должна быть инициализирована перед передачей. Вы не можете передать неинициализированную переменную через ref.
• out: переменная не обязана быть инициализирована. Компилятор разрешает передать неинициализированную переменную, так как метод гарантирует её запись.

int refVar; // Не инициализирована
MethodRef(ref refVar); // Ошибка CS0165: использование неинициализированной переменной

int outVar; // Не инициализирована
MethodOut(out outVar); // OK

2. Обязательность записи внутри метода

• ref: метод не обязан изменять переданную переменную. Вы можете прочитать её значение и оставить как есть.
• out: метод обязан присвоить значение переменной до выхода. Иначе — ошибка компиляции CS0177.

public void RefMethod(ref int x)
{
    // Можно ничего не делать — компилятор не ругается
}

public void OutMethod(out int x)
{
    // Ошибка CS0177: параметр 'x' должен быть присвоен до выхода
}

3. Семантика и назначение

• ref: используется, когда метод должен прочитать и/или изменить существующее значение. Пример: Swap(ref a, ref b) — меняет местами два числа.
• out: используется, когда метод возвращает несколько значений. Например, TryParse возвращает успех операции в bool, а результат — через out.

// ref — модификация существующего значения
public void Increment(ref int value)
{
    value++;
}

// out — возврат дополнительного результата
public bool TryParseInt(string input, out int result)
{
    return int.TryParse(input, out result);
}

4. Производительность и внутреннее устройство

С точки зрения IL-кода, ref и out идентичны — оба передают адрес переменной. Разница только на уровне компилятора C#:

• Для out компилятор добавляет атрибут [Out] и проверяет, что параметр обязательно присвоен.
• Для ref атрибутов нет, но требуется инициализация до вызова.

Производительность одинаковая, так как в обоих случаях передаётся указатель (4 или 8 байт).

5. Примеры для закрепления

// Пример с ref — модификация массива
public void ResizeArray(ref int[] arr, int newSize)
{
    Array.Resize(ref arr, newSize); // arr — ref, потому что Array.Resize меняет ссылку
}

// Пример с out — паттерн "попробуй получить значение"
public bool TryGetValue(string key, out string value)
{
    if (dictionary.ContainsKey(key))
    {
        value = dictionary[key];
        return true;
    }
    value = null;
    return false;
}

Итог: когда что использовать?

• Используйте ref, если метод должен изменить существующий объект (например, обнулить, увеличить, заменить на другой экземпляр).
• Используйте out, если метод возвращает дополнительное значение, а не модифицирует входящее (например, TryParse, TryGetValue).
• Избегайте ref для возврата нескольких значений — лучше используйте кортежи (C# 7+).

class MyClass { public int Value; }

void ChangeObject(MyClass obj)
{
    obj.Value = 10; // Изменяет оригинал
    obj = new MyClass(); // Не влияет на внешнюю переменную
}

void ChangeObjectRef(ref MyClass obj)
{
    obj.Value = 10; // Изменяет оригинал
    obj = new MyClass(); // Теперь внешняя переменная указывает на новый объект
}

public bool TryCreateInstance(string data, out MyClass result)
{
    if (string.IsNullOrEmpty(data))
    {
        result = null;
        return false;
    }
    result = new MyClass { Value = int.Parse(data) };
    return true;
}