Как определя компилаторът кой резултат да върне?

Компилаторът определя типа на връщаната стойност на функция или метод въз основа на подписа ѝ, който включва явно посочения тип преди името на метода.

Например:

// Този метод явно посочва, че ще върне цяло число (int)
public int GetInteger()
{
    return 42;
}

// Този метод явно посочва, че не връща никаква стойност (void)
public void PrintMessage(string message)
{
    Console.WriteLine(message);
}

При неявно типизиране (например, използване на var), компилаторът извежда типа на връщаната стойност въз основа на типа на стойността, върната от инструкцията return.

// Компилаторът ще определи, че този метод връща string въз основа на типа на върнатата стойност
public string GetString()
{
    var text = "Hello";
    return text; // text има тип string, следователно методът връща string
}

Ако в метода има няколко оператора return, всички те трябва да връщат стойности, съвместими с обявения тип на връщане на метода.

При използване на асинхронни методи (async) типът на връщане обикновено е Task или Task<T>. Компилаторът автоматично генерира съответния код за управление на асинхронната операция.

// Асинхронен метод, който връща Task (без стойност)
public async Task DoSomethingAsync()
{
    await Task.Delay(1000);
}

// Асинхронен метод, който връща Task<int> (цяло число)
public async Task<int> GetResultAsync()
{
    await Task.Delay(1000);
    return 123;
}