¿Cómo determina el compilador qué resultado devolver?

El compilador determina el tipo de valor de retorno de una función o método en función de su firma, que incluye el tipo explícitamente especificado antes del nombre del método.

Por ejemplo:

// Este método indica explícitamente que devolverá un valor entero (int)
public int GetInteger()
{
    return 42;
}

// Este método indica explícitamente que no devuelve ningún valor (void)
public void PrintMessage(string message)
{
    Console.WriteLine(message);
}

En el caso de tipificación implícita (por ejemplo, usando var), el compilador deduce el tipo de valor de retorno en función del tipo del valor devuelto por la instrucción return.

// El compilador determinará que este método devuelve un string en función del tipo de valor devuelto
public string GetString()
{
    var text = "Hello";
    return text; // text tiene tipo string, por lo tanto el método devuelve string
}

Si en un método hay varias instrucciones return, todas deben devolver valores compatibles con el tipo de retorno declarado del método.

Al usar métodos asincrónicos (async), el tipo de valor de retorno suele ser Task o Task<T>. El compilador genera automáticamente el código correspondiente para gestionar la operación asincrónica.

// Método asincrónico que devuelve Task (sin valor)
public async Task DoSomethingAsync()
{
    await Task.Delay(1000);
}

// Método asincrónico que devuelve Task<int> (valor entero)
public async Task<int> GetResultAsync()
{
    await Task.Delay(1000);
    return 123;
}