Возврат вводит подобный языкам C полиморфизм

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

string s = foo();    //foo returns a string
double x = foo();    //foo returns a double
int i = foo();       //foo returns an integer
float f = (float)(int)foo();    //call the int foo and convert to float

кроме того,

Animal a = fooFactory();    //fooFactory returns an Animal
Plant p = fooFactory();     //foofactory returns a Plant

эти ситуации не подходят очень часто, но когда они делают обходное решение часто довольно ужасно...

double x = (double)foo();

Вышеупомянутое неоднозначно, если существуют версии нечто (), который может возвратиться дважды, интервал, плавание, и т.д.

В C++ можно сделать это с классами в большой степени. Например, скажите, что у меня есть тип данных, который обычно преобразовывается в ASCII на вводе и выводе;

typedef char* pchar;

class   MyType
{
public:

 operator pchar() { return(ConvertToASCII()); }
 MyType& operator=(char* input) { ConvertFromASCII(input); return(*this); }

 pchar ConvertToASCII();
 void ConvertFromASCII(pchar ASCII);
}

Этот тип вещи часто используется в платформах C++. Например, взгляните на implmentation класса CString MFC. По моему скромному мнению, это - очень полезный инструмент, хотя опасный при определенных обстоятельствах.

Из-за автопреобразования типов не очевидно знать, какую функцию вызвать, когда типы возврата близки.