Kako kompajler određuje koji rezultat da vrati?

Kompajler određuje tip vraćene vrednosti funkcije ili metode na osnovu njenog potpisa, koji uključuje eksplicitno naveden tip pre imena metode.

Na primer:

// Ova metoda eksplicitno navodi da će vratiti celobrojnu vrednost (int)
public int GetInteger()
{
    return 42;
}

// Ova metoda eksplicitno navodi da ne vraća nikakvu vrednost (void)
public void PrintMessage(string message)
{
    Console.WriteLine(message);
}

U slučaju nejasnog tipa (npr. korišćenjem var), kompajler zaključuje tip vraćene vrednosti na osnovu tipa vrednosti vraćene instrukcijom return.

// Kompajler će odrediti da ova metoda vraća string na osnovu tipa vraćene vrednosti
public string GetString()
{
    var text = "Hello";
    return text; // text ima tip string, pa metoda vraća string
}

Ako metoda ima više return naredbi, sve one moraju vraćati vrednosti kompatibilne sa deklarisanim tipom vraćanja metode.

Kod korišćenja asinhronih metoda (async), tip vraćanja je obično Task ili Task<T>. Kompajler automatski generiše odgovarajući kod za upravljanje asinhronom operacijom.

// Asinhrona metoda koja vraća Task (bez vrednosti)
public async Task DoSomethingAsync()
{
    await Task.Delay(1000);
}

// Asinhrona metoda koja vraća Task<int> (celobrojna vrednost)
public async Task<int> GetResultAsync()
{
    await Task.Delay(1000);
    return 123;
}