|
Виртуальные методы
|
|||
---|---|---|---|
#18+
Приветствую. Чисто спортивный интерес. Положим был базовой класс библиотеки, вообще говоря сторонней. И мой, унаследованный от него. Код: java 1. 2. 3. 4. 5. 6. 7. 8. 9. 10.
Код: java 1. 2. 3. 4. 5. 6. 7. 8.
В моем классе был метод M1 со своей логикой. Обновили используемую библиотеку и в ней в базовом классе тоже появился M1. Такой код Код: java 1. 2.
По идее внутри M2 дернет MyClass.M1 ? ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 00:00 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВ, Ты накрутил слов про либы и библиотеки чтобы запутать? Ты сменил код либы и тебе её надо перекомпилить. Итого либа изменилась, а не осталась прежней. Выходит полный ребилд всего и вся. Задачка на два класса без всяких "было" и "стало". Так? ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 08:45 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
PetroNotC Sharp, 1. Оно же позволит перекомпилировать? 2. Вызываться будет метод M1 наследника? ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 08:58 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВ, Сначала компилится либа с базовым. Потом охватывающий код main 2. Получаем: Код: java 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17.
Да ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 09:13 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВпозволитда. Но тогда вопрос. Какая разница что было раньше в коде если полный ребилд всего и вся? ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 09:18 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
Тогда это источник трудноуловимой ошибки, ибо метод M1 в базовом классе, может делать совсем не то, что в наследнике. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 10:32 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВТогда это источник трудноуловимой ошибки, ибо метод M1 в базовом классе, может делать совсем не то, что в наследнике. Именно поэтому наследование говно, хотя нет - ООП в целом говно. А твой пример это классическая буква O в SOLID принципах. Можешь почитать тут например ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 10:38 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВ, Когда прогер расширяет наследника методом дайДолжников() не посмотрев что в базом он уже есть, то это диагноз. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 10:49 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВ, Как у вас в шарпе всё интересно. Может твой вопрос про j#? ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 10:50 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
PetroNotC SharpЕвгенийВ, Когда прогер расширяет наследника методом дайДолжников() не посмотрев что в базом он уже есть, то это диагноз. В базовом такой метод может появиться позже. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 10:58 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
PetroNotC SharpЕвгенийВ, Как у вас в шарпе всё интересно. Может твой вопрос про j#? В великом и могучем C# не все методы виртуальные, если хочешь сделать это сознательно, помечаешь модификатором virtual. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 10:59 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВPetroNotC SharpЕвгенийВ, Когда прогер расширяет наследника методом дайДолжников() не посмотрев что в базом он уже есть, то это диагноз. В базовом такой метод может появиться позже. Предпочитайте делегацию наследованию(с) ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 11:08 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВPetroNotC SharpЕвгенийВ, Когда прогер расширяет наследника методом дайДолжников() не посмотрев что в базом он уже есть, то это диагноз. В базовом такой метод может появиться позже.опять логика от шарпа? ПОЗЖЕ означает что прогер не смотрит что ли? Я лично всю цепочку смотрю. Как жених смотрит тёщу делая предложение))) :) ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 11:13 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВ, Аааа... вспомнил. Ты опять про развитие базовой библиотеки либы если код вызова уже написан. Так что ли? ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 11:15 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВВ великом и могучема в java такое в практике просто не актуально. Когда родители испортят жизнь детям) ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 11:18 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВТогда это источник трудноуловимой ошибки, ибо метод M1 в базовом классе, может делать совсем не то, что в наследнике. Не такой уж и трудноуловимой, если использовать анализаторы типа Sonar (а их надо использовать всегда): Код: plaintext 1. 2. 3.
... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 11:21 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
betelgeizexЕвгенийВТогда это источник трудноуловимой ошибки, ибо метод M1 в базовом классе, может делать совсем не то, что в наследнике. Не такой уж и трудноуловимой, если использовать анализаторы типа Sonar (а их надо использовать всегда): Код: plaintext 1. 2. 3.
Короче, ситуация имеет место быть? Анализаторы хорошо, но если это какой нибудь админ обновляет что то и не в зуб ногой про анализаторы? ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 11:27 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВ], А вообще, для чего вы наследуетeсь от класса Base? Видимо для того, чтобы наследовать поведение базового класса, правильно? Поведение класса Base состоит в том, чтобы из метода М2 вызывать М1, при этом предполагается, что M1 может быть перекрыт в наследниках (иначе автор класса пометил бы M1 как 'final') Переопределяя (overload aka 'new') метод M1, вы тем самым ломаете вышеописанное поведение базового класса в наследнике. Это про 'L' в SOLID. А вообще всё ООП - источник трудноуловимых ошибок ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 11:37 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВ... Короче, ситуация имеет место быть? Анализаторы хорошо, но если это какой нибудь админ обновляет что то и не в зуб ногой про анализаторы? Стоп-стоп, анализаторы должны использовать не админы, а вы, при сборке проекта. И вы сразу увидите, что ваш метод нечаянно перекрыл какой-то другой метод, и переименуете свой метод. Всё. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 11:41 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
betelgeizexПоведение класса Base состоит в том, чтобы из метода М2 вызывать М1, при этом предполагается, что M1 может быть перекрыт в наследниках (иначе автор класса пометил бы M1 как 'final') Т. е. хорошая практика состоит в том, что бы помечать все public/protected методы как final, если они не предполагают переопределения? P. S. "предполагается" - это человеческий фактор, если есть малейшая возможность вляпаться, человек вляпается. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 12:09 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
betelgeizexИ вы сразу увидите,конечно. Если сам прогел страный и не знает контекст, то ide обычно варнинг шлет. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 12:28 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВbetelgeizexПоведение класса Base состоит в том, чтобы из метода М2 вызывать М1, при этом предполагается, что M1 может быть перекрыт в наследниках (иначе автор класса пометил бы M1 как 'final') Т. е. хорошая практика состоит в том, что бы помечать все public/protected методы как final, если они не предполагают переопределения? P. S. "предполагается" - это человеческий фактор, если есть малейшая возможность вляпаться, человек вляпается.на это ты не найдешь однозначного ответа. Все ставить private чтобы не вляпаться это тоже паранойя ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 12:30 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВbetelgeizexПоведение класса Base состоит в том, чтобы из метода М2 вызывать М1, при этом предполагается, что M1 может быть перекрыт в наследниках (иначе автор класса пометил бы M1 как 'final') Т. е. хорошая практика состоит в том, что бы помечать все public/protected методы как final, если они не предполагают переопределения? P. S. "предполагается" - это человеческий фактор, если есть малейшая возможность вляпаться, человек вляпается. От кривых рук никакие анализаторы не защитят Да, если метод "public final", то перекрыть (override) его не получится. Более того, не получится его и переопределить (hide) другим методом с такой же сигнатурой - в Java нет аналога 'new'. Это гарантирует, что вызывающий код всегда вызовет метод оригинального, базового класса. Так что в каждом подходе (C# vs Java) свои плюсы и минусы. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 12:35 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
betelgeizexв каждом подходе (C# vs Java) свои плюсы и минусы.+1 ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 13:09 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
PetroNotC Sharpbetelgeizexв каждом подходе (C# vs Java) свои плюсы и минусы.+1 А как бы вы сделали, если проектировали язык с нуля? ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 13:58 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВ, Не язык а языкИ. И они индивидуальны. Это только MS может проектировать один всеобщий универсальный язык. Ну, как сильверлайт типо. Царствие ему небесное. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 14:07 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
PetroNotC Sharp, Сильверлайт - это не язык. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 14:11 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВPetroNotC Sharpпропущено... +1 А как бы вы сделали, если проектировали язык с нуля? А что тут проектировать? В Scala давно всё придумали до нас: Код: java 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.
Все методы виртуальные по умолчанию, но модификатор 'override' обязателен, без него ошибка. Модификатора 'new' нет, ибо нефиг :) ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 14:25 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВPetroNotC Sharp, Сильверлайт - это не язык.я про Помыслы такие, а не про язык. Сами пОмыслы греховные у тебя) ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 14:29 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
betelgeizex А что тут проектировать? В Scala давно всё придумали до нас: Все методы виртуальные по умолчанию, но модификатор 'override' обязателен, без него ошибка. Модификатора 'new' нет, ибо нефиг :) Тоже плохо. Вызов виртуального метода дороже, чем не виртуального. А производительность и так проседает.... ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 14:48 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВPetroNotC Sharpпропущено... +1 А как бы вы сделали, если проектировали язык с нуля? Kotlin и С++ (если не забыл) обязательно требуют писать override у методов, которые перекрывают базовые. В результате обновление библиотеки сломало бы компиляцию и потребовало бы переименовать метод. По-моему правильный подход. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 14:52 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВТоже плохо. Вызов виртуального метода дороже, чем не виртуального. А производительность и так проседает.... JVM давно уже неперекрытые методы не просто делает не-виртуальными, а даже инлайнит. Предложено вроде в eiffel - там линковщик решал, что виртуальное, а что нет. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 14:53 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВА производительность и так проседает....где? ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 14:58 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВТоже плохо. Вызов виртуального метода дороже, чем не виртуального. А производительность и так проседает.... Не факт Три года назад, когда последний раз запускал VTune, у Intel процессора было > 50 независимых конвееров обращения к памяти (вычисление исполнительного адреса) Оно, конечно, считать адрес из инструкции вроде теоретически проще, но не факт, что считать из таблицы виртуальных методов практически медленнее. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 14:59 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
Производительность всегда относительно. То есть где виртуальный стал узким горлышком? Полиморфизм он вообще не для скорости. Глупо его так оценивать. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 15:03 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
PetroNotC SharpПроизводительность всегда относительно. В данном случае сравнение стоимости виртуального и не виртуального вызова. PetroNotC SharpТо есть где виртуальный стал узким горлышком? Смотря с чем сравнивать. PetroNotC SharpПолиморфизм он вообще не для скорости. Глупо его так оценивать. Речь о снижении стоимости поддержки полиморфного поведения. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 16:02 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВ, Эти слова выше просто бла бла бла ни о чем. Удачи! ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 16:14 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВbetelgeizex А что тут проектировать? В Scala давно всё придумали до нас: Все методы виртуальные по умолчанию, но модификатор 'override' обязателен, без него ошибка. Модификатора 'new' нет, ибо нефиг :) Тоже плохо. Вызов виртуального метода дороже, чем не виртуального. А производительность и так проседает.... Если для вашего приложения действительно критична скорость вызова таблицы методов, то вы просто обязаны использовать профилировщик. Профилировщик вам покажет, какие из методов требуют оптимизации. И вы этим методам проставите модификатор final (в Scala он тоже есть), это сделает методы невиртуальными и может даже заинлайнит. Вы придумываете искусственные проблемы, мне кажется :) ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 16:32 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
Just-In-time Java компилятор/оптимизатор умудряется даже виртуальные метода (без всякого final) инлайнить ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 16:35 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
Leonid KudryavtsevJust-In-time Java компилятор/оптимизатор умудряется даже виртуальные метода (без всякого final) инлайнить Тут бабка надвое сказала, дай ссылку на исследование? Какие нашел, там простейшие случаи. У JIT сильно меньше возможностей, в том же времени, по сравнении например с оптимизирующим компилятором С++ ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 21:46 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВLeonid KudryavtsevJust-In-time Java компилятор/оптимизатор умудряется даже виртуальные метода (без всякого final) инлайнить У JIT сильно меньше возможностей, в том же времени, по сравнении например с оптимизирующим компилятором С++ Это с какого перепугу? Вот тут ссылку было бы как раз неплохо. у JIT есть преимущество, потому что ему на вход поступает не только статическая(на момент компиляции) но и динамическая(как часто какой метод или цикл выполняется), так что ему все карты в руки заоптимизировать по самое небалуй. Те же полиморфик методы по дефолту JIT делает мономорфик. Если два наследника - то bimorph, а вот если уже JIT найдет третьего - тогда он деоптимизирует код и вставляет таблицу виртуальных методов ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 22:45 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВ, для сферического коня в вакууме можно идти в шарп. Все твои теоретические вопросы разбиваются о практику. Как например неудобство совпадения имен метода - ерунда. ... |
|||
:
Нравится:
Не нравится:
|
|||
08.08.2019, 23:30 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
PetroNotC SharpКак например неудобство совпадения имен метода - ерунда. Это далеко не ерунда. Мы в RichFaces в свое время наследовались от JSF абстрактных компонент, и добавляли свои методы. И вот пришел JSF 2 и поломал нам много чего, так что проблема не надумана. И это все следствие ублюдочного дизайна наследования и ООП в целом, когда твой код может аффектнуть изменение в чужом коде. ... |
|||
:
Нравится:
Не нравится:
|
|||
09.08.2019, 00:12 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
забыл никублюдочного дизайна наследования и ООПты за ФП топишь? Мы вроде выяснили что ООП нипричем. В дельфях есть слова в коде f() virtual, override ... |
|||
:
Нравится:
Не нравится:
|
|||
09.08.2019, 08:25 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
ЕвгенийВLeonid KudryavtsevJust-In-time Java компилятор/оптимизатор умудряется даже виртуальные метода (без всякого final) инлайнить Тут бабка надвое сказала, дай ссылку на исследование? Какие нашел, там простейшие случаи. Это жизнь- девиртуализируются методы, которые именют не более двух ИСПОЛЬЗУЮЩИХСЯ реализаций. Например в типичном коде при вызове методов List будет учитываться только методы ArrayList Т.е. даже если инлайна нет то вместо виртуального вызова ставится нечто вроде if (o.type == TYPE1) staticCall TYPE1.method(o) else if (o.type == TYPE2) staticCall TYPE2.method(o) else убрать_всё_нафиг_и_оптимизировать_заново ЕвгенийВУ JIT сильно меньше возможностей, в том же времени, по сравнении например с оптимизирующим компилятором С++ На разных алгоритмах разные штуки выигрывают. И дело даже не в использовании информации о реально встречающихся типах - JIT может использовать все возможности данного процессора и информацию о времени выполнения команд именно на нём (а не на абстрактном i86x64). И победить JIT можно либо компиляцией под конкретный процессор, а лучше ручными ассемблерными вставками. Но это стоит очень дорого. ... |
|||
:
Нравится:
Не нравится:
|
|||
09.08.2019, 09:31 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
Leonid KudryavtsevJust-In-time Java компилятор/оптимизатор умудряется даже виртуальные метода (без всякого final) инлайнить Я помню какой-то синтетический бенчмарк который доказывал что на виртуальных вызовах Java эффективнее С++. Причем Java там была бородатых версий. Кажется 1.5... ... |
|||
:
Нравится:
Не нравится:
|
|||
09.08.2019, 12:13 |
|
Виртуальные методы
|
|||
---|---|---|---|
#18+
Alexey Tomin.... И победить JIT можно либо компиляцией под конкретный процессор, а лучше ручными ассемблерными вставками. Но это стоит очень дорого. Победить JIT в общем-то элементарно. Но обычно с этим никто не заморачивается. Профелировал чтение тестовых строк из потока (readline, был когда-то вопрос на данном подфоруме) - предсказание переходов JIT умудрялся прос....ть полностью. Хотя, теоретически, при наличие хоть какой-то статистики времени выполнения, оптимизация предсказания переходов у JIT должна быть практически идеальной. Полно ситуаций, когда легким движением руки, легко оптимизирующийся код становится не оптимизирующимся. Код работы со стримами. Насколько помню, есть два варианта вызова forEach() один вызывает унивирсальный итератор, второй заточен под типы. В результате банальная итерация по ArrayList в одном случае работает нормально (т.к. оптимизатор выключает проверку выхода за границы массива), в другом случае - жутко тормозит. Цикл по ByteBuffer в большистве случаев аналогично, можно в цикле получить жуткие тормоза, т.к. на каждом обращении идет проверка выхода за пределы массива (практическая задача перевести строки из одной кодировки в другую, для String - оптимизатор оптимизирует, для "универсальных" вызовов /ByteBuffer в Apache HTTP Components/ нифига). Можно поискать в И-нете замеры скорости и код для быстрого преобразования String в другую кодировку.... жуть... а вроде элементарная и часто требующаяся задача ... |
|||
:
Нравится:
Не нравится:
|
|||
09.08.2019, 12:41 |
|
|
start [/forum/topic.php?all=1&fid=59&tid=2121165]: |
0ms |
get settings: |
10ms |
get forum list: |
14ms |
check forum access: |
4ms |
check topic access: |
4ms |
track hit: |
169ms |
get topic data: |
13ms |
get forum data: |
3ms |
get page messages: |
73ms |
get tp. blocked users: |
2ms |
others: | 238ms |
total: | 530ms |
0 / 0 |