впрочем не проверял, но должно

а в чём сложность запилить DIP1000?

там много штук с lifetime, частично оно вроде запилено

ответ расту :)

https://code.dlang.org/packages/dlib - dlib.image - image processing (8-bit, 16-bit and 32-bit floating point channels, common filters and convolution kernels, resizing, FFT, HDRI, animation, graphics formats I/O: JPEG, PNG/APNG, BMP, TGA, HDR) https://code.dlang.org/packages/imageformats https://code.dlang.org/packages/daffodil

Ды да, уже тоже нашел

scope как модификатор аргумента работает у нас? думал просто так оно

нет, нормально не работает

А на сабже окромя самописного учебника что-то еще предполагается хостить или нет?

компилится без проблем: https://glot.io/snippets/eyuh4sdywj

Ды да, уже тоже нашел

Я для своих целей использовал FreeImage через derelict https://code.dlang.org/packages/derelict-fi

компилится без проблем: https://glot.io/snippets/eyuh4sdywj

а так чтобы НЕ компилилось при попытке утащить Value?

походу только запретить копирование

точно не унесут если запретить?

при желании можно утащить все что угодно

@safe может затруднить этот процесс еще сильнее

Не отдавать никаких ссылок, разве что.

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

> запрет создания по умолчанию Не могу - у меня эти же структуры используются как аргументы для запросов

этот запрет не обязателен

могу, конечно, зашаблонить её и сделать 2 почти одинаковые, но одну без возможности создавать

запрет от копирования работает точно

this(this) которое?

а зачем людям утаскивать эту структуру? Будут ли они реально ее таскать?

а то может таки RC сделать?

а зачем людям утаскивать эту структуру? Будут ли они реально ее таскать?

случайно же

последний Value уничтожается и утаскивает с собой таблицу

случайно же

Ну как ее случайно утащищь? Это надо сознательно вытащить

последний Value уничтожается и утаскивает с собой таблицу

для этого достаточно внутри Value хранить указатель на таблицу. но это как-то избыточно кажется

Ну как ее случайно утащищь? Это надо сознательно вытащить

ну вот утащит кто-нибудь а потом будет жаловаться что библиотека нестабильная и падает

скажем утащит не её а строку (row)

для этого достаточно внутри Value хранить указатель на таблицу. но это как-то избыточно кажется

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

гораздо вероятнее, т.к. обычно обработка построчная

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

Дык 5 лет библиотеке уже) решил FIXME и TODO вычистить из неё

гораздо вероятнее, т.к. обычно обработка построчная

ну ты лично часто таскаешь строки из БД и хранишь их потом где-то?

я вообще такого не помню ни в одном языке

ну ты лично часто таскаешь строки из БД и хранишь их потом где-то?

ну вот в многопоточке вызовут запрос и кинут обрабатывать строку в отдельный тред. а основной тред где таблица уже может помереть

поэтому нужен RC

избыточно

таблица не должна помирать пока существует хоть один value

зато безопасно

проще запретить отдаляться Value от таблицы, если это возможно

проще, согласен. но когда у меня встал подобный вопрос, я сделал RC

так как пока нет средств для этого

ну а у меня уже давно всё стоит, теперь хочется всё идеально)

отложи эту идеальность до момента когда доделают DIP1000

до никогда?)

да вроде процесс пошел

частично оно как-то там запилено, но пока не работает нормально

Кстати - https://dlang.org/changelog/2.079.0.html#dip1008

попробовал запретить - не канает, у меня внутри пакета копирование используется (с умом)

попробовал запретить - не канает, у меня внутри пакета копирование используется (с умом)

а если просто заприватить this(this)?

"запакетить", щас попробую ага

ну или высовывать наружу некопируемую обертку.

Народ, а что вообще есть из обработки изображений?

https://github.com/zhaopuming/awesome-d/blob/master/README.md#image-processing https://github.com/libmir/dcv https://github.com/BlackEdder/ggplotd https://github.com/lgvz/imageformats

ну или высовывать наружу некопируемую обертку.

Наклодно это всё. Та структура это просто ссылка на кусок данных таблицы, буквально байтовый массив

Может, пусть у GC голова болит?

если работать через libpq, то там сама либа память выделяет

а копировать в GC память как-то накладненько

в GC положить прокси. один на все записи.

если работать через libpq, то там сама либа память выделяет

причем на этапе создания таблицы только, а потом даёт отсылки на неё

В dip 1000 есть еще какой-то return scope

ну о нём и речь - вернуть такую структуру чтобы она дальше никуда не ушла

была бы на том же scope что и породивший её метод

Я про return scope не помню что там точно реализовано. Нужно читать

Ну и всё это работаетолько внутри @safe кода

ну видимо чтобы точно не унесли через cast)

А в какой момент тут экземпляр класса создается? ``` import std.stdio; import std.typecons : scoped; class A { void saySomething() { writeln("Hi from A"); } ~this() { writeln("Destruct A"); } } void main() { with(scoped!A()) { saySomething(); writeln("something"); } writeln("Hello D"); } ```

И вообще в каких случаях это полезно? Типа чтобы не забыть закрыть что то?

А в какой момент тут экземпляр класса создается? ``` import std.stdio; import std.typecons : scoped; class A { void saySomething() { writeln("Hi from A"); } ~this() { writeln("Destruct A"); } } void main() { with(scoped!A()) { saySomething(); writeln("something"); } writeln("Hello D"); } ```

Думаю при входе в main. Когда в сомнении смотрю ast на run.dlang.io

А в какой момент тут экземпляр класса создается? ``` import std.stdio; import std.typecons : scoped; class A { void saySomething() { writeln("Hi from A"); } ~this() { writeln("Destruct A"); } } void main() { with(scoped!A()) { saySomething(); writeln("something"); } writeln("Hello D"); } ```

В начале блока with, непосредственно перед saySomething();, после with, объект будет уничтожен.

with типа экземпляр класса без имени создает который по выходу из скоупа уничтожается?

with типа экземпляр класса без имени создает который по выходу из скоупа уничтожается?

ничего не понял

а, типа - это "артикль", а не тип переменной, теперь понял

да именно так

точнее он создаст экземпляр Scoped, который сделает описанное

А когда такое бывает полезно?

проверяется же элементарно: https://glot.io/snippets/eyuqj8svm4

А когда такое бывает полезно?

Что именно полезно? with позволяет не писать имя переменной

создание объекта внутри with позволяет совместить приятное с полезным.

Точнее не далть A a = new A() ?

with(scoped!A()) { saySomething(); writeln("something"); } полностью эквивалентно { auto a = scoped!A(); a.saySomething(); writeln("something"); }

Точнее не далть A a = new A() ?

эм, нет

угу, пасибо

можно и так написать with(new A()) { saySomething(); writeln("something"); }

scoped создает объект на стеке и уничтожает при выходе из скоупа

with не имеет к этому прямого отношения.

scoped создает объект на стеке и уничтожает при выходе из скоупа

Точнее, он наверняка при выходе из скоупа будет уничтожен

Точнее, он наверняка при выходе из скоупа будет уничтожен

не наверняка, а гарантированно

не наверняка, а гарантированно

Я про обычный класс, не scoped

RAII же

ты ответил на сообщение, где было про scoped

scoped и есть RAII

new A() - это не RAII

ты ответил на сообщение, где было про scoped

Я имело ввиду просто класс, просто не правильно сказал

new A() - это не RAII

Классы пробираются gc значит?

Не совсем. GC отслеживает только то что было аллоцировано с помощью GC. А класс это или массив или структура или еще что-нибудь пофиг.

new A() - сделает класс в памяти GC scoped!A() - сделает класс на стеке

точнее scoped делает класс, но взвращает обертку вокруг него, а не сам класс.

Тогда появляется интересный вопрос. Классы освобождаются исключительно в рантайме, что ли? Вообще в компиляции не может прописать целебный free?

Тогда появляется интересный вопрос. Классы освобождаются исключительно в рантайме, что ли? Вообще в компиляции не может прописать целебный free?

А зачем это делать во время компиляции?