Ako určuje prekladač, ktorý výsledok vráti?

Kompilátor určuje typ vrátenej hodnoty funkcie alebo metódy na základe jej podpisu, ktorý obsahuje výslovne uvedený typ pred názvom metódy.

Napríklad:

// Táto metóda výslovne uvádza, že vráti celé číslo (int)
public int GetInteger()
{
    return 42;
}

// Táto metóda výslovne uvádza, že nevráti žiadnu hodnotu (void)
public void PrintMessage(string message)
{
    Console.WriteLine(message);
}

V prípade nejasného typu (napríklad použitie var), kompilátor odvodí typ vrátenej hodnoty na základe typu hodnoty, ktorá je vrátená inštrukciou return.

// Kompilátor určí, že táto metóda vráti string na základe typu vrátenej hodnoty
public string GetString()
{
    var text = "Hello";
    return text; // text má typ string, takže metóda vráti string
}

Ak má metóda viacero príkazov return, všetky musia vracať hodnoty kompatibilné s deklarovaným typom návratu metódy.

Pri používaní asynchrónnych metód (async) je typ návratu zvyčajne Task alebo Task<T>. Kompilátor automaticky generuje vhodný kód na správu asynchrónnej operácie.

// Asynchrónna metóda, ktorá vracia Task (bez hodnoty)
public async Task DoSomethingAsync()
{
    await Task.Delay(1000);
}

// Asynchrónna metóda, ktorá vracia Task<int> (celé číslo)
public async Task<int> GetResultAsync()
{
    await Task.Delay(1000);
    return 123;
}