Чем перегрузка методов отличается от ООП полиморфизма?

[Buron Hoise]

Сообщение от Stilet

Зачем?

... Ну, рантайм гибче компилтайма?

[Stilet]

Вау... Снимаю шляпу. Такого оправдания я еще не слышал. Надо будет запомнить и применять.

[Пепел Феникса]

перегрузка это фича компил тайма, и лишь выбирает какая из функций будет вызвана.
тот же int.Parse:

Parse(String) 
Parse(String, NumberStyles) 
Parse(String, IFormatProvider)
Parse(String, NumberStyles, IFormatProvider)

и во время компиляции вы однозначно должны передать какие либо параметры, и от этих параметров выберется один 4 методов для вызова.

полиморфизм же основан на интерфейсах в основном
например

interface IAnimal
{
    string Vocal();
}

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

перегрузка же во время рантайма уже не нужна в принципе. ибо ей место при компиляции.

[Buron Hoise]

Эмм, полиморфизм есть и в языках, в которых отсутствует interface_(языковая конструкция). Там это делается через классы, часто с одним абстрактным методом.

Я может быть даже согласен, что рантайм перегрузка не нужна, но я могу сказать то же самое о полиморфизме. Ну не нужен он мне, и без него прожить можно. Всё таки тьюринг-полный язык в руках держу.

Короче, я думаю о конструкциях на подобии Dog.Cat.Breed(), Dog.Breed(Cat), или Breed(Dog, Cat). И думаю, что произойдёт, если я полностью перейду на крайний правый. Скорей всего я лишусь полиморфизма. Ну и плевать.

[Stilet]

Интересно, откуда ты себе такую "проблему" намыл?

[Buron Hoise]

Какая тебе разница?

Если мне понадобится создать что-то вроде Dog.Cat.Breed(), мне нужны переменные типа var{Dog, Cat}. Или var{Animal, Animal}.

И сам метод Animal.Animal.Breed() должен либо определяться как двухмерная таблица (видели когда-нибудь одномерную, трёхмерную или четырёхмерную таблицу?) для всех возможных комбинаций типов. Либо один метод для всех типов, который просто напросто проверяет типы на равенство, и throw new Exception("Wtf are you trying to do???") при несоответствии. Кстати, в первом случае это будет компилтайм ошибка, во втором рантайм. Хотя если использовать правильные утилиты, второе также будет компилтайм ошибкой.

Не о чем говорить - говори об ООП.

[pu4koff]

[Buron Hoise]

Мы с вами на разных языках разговариваем.

[Stilet]

Какая тебе разница?

Мне интересно где могло такое извращение на компилируемом или псевдокомпилируемом ЯВУ понадобится. Ладно бы еще скриптовые и интерпретаторы - не вопрос. Но Шарпей, и такой вопрос, крошаший принципы ООП... Зачем?
Не хочешь отвечать - не надо. После твоих слив уже не интересно.
Желаю удачи и творческих узпбехов.

[Buron Hoise]

Я сюда не спорить пришёл, сливатор хренов. Хотя это было бы интересно...