¿Por qué los idiomas no permiten la sobrecarga de métodos por valor de retorno?

Question

c, Java y muchos otros idiomas no prestan atención a los valores de devolución.

int i = func() 
float f = func() 
int func() { return 5 } 
float func() { return 1.3} 

¿Por qué no es legal lo anterior? ¿Es más difícil programar

int i = func(func(func(func2(func3())))) //you dont know what you are getting 

¿Es difícil escribir un compilador? ¿hay más lenguaje sin ambigüedad? ¿Hay algún lenguaje que pueda hacer lo anterior?

Answer 1

Digamos que se permitió que uno lo haría esta llamada:

func(); 

que tal vez no el la respuesta completa, pero creo que es una de las razones por las que no es legal.

Answer 2

¿Qué pasa con este caso?

class A implements Foo { /*...*/ } 
class B implements Foo { /*...*/ } 

A func() { return new A(); } 
B func() { return new B(); } 

Foo v = func(); // which do you call?! 

Ya existen problemas con la ambigüedad cuando se permite la sobrecarga de un solo nombre de función que toma diferentes argumentos. Tener que verificar también el tipo de retorno probablemente haría que resolver la función correcta sea mucho más difícil.

Estoy seguro de que un lenguaje podría implementar eso, pero haría las cosas mucho más complicadas, y generalmente haría el código más difícil de entender.

Answer 3

Por ejemplo, un C++, tenga en cuenta:

void g(int x); 
void g(float x); 
g(func()); 

¿Cuál de las funciones sobrecargadas g() se llamaría?

Answer 4

La mayoría de los idiomas permiten operaciones de modo mixto con coerción automática (por ejemplo, float + int), donde las interpretaciones múltiples son legales. Sin coerción, trabajar con múltiples tipos numéricos (corto, int, largo, flotante, doble) se volvería muy engorroso; con la coacción, la desambiguación basada en el tipo de retorno llevaría a un código difícil de entender.

Answer 5

Permitir esto puede presentar problemas. Por ejemplo:

int i = func2(func()); 
int func() { return 5; } 
float func() { return 1.3; } 
int func2(float a) { return a; } 
int func2(int a) { return a; } 

Esta es ambigua.

Answer 6

Perl permite un cierto grado de variación del tipo de retorno, ya que las funciones pueden indicar en qué tipo de contexto están siendo evaluadas. Por ejemplo, una función que puede devolver una matriz puede ver que se está ejecutando en un contexto escalar. y simplemente devuelve la longitud putativa directamente, ahorrando la asignación e inicialización de la matriz solo para obtener su longitud.

Answer 7

Sí, permitir la sobrecarga en los tipos de devolución complica un idioma. Esto complica la resolución de identificadores sobrecargados (por ejemplo, nombres de funciones). Pero no es imposible, p. Haskell permite sobrecargar la función según su tipo de devolución.

class Num a where 
    fromInteger :: Integer -> a 
    ... 

Num es una clase de tipos en Haskell con un método llamado fromInteger que es una función de un tamaño arbitrario Integer a un tipo arbitrario, que tiene una instancia de Num. El mecanismo de clase de tipo Haskell es bastante diferente del concepto de clase de lenguajes orientados a objetos. Por lo tanto, mi explicación puede sonar extraña.

Pero, el resultado es que puedo usar la función fromInteger y, dependiendo del contexto de la llamada, se ejecutan diferentes implementaciones en tiempo de compilación.

Existe toda una línea de investigación sobre sistemas tipo, que hizo posible esta función. Por lo tanto, diría que es factible en lenguajes tipados estáticamente. Los lenguajes con tipado dinámico requerirían viajes en el tiempo o algunas ideas inteligentes.

Answer 8

Para evitar ambigüedades.

a(int) 
a(bool) 
int b() 
bool b() 

a(b()) -- Which b? 

Aquí, la inferencia tiene una dependencia cíclica. Cuál b depende de qué a, pero a depende de qué b, por lo que se atasca.

No permitir la sobrecarga de los tipos de retorno garantiza que la inferencia de tipo sea acíclica. El tipo de retorno siempre puede ser determinado por los tipos de parámetros, pero los tipos de parámetros no pueden ser determinados por el tipo de retorno, ya que a su vez pueden ser determinados por los tipos de parámetros que está tratando de encontrar.