или то другой раздел будет?

насколько я понял, это не описание работы массивов, а типа подводный камень

насколько я понял, это не описание работы массивов, а типа подводный камень

Да да

Именно неявное подведение, которое может ввести в заблуждение

а с помощью assumeSafeAppend, можно наоборот форсировать рантайм использовать зарезервированную память по возможности

а с помощью assumeSafeAppend, можно наоборот форсировать рантайм использовать зарезервированную память по возможности

?

сейчас добавлю

и не только зарезервированную кстати

в смысле она может быть уже использования в других слайсах, и может быть затерта таким способом

но удобна для повторного использования массива. Потому что если просто сделать arr.length = 0, то при простом добавлении элемента будет реаллокация, а с assumeSafeAppend не будет.

Кстати, раз уж речь зашла... так и не понял - зачем эта замута с мутабл/иммутабл..??

Практика языков, где все иммутабельно или хотя бы по умолчанию иммутабельно, показала, что так багов меньше. Можно спокойно передавать туда-сюда данные по ссылке (быстро!) и не беспокоиться о том, что какая-то ф-я или другой поток их изменят неожиданно.

для многопоточности да

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

все разом не получится, я гарантирую это

и Владимир Лопатин в вк есть, можешь там ему написать про эту проблему с ide

вк нашёл 395 человек)

вк нашёл 395 человек)

http://vk.com/topic-471951_35752902?post=579

Практика языков, где все иммутабельно или хотя бы по умолчанию иммутабельно, показала, что так багов меньше. Можно спокойно передавать туда-сюда данные по ссылке (быстро!) и не беспокоиться о том, что какая-то ф-я или другой поток их изменят неожиданно.

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

все разом не получится, я гарантирую это

К этому можно стараться приближаться

он же не Владимир, а Вадим вроде)

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

Ну это если многопоточность

он же не Владимир, а Вадим вроде)

Да, сорян

+ имютебл нужен для того, чтобы эти данные не меняли. И не меняли в функции, а не только в соседнем потоке

+ имютебл нужен для того, чтобы эти данные не меняли. И не меняли в функции, а не только в соседнем потоке

.....а const для чего же тогда..?? ?

+ имютебл нужен для того, чтобы эти данные не меняли. И не меняли в функции, а не только в соседнем потоке

я видел в функциях для параметров можно писать in/out/inout - а они на кой ляд..? (сорян если вопрос глупый - с моём возрасте уже чот как-то лень тратить 10 лет на прочтение всех книг по D....)

если бы их было столько

я видел в функциях для параметров можно писать in/out/inout - а они на кой ляд..? (сорян если вопрос глупый - с моём возрасте уже чот как-то лень тратить 10 лет на прочтение всех книг по D....)

А сколько тебе?)

А сколько тебе?)

достаточно сказать что "пора учёбы" уже позади) теперь пора "хуяк хуяк и в продакшин" ??

достаточно сказать что "пора учёбы" уже позади) теперь пора "хуяк хуяк и в продакшин" ??

Не понятно, все равно))))

Это такая большая тайна?)

с inout действительно какая-то странная ситуация

у immutable есть нюанс, но он не в переменных, а в указателях. Если есть переменная, то на нее можно сделать константный указатель. Однако он не будет гарантировать того, что значение этой переменной не изменится в другом месте. Если видите immutable указатель, можете быть спокойны, что данные нигде не меняются

у immutable есть нюанс, но он не в переменных, а в указателях. Если есть переменная, то на нее можно сделать константный указатель. Однако он не будет гарантировать того, что значение этой переменной не изменится в другом месте. Если видите immutable указатель, можете быть спокойны, что данные нигде не меняются

это цитата?

нет

тогда непонятно. к inout это вроде не имеет отношения

С in все понятно, можно вызывать без каста

А если там конст или имютейбл, нужно кастить, вроде

тогда непонятно. к inout это вроде не имеет отношения

Это не имеет отношение к inuot. Товарищ спросил зачем const, если есть immutable

.....а const для чего же тогда..?? ?

inout нужен если константность того, что функция возращает зависит от константности параметра

Functions that deal with mutable, const, or immutable types with equanimity often need to transmit their type to the return value:

https://dlang.org/spec/function.html#inout-functions

если бы их было столько

анекдот вспомнился.. тупой, но контекстно уместный)))) нагуглить не получилось, так что вкратце перескажу: в одной грузинской деревне жила была девушка, и типо книги читаьь любила. один парень к ней подкатить попытался, а она ему такая "ты, типо, тупой - вот когда прокачаешь свои эрудит-скилы, тогда и приходи" — ну он такой н растерялся и пошёл учиться, лет 30 учился, дохуя короче учёным стал. и старым. но всё ранво к ней, тоже уже старой, приходи и говорит: "я, типо самый умный стал - проверяй как хочешь" - а она ему и отвечает: "я за свою жизнь прочитала одну книгу, ги де мопасан, прочитала кучу раз - но так и не поняла, гиде же этот грузин мопасан?!?!?!"

Это не имеет отношение к inuot. Товарищ спросил зачем const, если есть immutable

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

хорошо

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

ну дык в том-то и прикол immutable, что не нужны мьютексы. накой они, если оно не меняется после создания.

ну дык в том-то и прикол immutable, что не нужны мьютексы. накой они, если оно не меняется после создания.

я вот до сих пор ни в одном проекте ни на одном языке не юзал "нечто" что было бы "негде никак неизменяемое" и... не являлось бы какой-нить числовой константой (или строкой) ? на Сях такие вещи вообще просто дефайнят) Зачем оно может пригодиться..??? P.S> и почему было просто не расширить функционал const до immutable..?? ?зачем плодить сущности?....

я вот до сих пор ни в одном проекте ни на одном языке не юзал "нечто" что было бы "негде никак неизменяемое" и... не являлось бы какой-нить числовой константой (или строкой) ? на Сях такие вещи вообще просто дефайнят) Зачем оно может пригодиться..??? P.S> и почему было просто не расширить функционал const до immutable..?? ?зачем плодить сущности?....

Дефайны это другое (compile time), а тут по сути такой const, что точно для всех const, и инициализировать можно во время исполнения программы

я вот до сих пор ни в одном проекте ни на одном языке не юзал "нечто" что было бы "негде никак неизменяемое" и... не являлось бы какой-нить числовой константой (или строкой) ? на Сях такие вещи вообще просто дефайнят) Зачем оно может пригодиться..??? P.S> и почему было просто не расширить функционал const до immutable..?? ?зачем плодить сущности?....

какой-то у тебя однобокий опыт.

в функциональных языках вообще все иммутабельное.

Вот только активное использование immutable сильнее будет жрать память

Тк каждый раз при "изменении" объекта будет выделяться новый

Ещё вопрос: правильно ли я понял, что в Д "предполагается" что если функция не помечена как nothrow, то она может вызывать исключения.....?? т.е. ты как бы не знаешь, вызывает или нет - надо либо лезть в её нутрянку и смотреть что там (а может ещё и в нутрянку того что в ней [и так далее рекурсивно]), или же ВООБЩЕ ВСЁ оборачивать в try-catch ? где тут логика? Вот на яве наоброт - если функция генерит эксепшин (который сама не отлавливает), то она ОБЯЗАНА быть помечена как throws - таким образом всё чотенько и все всё знают (и компилятор, и программист) ?

А если исключение генерит не она, а та функция, которую она вызывает, такую функцию тоже так нужно помечать?

вроде да

и вроде это жесть )

Это тупость тогда

А если та внутренняя функция перестала бросать исключение

Глупости

Флаг, что ты НЕ генерируешь исключительных ситуаций, выглядит куда корректней

А если исключение генерит не она, а та функция, которую она вызывает, такую функцию тоже так нужно помечать?

ну как бы ДА — кто генерит тот и "помечен" Если ты не обрабатывает эксепшин функцию которую вызываешь (которая "помечена") то ты ОБЯЗАН свою функцию тоже пометить - потому что эксепшит из той, которую ты вызвал, уйдёт в ту, которая вызвала тебя ? всё логично)

А если та внутренняя функция перестала бросать исключение

вдруг взяла и перестала?)) магия?... ?

Флаг, что ты НЕ генерируешь исключительных ситуаций, выглядит куда корректней

а означает ли его отсутствие то что функция 100% генерит исключение..? ? мне вот что-то компилятор ни разу не высказал своё ФИ по-поводу того, что в функции, не помеченной как nothrow НЕ генерится исключение...... Отсюда вытекает что я вынужден перестраховываться и ВЕСЬкод оборачивать в отлов эксепшинов а поскольку я ленивый, то оборачиваю на верхних уровнях, не детализируя обработку этих самый исключений, от этого страдает Ёинтеллект" программы — она просто крашится если вдруг сломалось то что не должно было (а не пытается это обойти или починить) или же не детализируется объяснение ошибок пользователю - просто "ахтунг" и всё, иди молишь (а заодно ешь и люби, желательно именно в таком порядке)

а с эксепшинами на Д красота уже не та, что могла бы быть......

ERROR: S client not available

вдруг взяла и перестала?)) магия?... ?

Не магия. Ты юзал какую-то либу, а после обновил. После апдейта она более не бросает исключение

Не магия. Ты юзал какую-то либу, а после обновил. После апдейта она более не бросает исключение

с таким же успехом в ней можно поменять тип данных ?

Ты сам сказал - ты ленив.

Если даже пометить функцию, ты не будешь ее обрабатывать

Так что нечего выдумывать

Лично меня такая концепция более чем устраивает.

Если даже пометить функцию, ты не будешь ее обрабатывать

как пометить? как ГЕНЕРЯЩУЮ эксепшин..? так в этом и смысл - компилятор будет требовать чтобы ты или обрабатывал, или сам пометился как "исключительный")))

был длинный срач на эту тему на оффоруме. Короче в дешке как в плюсах.

Я вот всю ночь пытаюсь раскурить параллелелизм в Дшке...... и не получается Пытаюсь юзать spawn() из std.concurrency Мне нужно вызывать методы экземпляра структуры, так тчо он заставляет проставлять shared тем кто... я плохо понимаю чо это ему даёт, ну да ладно. В тестовом кусочке [https://run.dlang.io/is/d6RNez] всё норм, но в моём проекте в аналогичной ситуации выдаёт Error: cannot implicitly convert expression 'HttpServer(null, 0u, null, null, null, null, 0u, null, null).this(new InternetAddress(cast(ushort)8080u), 30u, "~/www/", "www", "api")' of type 'HttpServer' to 'shared(HttpServer)' и тыкает меня носом в том место где я экземпляр структуры объявляю...... дайте хоть одну подсказку что этой грёбаной concurreny не нравится..??? Хотел было попробовать на core.thread сделать (по аналогии с явой) - но не найду инфы как это правильно делать... как, блин, мне запустить в новом потоке "мутабл"-функцию, передав ей параметры...???? ?

std.concurrency разрешает гонять между тредами только иммутабельные или шаред данные.

шаред - это типа гарантия потокобезопасности, а на самом деле говно

выходов два.

cast(shared) все данные идушие в другой поток, а уже в нем cast() для снятия этого shared.

либо забить на std.concurrency и пилить на голых потоках из core.thread

либо забить на std.concurrency и пилить на голых потоках из core.thread

Можно пример..?? Пожалуйста

что именно? запустить поток и дать ему параметры?

Вот простой пример с spawn и shared: https://dpaste.dzfl.pl/317cbf78f177

выглядит норм

В твоем примере с FUCK ты создаешь структуру на стеке, потом пытаешься ее методы в другом потоке дергать, когда в исходном потоке она уже могла умереть. Это пипец, компилятор тут прав, что не дает такую фигню делать.

я на телефоне сейчас, поэтому полноценно не могу помочь.

Я предпочитаю создавать потоки без передачи им параметров, все свои данные они создают сами (тогда никакого shared не надо), а общаются между собой уже посылкой сообщений.

ну есть выход передавать такие данные которые передаются - например получить сокет (тип инт) и уже его передать в поток для обработки, а не мутабельную обёртку со всеми наворотами?

это если говорить о чем-то типа http сервера

Я предпочитаю создавать потоки без передачи им параметров, все свои данные они создают сами (тогда никакого shared не надо), а общаются между собой уже посылкой сообщений.

сообщения тоже должны быть потокобезопасны, то бишь все указатели/классы/массивы должны указывать либо на иммутабельные либо на шаред данные или вообще не содержать указатели/классы/массивы.

Можно простые структуры кидать, они копируются.

да, это самый простой выход

Там довольно разумные правила для сообщений, им следовать хорошо и приятно.

Можно простые структуры кидать, они копируются.

это вариант "или вообще не содержать указатели/классы/массивы"

Да. Как только пытаешься шарить мутабельные данные, сам нарываешься на баги.

не всегда, надо просто уметь синхронизацию.

CSP это свой подход, когда он чисто реализован, все красиво. Когда начинаешь смешивать с шаред параллелизмом и локами, красота теряется, начинаются сложности.

сообщения - это оверхед, который не всегда приемлем.