Kaip kompiliatorius nustato, kokį rezultatą grąžinti?

Kompiliatorius nustato funkcijos ar metodo grąžinamosios reikšmės tipą pagal jos parašą, kuris apima aiškiai nurodytą tipą prieš metodo pavadinimą.

Pavyzdžiui:

// Šis metodas aiškiai nurodo, kad jis grąžins sveikąjį skaičių (int)
public int GetInteger()
{
    return 42;
}

// Šis metodas aiškiai nurodo, kad jis nieko negrąžina (void)
public void PrintMessage(string message)
{
    Console.WriteLine(message);
}

Jei naudojamas neaiškus tipas (pvz., naudojant var), kompiliatorius išskaičiuoja grąžinamosios reikšmės tipą pagal return instrukcijos grąžintą reikšmę.

// Kompiliatorius nustatys, kad šis metodas grąžina string, remiantis grąžintos reikšmės tipu
public string GetString()
{
    var text = "Hello";
    return text; // text turi tipą string, todėl metodas grąžina string
}

Jei metodas turi kelias return instrukcijas, visos jos turi grąžinti reikšmes, suderinamas su metodo deklaruotu grąžinimo tipu.

Naudojant asinchroninius metodus (async), grąžinimo tipas dažniausiai yra Task arba Task<T>. Kompiliatorius automatiškai generuoja tinkamą kodą asinchroninės operacijos valdymui.

// Asinchroninis metodas, grąžinantis `Task` (be reikšmės)
public async Task DoSomethingAsync()
{
    await Task.Delay(1000);
}

// Asinchroninis metodas, grąžinantis `Task<int>` (sveikasis skaičius)
public async Task<int> GetResultAsync()
{
    await Task.Delay(1000);
    return 123;
}