Qu'est-ce qui empêche d'utiliser la surcharge de méthodes qui ne diffère que par le type de résultat retourné?

La surcharge de méthodes ne peut pas se faire uniquement en différenciant le type de retour, car le compilateur ne peut pas déterminer de manière univoque quelle méthode appeler, en se basant uniquement sur le type de résultat de retour. Lors de l'appel d'une méthode, le compilateur regarde le nom de la méthode et les types de paramètres, mais pas le type de retour.

Par exemple, si deux méthodes existent :

func getValue() -> Int { ... }
func getValue() -> String { ... }

Lors de l'appel à getValue(), le compilateur ne pourra pas comprendre quelle version appeler, car la signature des méthodes est identique en nom et paramètres (aucuns), la seule différence étant le type de retour.

Par conséquent, pour la surcharge de méthodes, il est nécessaire de les différencier par le nombre ou les types de paramètres, et non par le type de retour.