D vs C++ , почти сурковская пропаганда: не пора ли C++ потихоньку готовиться к пенсии?

[Qraizer]

Цитата OpenGL @ 04.07.17, 14:23

А если у тебя в захвате переменная, содержащая данные в куче - она не скопируется что ли?

У них же классы представлены ссылочной семантикой. Бред, конечно, но они привыкли. Пусть порадуются, чё.

[applegame]

Цитата D_KEY @ 04.07.17, 14:20

Показывай тесты производительности и расхода памяти. Чего зря болтаешь?

Ну разве что синтетику какую-нибудь попробовать.

Цитата OpenGL @ 04.07.17, 14:23

Не понял. А если у тебя в захвате переменная, содержащая данные в куче - она не скопируется что ли?

Скопируется при создании лямбды, а при копировании этой лямбды (например при передаче в функцию или сохранении в переменной) замыкания копироваться не будут. А разве должны?

Цитата JoeUser @ 04.07.17, 14:08

Я вот задумался Рано или поздно "новый" GCC (с поддержкой DLang) перекочует в mingw32. Сейчас в библиотеках runtime и phobos есть ошибки, приводящие к невозможности кросс-компиляции. На сколько я правильно разобрался - ошибки из-за неверно расставленных условий компиляции (нет понятия "целевой платформы", есть понятие используемой платформы, т.е. где компилируем/собираем - та и цель). Вопрос ... ну и кто будет (и вообще будет ли) разбираться с этой проблемой?

Вероятнее всего мейнтейнер GDC. Ты можешь попробовать спросить у него самого по поводу этой проблемы, а то и помочь с ней. Кстати, можно под линем компилять код для вянды через wine, говорят все работаэ.

Цитата Qraizer @ 04.07.17, 20:06

У них же классы представлены ссылочной семантикой. Бред, конечно, но они привыкли.

Не забывай, что "у них" есть еще структуры, которые имеют семантику по значению.
А в передаче классов по ссылке есть некий смысл. Не могу точно утверждать, но лично у меня создалось впечатление, что большая часть объектов в плюсах обычно передается при помощи указателей/ссылок или же сами являются обертками вокруг указателей.
Но это немного не имеет отношения к обсуждаемой теме, так как лямбды в D это не класс, это встроенный в язык тип. Встроенность еще дает возможность компилятору проводить некоторые оптимизации, например в случае если время жизни переменных замыкания гарантированно больше, чем время жизни самой лямбды, то память не аллоцируется вообще, а просто передается указатель на стековый фрейм содержащий переменные замыкания.

Сообщение отредактировано: applegame - 05.07.17, 07:15

[Qraizer]

Цитата applegame @ 05.07.17, 07:14

А в передаче классов по ссылке есть некий смысл.

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

[applegame]

Цитата Qraizer @ 05.07.17, 08:17

Я не имею ничего против ссылочной семантики как таковой, но я категорически не приемлю смешанную семантику, когда в языке одни типы ссылочные, другие значения.

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

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

[Qraizer]

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

[applegame]

Цитата Qraizer @ 05.07.17, 12:22

Это мешает обобщённого коду, заставляя применять метакод с ветвлениями по свойствам типа.

Как именно? Я не наблюдал никаких помех. Пример если можно.

Цитата Qraizer @ 05.07.17, 12:22

Кроме того, винегрет в Дельфи со строками заставляет серьёзно задуматься о том, чтобы категоричность-таки была, просто во избежание прецедентов.

Не готов говорить о Дельфи. D - не Дельфи.

[Qraizer]

Та обсуждалось уже мульён раз. Типичный пример: тебе нужна локальная копия объекта, и толи = писать, то ли .clone() заранее ты знать не можешь. Для объектов классов = не сделает тебе копию, в результате модификации будут отражены на оригинале, для объектов неклассов .clone() просто провалится.

Добавлено 05.07.17, 17:59

Цитата applegame @ 05.07.17, 15:36

Не готов говорить о Дельфи. D - не Дельфи.

За D я тут и не говорю. Говорю за Дельфи. У них там хренова туча типов строк, какие-то объекты, какие-то не объекты, кто-то по сути POD, кто-то объект с состоянием, кто-то сам собой владеет и подсчитывает свои экземпляры, за кем-то надо следить самому, иначе утекут ресурсы, кому-то явно нужно командовать подсчитывать, кому-то если скомандуешь, расфигачишь пол-программы неопределённым поведением. Та ну их нахрен.

[applegame]

Цитата Qraizer @ 05.07.17, 17:55

Та обсуждалось уже мульён раз. Типичный пример: тебе нужна локальная копия объекта, и толи = писать, то ли .clone() заранее ты знать не можешь. Для объектов классов = не сделает тебе копию, в результате модификации будут отражены на оригинале, для объектов неклассов .clone() просто провалится.

Дак в плюсах тоже самое: для указателей нужно вызывать clone, а для неуказателей =. Можно представить, что класс D это что-то вроде shared_ptr.

Сообщение отредактировано: applegame - 05.07.17, 20:22

[D_KEY]

Цитата applegame @ 05.07.17, 20:15

Дак в плюсах тоже самое: для указателей нужно вызывать clone, а для неуказателей =.

Зачем?

template<typename T>
void foo(const T & x)
{
    T a = x;
}

В случае указателей ты получишь копию указателя. Все одинаково, какой бы тип не был.

Единственное, что не совсем логично в плюсах в плане типов - это ссылки.

Добавлено 05.07.17, 20:23
Неужели в D нельзя написать аналог такого кода?

[applegame]

Цитата D_KEY @ 05.07.17, 20:19

Зачем?

В твоем примере не указатель, а ссылка.

Добавлено 05.07.17, 20:26

Цитата D_KEY @ 05.07.17, 20:19

Неужели в D нельзя написать аналог такого кода?

Для классов нет. Для структур можно.

[D_KEY]

Цитата applegame @ 05.07.17, 20:24

Цитата D_KEY @ 05.07.17, 20:19

Зачем?

В твоем примере не указатель, а ссылка.

Мой пример будет работать для любого T, даже если этот T будет указателем.

[applegame]

Код аналогичный твоему:

void foo(T)(const ref T x) {
  T t = x;
}

В случае указатели или класса будет сделана копия указателя / указателя на класс, в остальных случаях копия самого объекта.

Добавлено 05.07.17, 20:32

Цитата D_KEY @ 05.07.17, 20:26

Мой пример будет работать для любого T, даже если этот T будет указателем.

Неправильно он будет работать, читай пост Qraizerа, он хочет именно копию объекта, а не копию укпзателя на него.

Сообщение отредактировано: applegame - 05.07.17, 20:33

[D_KEY]

Цитата applegame @ 05.07.17, 20:30

Код аналогичный твоему:

void foo(T)(const ref T x) {
  T t = x;
}

В случае указатели или класса будет сделана копия указателя / указателя на класс, в остальных случаях копия самого объекта.

Вот и появляются исключения на ровном месте. Для обобщенного кода куда проще, когда поведение одинаковое(концептуально).

Добавлено 05.07.17, 20:33

Цитата applegame @ 05.07.17, 20:30

Непрпвильно он будет работать, читай пост Qraizerа, он хочет именно копию объекта, а не копию укпзателя на него.

Указатель - самостоятельный тип. И его значение будет скопировано. Как и для любого другого типа.

[applegame]

Цитата D_KEY @ 05.07.17, 20:32

Вот и появляются исключения на ровном месте. Для обобщенного кода куда проще, когда поведение одинаковое(концептуально).

Какие исключения? Мой код делает ровно тоже самое, что и твой.

Цитата D_KEY @ 05.07.17, 20:32

Указатель - самостоятельный тип. И его значение будет скопировано. Как и для любого другого типа.

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

[D_KEY]

Цитата applegame @ 05.07.17, 20:38

И? Ты как-то влез в наш разговор не разобрпвшись о чем речь

Думаю, что это ты неверно понял оппонента.

Цитата

Крайзер не хотел копию указателя, он хотел копию объекта

Ты C++ забыл? Указатель является самостоятельным типом и его объект содержит адрес.

Добавлено 05.07.17, 20:44
В C++ у тебя везде семантика значений. В D одни типы обладают семантикой значений, а другие - ссылочные.

Добавлено 05.07.17, 20:46

Цитата applegame @ 05.07.17, 20:38

Цитата D_KEY @ 05.07.17, 20:32

Вот и появляются исключения на ровном месте. Для обобщенного кода куда проще, когда поведение одинаковое(концептуально).

Какие исключения? Мой код делает ровно тоже самое, что и твой.

Мой код всегда создаёт копию значения типа T. Твой - нет.