Смотрел месяца 2 назад реализацию постгрес - она была говно

а в целом про их код что скажешь?

а в целом про их код что скажешь?

велосипеды-велосипедики

Кто объяснит в чем преимущество отказа от классов? https://theartofmachinery.com/2018/08/13/inheritance_and_polymorphism_2.html

классы не бесплатны - оверхед на разыменование указателей на методы в vtbl почти всегда есть

Засыпаю от его книги

Я тоже. Но зато доходчиво излагает.

Я тоже. Но зато доходчиво излагает.

Это разве не взаимоисключающие параграфы?

Это разве не взаимоисключающие параграфы?

Да нет. Просто можно пролистывать, что итак понятно и пройдено. Мне от Александреску книга зашла, надо ещё раз перечитать.

классы не бесплатны - оверхед на разыменование указателей на методы в vtbl почти всегда есть

но когда структуры превращают в классы то это тоже стоит

те-же указатели

не понял мысль

классы не бесплатны - оверхед на разыменование указателей на методы в vtbl почти всегда есть

У классов основная цена — это аллокации в куче (GC), структуры создаются на стеке — это очень быстро. vtable по сравнению с этим — сущий пустяк

static foreach (enum string member; FieldNameTuple!VTable) { ... }

Мне кажется это более явным код делает

Кто объяснит в чем преимущество отказа от классов? https://theartofmachinery.com/2018/08/13/inheritance_and_polymorphism_2.html

Встатье описывается некая версия статического полиморфизма. Мне так показалось

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

CRTP в плюсах используется часто. В D всё сильно упрощается за счёт миксинов и более сильных возможностей метапрограммирования

не понял мысль

Если есть возможность использовать структуры не моделируя из них наследование/полиморфизм то всё ок. Но часто оказывается что в той или другой форме приходится наследовать и делать это кастомно с помощью тех- же укащателей

классы не бесплатны - оверхед на разыменование указателей на методы в vtbl почти всегда есть

Всегда есть когда есть необходимость и нет в противном случае. При использовании любых подходов, кстати. Хоть со структурами хоть с чем.

Всегда есть когда есть необходимость и нет в противном случае. При использовании любых подходов, кстати. Хоть со структурами хоть с чем.

Оверхед на vtable?

"У классов основная цена — это аллокации в куче (GC)". Для любых классов, или для каких-то нет?

Оверхед на vtable?

Смотря как используется класс. Есть девиртуализация.

"У классов основная цена — это аллокации в куче (GC)". Для любых классов, или для каких-то нет?

если ты их руками не в куче выделяешь, то на такие не распространяется

а структуры где хранятся?

а структуры где хранятся?

Обычно на стеке

Шот мне все больше раст нравится. Нужна vtable - скажи явно, иначе ее не будет.

если ты их руками не в куче выделяешь, то на такие не распространяется

https://godbolt.org/z/amxXlG

Шот мне все больше раст нравится. Нужна vtable - скажи явно, иначе ее не будет.

В плюсах без virtual её тоже не будет.

Виртуал где?

у методов

Не, в расте немного по другому

Если ты создаешь ссылку на трейт

https://godbolt.org/z/amxXlG

это ты к тому что есть оптимизация у ldc, где на стеке создаётся?

просто с телефона не удобно смотреть

это ты к тому что есть оптимизация у ldc, где на стеке создаётся?

Вроде аллокаций я не заметил, но там и аллоцировать нечего.

Ну есть же scoped создание класса на стеке

А данные то они все равно в куче хранят

А данные то они все равно в куче хранят

шта?

А разве нет? Блин есть все это в картинках?

думаю это было бы максимально бессмысленно

шта?

А где у класса тогда данные лежат?

А где у класса тогда данные лежат?

смотря как ты его выделил

если на стеке, то и данные на стеке, если в куче, то и данные в куче

а какой иначе смысл?

и что кроме данных в классе? виртуальная таблица и тайпинфо

Тайпинфо имхо вообще отдельно хранится. В инстансе только указатель на него. И да, всё хранится там куда положил, хоть в кучу хоть в стек.

если на стеке, то и данные на стеке, если в куче, то и данные в куче

ты хочешь сказать что string будет на стеке данные хранить?

Где скажут там и будет )

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

Стринг это указатель на начало, длина, и возможно размер для рещервирования

Куда показывает указатель не так важно

Куда показывает указатель не так важно

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

Ну я отвечал конкретно о строках, про остальное - думаю что будут выделяться так как их будет выделять конструктор

По умолчанию да, в куче

В gc куче

https://run.dlang.io/is/lSp1xa

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

Нет врядли

Если ты создаешь объект на стеке а у него в конструкторе написано someField = new SomeClass() то с чего б ему тоже на стеке разместиться. Это как-то слишком сложно для компилятора выходит.

Если ты создаешь объект на стеке а у него в конструкторе написано someField = new SomeClass() то с чего б ему тоже на стеке разместиться. Это как-то слишком сложно для компилятора выходит.

я говорил про обычные типы

Короче все что создается через new - оно создается в куче )

Мне кажется даже new int можно сделать

А кстати, есть в D placement new? Есть scoped, который аллоцирует класс на стеке, но в итоге объект будет не исходного типа, а типа scoped!T

Ну есть emplace - это такая магическая штука которая позволяет размещать объект в выделенном ранее тобою куске памяти.

Есть emplace но он не подходит для классов

Почему не подходит? Я видел пример в статье на вики

Почему не подходит? Я видел пример в статье на вики

сек сейчас только читал про него

https://wiki.dlang.org/Memory_Management#Mark.2FRelease

ERROR: S client not available

Есть emplace но он не подходит для классов

Он как раз для классов

https://dlang.org/phobos/std_conv.html#.emplace

Мне кажется даже new int можно сделать

вернуть должно указатель

Но он использует TypeInfo

https://wiki.dlang.org/Memory_Management#Mark.2FRelease

ага, подходит

вернуть должно указатель

Это как-то противоречит тому что написано в вики статье, там возвращается просто ссыла на объект класса. Но проверять мне это сейчас лень.

Это как-то противоречит тому что написано в вики статье, там возвращается просто ссыла на объект класса. Но проверять мне это сейчас лень.

я про int

а да, вернется int*

но главное что в куче)

Забавно, вот здесь пишут, что scope new планируется сделать deprecated, а пока работают вот такие штуки: @nogc C foo() { scope auto c = new C(); return c; } https://run.dlang.io/is/NCiCEZ

Вот такая конструкция - да, deprecated. Но есть еще шаблон scoped! который как раз пришел на замену

бомба?

scope это же обещание не предавать ссылку наружу?

Забавно, вот здесь пишут, что scope new планируется сделать deprecated, а пока работают вот такие штуки: @nogc C foo() { scope auto c = new C(); return c; } https://run.dlang.io/is/NCiCEZ

Вообще пример очень похож на UB. Дструктор же вызовется сразу после выхода из функции

scope это же обещание не предавать ссылку наружу?

@nogc позволяет сделать вывод, что объект размещён на стеке

Немного переделал https://run.dlang.io/is/llmopI я непонимаю как это может работать. Скорее всего UB. В D есть undefined behavior?

оно даже с @safe компилится

https://run.dlang.io/is/0HUoQ3

имхо возвращает како-то статический инстанс

https://run.dlang.io/is/pjfySf

имхо возвращает како-то статический инстанс

Мне не понятно что там происходит, потому что деструктор вызывается сразу после выхода из функции, т.е. объект не перемещается и это не rvo

ага

раньше была такая штука https://dlang.org/spec/class.html#allocators

Вот я понимаю фанат D

Миниатюра D и обратная совместимость

Ребятки, подскажите, как правильно сформировать массив вида (byte[4]-длина текста, byte[]-текст) byte[] data; string Name = "Test "; data ~= cast(byte*)Name.length; // <-проблема. data ~= Name;

В структуры оберни сразу понятнее станет

struct streamfile { uint textSize; char* text; }

не получается перевести int в byte[4], делаю так data ~= (cast(byte*)&Name.length)[0 .. 4].dup; ругается на левостороннее значение

не получается перевести int в byte[4], делаю так data ~= (cast(byte*)&Name.length)[0 .. 4].dup; ругается на левостороннее значение

пытаешься написать непереносимый код?

https://dlang.org/phobos/std_bitmanip.html Endianness conversion