Jak kompilator decyduje, jaki wynik zwrócić?

Kompilator określa typ zwracanego przez funkcję lub metodę na podstawie jej sygnatury, która zawiera jawnie określony typ przed nazwą metody.

Na przykład:

// Ta metoda jawnie wskazuje, że zwróci wartość typu int
public int GetInteger()
{
    return 42;
}

// Ta metoda jawnie wskazuje, że nie zwraca żadnej wartości (void)
public void PrintMessage(string message)
{
    Console.WriteLine(message);
}

W przypadku niejawnej typizacji (np. użycie var), kompilator wywnioskuje typ zwracanego wyniku na podstawie typu wartości zwróconej przez instrukcję return.

// Kompilator określi, że ta metoda zwraca string na podstawie typu zwróconej wartości
public string GetString()
{
    var text = "Hello";
    return text; // text ma typ string, więc metoda zwraca string
}

Jeśli w metodzie występuje kilka instrukcji return, wszystkie muszą zwracać wartości zgodne z zadeklarowanym typem zwracanym przez metodę.

Przy użyciu metod asynchronicznych (async) typ zwracanego wyniku zwykle to Task lub Task<T>. Kompilator automatycznie generuje odpowiedni kod do obsługi operacji asynchronicznych.

// Asynchroniczna metoda zwracająca Task (bez wartości)
public async Task DoSomethingAsync()
{
    await Task.Delay(1000);
}

// Asynchroniczna metoda zwracająca Task<int> (wartość całkowita)
public async Task<int> GetResultAsync()
{
    await Task.Delay(1000);
    return 123;
}