Co uniemożliwia korzystanie z przeciążania metod, które różnią się tylko typem zwracanego wyniku?

Przeciążanie metod różniących się tylko typem zwracanego wyniku jest niemożliwe, ponieważ kompilator nie może jednoznacznie określić, którą metodę wywołać, opierając się wyłącznie na typie zwracanego wyniku. Podczas wywoływania metody kompilator patrzy na nazwę metody i typy parametrów, ale nie na typ zwracany.

Na przykład, jeśli istnieją dwie metody:

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

Podczas wywołania getValue(), kompilator nie będzie mógł zrozumieć, którą wersję wywołać, ponieważ sygnatury metod są takie same pod względem nazwy i parametrów (brak), a różnica występuje tylko w typie zwracanym.

Dlatego do przeciążania metod konieczne jest rozróżnianie ich po liczbie lub typach parametrów, a nie po typie zwracanym.