Comment le compilateur détermine-t-il quel résultat renvoyer?

Le compilateur détermine le type de la valeur de retour d'une fonction ou méthode en fonction de sa signature, qui inclut le type explicitement indiqué avant le nom de la méthode.

Par exemple :

// Cette méthode indique explicitement qu'elle renverra une valeur entière (int)
public int GetInteger()
{
    return 42;
}

// Cette méthode indique explicitement qu'elle ne renvoie aucune valeur (void)
public void PrintMessage(string message)
{
    Console.WriteLine(message);
}

En cas de typage implicite (par exemple, en utilisant var), le compilateur déduit le type de la valeur de retour en fonction du type de la valeur renvoyée par l'instruction return.

// Le compilateur déterminera que cette méthode renvoie un string en fonction du type de la valeur renvoyée
public string GetString()
{
    var text = "Hello";
    return text; // text a le type string, donc la méthode renvoie un string
}

Si une méthode comporte plusieurs instructions return, toutes doivent renvoyer des valeurs compatibles avec le type de retour déclaré de la méthode.

Lors de l'utilisation de méthodes asynchrones (async), le type de valeur de retour est généralement Task ou Task<T>. Le compilateur génère automatiquement le code approprié pour gérer l'opération asynchrone.

// Méthode asynchrone renvoyant Task (sans valeur)
public async Task DoSomethingAsync()
{
    await Task.Delay(1000);
}

// Méthode asynchrone renvoyant Task<int> (valeur entière)
public async Task<int> GetResultAsync()
{
    await Task.Delay(1000);
    return 123;
}