Почему языки не допускают перегрузку методов по возвращаемому значению?

Question

c, java и многие другие языки не обращают внимания на возвращаемые значения.

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

Почему не является законным? Сложнее ли программировать

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

Трудно ли написать компилятор? есть ли более однозначная формулировка языка? Есть ли язык, который может сделать выше?

Answer 1

Скажем, это было позволено, что бы этот вызов:

func(); 

Это не пусть полный ответ, но я считаю, что это одна из причин, почему это не законно.

Answer 2

Как насчет этого случая?

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?! 

Есть уже проблемы с неопределенностью, когда вы позволяете перегрузку одного имени функции, которые принимают разные аргументы. Необходимость проверять тип возвращаемого значения также, вероятно, сделает решение правильной функции намного сложнее.

Я уверен, что язык может реализовать это, но это сделает вещи намного сложнее и, как правило, сделает код более сложным для понимания.

Answer 3

Например C++, рассмотрим:

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

Какой из перегруженных g() функций будет называться?

Answer 4

Большинство языков допускают операции смешанного режима с автоматическим принуждением (например, float + int), где допускаются множественные интерпретации. Без принуждения работа с несколькими числовыми типами (короткий, int, long, float, double) станет очень громоздкой; с принуждением, основанное на возврате тип disambigation приведет к трудно понятному коду.

Answer 5

Разрешение этих проблем может вызвать проблемы. Например:

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; } 

Это неоднозначно.

Answer 6

Perl допускает определенную степень вариации типа возврата, поскольку функции могут определять, в каком контексте они оцениваются. Например, функция, которая может возвращать массив, может видеть, что она выполняется в скалярном контексте, и просто верните предполагаемую длину напрямую, экономя выделение и инициализацию массива только для того, чтобы получить его длину.

Answer 7

Да, разрешая перегрузку по типам возврата, усложняет язык. Это усложняет решение перегруженных идентификаторов (например, имена функций). Но это невозможно, например. Haskell позволяет перегружать функцию на основе возвращаемого типа.

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

Num класс типа в Haskell с методом, который называется fromInteger, который является функцией от произвольного размера Integer до произвольного типа, который имеет экземпляр Num. Механизм класса типа Haskell довольно отличается от концепции класса объектно-ориентированных языков. Поэтому мое объяснение может показаться странным.

Но в результате я могу использовать функцию fromInteger и, в зависимости от вызывающего контекста, различные реализации chooen во время компиляции.

Существует целая серия исследований систем типа, которые сделали эту функцию возможной. Поэтому я бы сказал, что это выполнимо в статически типизированных языках. Динамически типизированные языки либо потребуют путешествия во времени, либо некоторые умные идеи.

Answer 8

Чтобы избежать двусмысленности.

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

a(b()) -- Which b? 

Здесь тип вывода имеет циклическую зависимость. Какой b зависит от того, a, но который a зависит от того, b, так что он застревает.

Запрет перегрузки возвращаемых типов гарантирует, что вывод типа ацикличен. Тип возвращаемого значения всегда может определяться типами параметров, но типы параметров не могут определяться возвращаемым типом, поскольку они могут, в свою очередь, определяться типами параметров, которые вы пытаетесь найти.