Rust vs C++ , очередная шляпа

Цитата JoeUser @ 10.07.18, 16:18

- извини за мой французский ... не оптимизатора - а говнятора! зачем деспетчировать функции, которые в этом не нуждаются?! Это вопрос оптимизатора?

В зависимости от того, что ты понимаешь под этим процессом и в зависимости от того, что ты понимаешь под функциями, которые в нём не нуждаются, будут даны разные ответы

Добавлено 10.07.18, 16:39

Цитата JoeUser @ 10.07.18, 16:18

И я нахожу это! А "они" - нет

Кто эти самые "они" и почему ты не задаёшь свои странные вопросы им?

Цитата OpenGL @ 10.07.18, 16:38

В зависимости от того, что ты понимаешь под этим процессом и в зависимости от того, что ты понимаешь под функциями, которые в нём не нуждаются, будут даны разные ответы

Ахтунг! Ахтунг! Ахтунг! Демагогия - детектед!!!

Цитата OpenGL @ 10.07.18, 16:38

Кто эти самые "они" и почему ты не задаёшь свои странные вопросы им?

Эти странные парни - из параллельной вселенной, слушают левой ногой ... и ходят медленно

Сообщение отредактировано: JoeUser - 10.07.18, 17:07

Цитата JoeUser @ 10.07.18, 12:41

Цитата D_KEY @ 10.07.18, 11:12

Ты думаешь, что Impl'ы как-то иначе устроены?

Это я чисто напомнить суть разговора, перевожу: "impl'ы всегда создают косвенные вызовы".

Перевод-то неверный. Даже плюсовые виртуальные функции не всегда создают косвенные вызовы
Trait'ы и Impl'ы в случае динамической диспетчеризации ведут себя как виртуальные функции, о чем прямо написано по твоей ссылке.

Цитата JoeUser @ 10.07.18, 16:49

Ахтунг! Ахтунг! Ахтунг! Демагогия - детектед!!!

То есть узнать от собеседника конкретику, чтобы не рассуждать о сферах в вакууме - демагогия? Ну лаааадно, пусть будет так

Цитата D_KEY @ 10.07.18, 17:11

Перевод-то неверный. Даже плюсовые виртуальные функции не всегда создают косвенные вызовы

А-би-сь-ня-ю!
Это бывает тогда, когда компайлер распознает тип при вызове. И даже линкер тут не при чем! Компайлер понял - идет явная инициализация типа предопределенной константой, к примеру, и усе ... Тут действительно VMT не нужнен, вернее - может быть просчитан. А вот если создаем массив (или вектор) указателей на объекты разных классов ... тут только от тебя асм-пруф! И слышать ничего не желаю!

Цитата D_KEY @ 10.07.18, 17:11

Trait'ы и Impl'ы в случае динамической диспетчеризации ведут себя как виртуальные функции, о чем прямо написано по твоей ссылке.

Так я и не спорю! Ты просто сказал типа "вcегда" (т.е. и при динамической и при статической) - меня это и вштырило

Добавлено 10.07.18, 17:28

Цитата OpenGL @ 10.07.18, 17:25

То есть узнать от собеседника конкретику, чтобы не рассуждать о сферах в вакууме - демагогия? Ну лаааадно, пусть будет так

Не нужно узнавать, вдаваться в подробности, уточнять настроение и скорость ветра ... нужно просто привести пруфы в коде! Утверждаешь - не спрашивай, доказывай, аргументируй! Или спросишь опять, к примеру, а в какое время?

Цитата JoeUser @ 10.07.18, 17:26

Не нужно узнавать, вдаваться в подробности, уточнять настроение и скорость ветра ... нужно просто привести пруфы в коде! Утверждаешь - не спрашивай, доказывай, аргументируй! Или спросишь опять, к примеру, а в какое время?

Привести пруфы на что именно? Всё, что я утверждал до этого, в каких-либо особых пруфах не нуждается - это всего-навсего элементарная логика и немного базовых знаний. Если тебе не хватает одного из этих компонентов - ну я бессилен

D_KEY я приведу пример почти эталонного ответа Почти - потому что он был вопросом, хотя по делу! А вот если был бы пруфом с линком на доку ... ты бы мог быть Великим Сенсеем:

Цитата D_KEY @ 05.07.18, 17:12

А как же Box<T>, Rc<T>, Ref<T>, RefMut<T> и т.п.?

Цитата OpenGL @ 10.07.18, 17:35

элементарная логика и немного базовых знаний

Именно на этом строятся Стандарты? Ога?
Вычеркиваем текст стандарта C++1х, добавляем немножко элементарной логики от OpenGL и ... Qraizer неспешно идет совершать сеппуку

Цитата JoeUser @ 10.07.18, 17:44

Цитата OpenGL @ 10.07.18, 17:35

элементарная логика и немного базовых знаний

Именно на этом строятся Стандарты? Ога?
Вычеркиваем текст стандарта C++1х, добавляем немножко элементарной логики от OpenGL и ... Qraizer неспешно идет совершать сеппуку

И этот человек ещё кого-то в демагогии обвиняет Не, я пас, пожалуй - так и живот от смеха порвать недолго

Цитата OpenGL @ 10.07.18, 17:35

в каких-либо особых пруфах не нуждается

Упс ... Я просил пруфы. Но ты уверен - они мне не нужны.
Делаю вывод - что ты знаешь лучше меня то, что именно мне нужно.
Занавес!

Цитата OpenGL @ 10.07.18, 17:46

И этот человек ещё кого-то в демагогии обвиняет

Блина ... да я просто прошу меньше слов и больше доказательства в виде кода! Стопицотраз прошу.
Лан напишу, чтобы было виднее ...

OpenGL, хватит трещать попусту - жду доказательства в виде кода!

Так видно? Или опять вопросы?

Скрытый текст

Цитата JoeUser @ 10.07.18, 17:44

И этот человек ещё кого-то в демагогии обвиняет

И этот прием мы знаем - называется "аргумент к личности".

Не надо обсуждать меня! Обсуждай тему.

Цитата JoeUser @ 10.07.18, 16:10

Если компайлер "агрицца" на виртуальный метот неразвернутого шаблона - это плохой компайлер! ИМХО, он должен сперва развернуть все, и только потом - строит код. Низачот!

Он был бы плохим, если б не делал некоторых вещей на "всякий случай" из-за того, что у него нет полной информации. К примеру, он вынужден всегда вставлять в объектный код вызываемую версию подставляемой функции, если только она не с внутренним связыванием, даже притом, что все её вызовы он смог встроить. Если он этого не сделает, то в некой единице трансляции, где он вынужден будет её вызвать, например, если точки её определения и объявления не совпадают, линкер при сборке приложения запросто может столкнуться с неопределённым символом.
Та же проблема с виртуальными методами шаблонных классов. Компилятор не обязан и не должен инстанцировать код шаблонных функций и методов шаблонных классов, если они не используются. Но виртуальные методы всегда используются хотя бы раз: нужно заполнить VMT. А будет ли или нет этот метод реально задействован в программе, станет известно лишь во время её исполнения.

Сообщение отредактировано: Qraizer - 12.07.18, 13:33

Qraizer, да, в такой постановке вопроса - резонно строить VMT. Но, согласись, в плане обсуждения реализации impl блоков Раста - такая ситуация может быть как частный случай, но не как правило, следуя логике. Или я не прав?

Цитата JoeUser @ 10.07.18, 17:51

OpenGL, хватит трещать попусту - жду доказательства в виде кода!

Я вот тему перечитал, но так и не понял доказательств чего ты хочешь
Что оптимизатор/говнятор компилятора Rust умнее/тупее такового у компилятора C++ (какого из них?)?

Сообщение отредактировано: applegame - 11.07.18, 06:25

Сообщение №21. Утверждение о том, что в Расте всегда будут создаваться VMT.