FO
Т-34 85
А как компилятор узнает, метод чьего класса я хочу вызвать, если он виртуальный?
можно по дальнейшему использованию детектить
Size: a a a
2020 February 27
E
Т-34 85
А как компилятор узнает, метод чьего класса я хочу вызвать, если он виртуальный?
ээ как обычно, пойдет в методтейбл -_-
А
Т-34 85
А как компилятор узнает, метод чьего класса я хочу вызвать, если он виртуальный?
виртуальные и так в рантайме
А
в этом случае уже даже не особо важно какой именно тип вывел, в рантайме всё равно нужный метод вызовется
K
Т-34 85
А как компилятор узнает, метод чьего класса я хочу вызвать, если он виртуальный?
А никак. С номинальной типизацией объектов это не сделать. Со структурной как в камле — пожалуйста. Потому я и написал, что камл может чаще выводить типы, чем F#
Т8
виртуальные и так в рантайме
А можно было при компиляции получить ошибку...
M
Т-34 85
А можно было при компиляции получить ошибку...
Это как?
Т8
А никак. С номинальной типизацией объектов это не сделать. Со структурной как в камле — пожалуйста. Потому я и написал, что камл может чаще выводить типы, чем F#
Понял
А
так
А
кто-то что-то путает
M
Если метод диспатчитться динамически
Т8
MaxGraey
Это как?
Это когда явно указываешь тип, который принимаешь
А
как раз с невиртуальными методами могут быть проблемы
M
как раз с невиртуальными методами могут быть проблемы
В рантайме?)
Т8
как раз с невиртуальными методами могут быть проблемы
Да, ты прав, перепутал
А
MaxGraey
В рантайме?)
да
А
если в двух классах-родственниках невиртуальный метод с разным поведением, плюс из-за вывода типа программист думает что вызывается метод одного класса, а на самом деле метод другого
А
но на самом деле лучше такого изначально не допускать конечно
E
если в двух классах-родственниках невиртуальный метод с разным поведением, плюс из-за вывода типа программист думает что вызывается метод одного класса, а на самом деле метод другого
1) C# покажет ворнинг если у тебя есть невиртуальные одинаковые по сигнатуре методы в иерархии, попросит тебя вручную добавить ключевое слово = подпись что ты согласен с тем, что хочешь отстрелить ногу
2) мне не ясно когда автовод может запутать программиста и вызвать не то что он хочет
2) мне не ясно когда автовод может запутать программиста и вызвать не то что он хочет
M
если в двух классах-родственниках невиртуальный метод с разным поведением, плюс из-за вывода типа программист думает что вызывается метод одного класса, а на самом деле метод другого
Обычно такое ловиться во время компиляции если конечно Overriding (не путать с Overloading) не «фича» ЯП как в Java =)