Сори!

Да, User Defined Attributes

Ими могут быть структуры и енумы любые, вытаскивать их надо самому через std.traits

мог напутать

мог напутать

Все верно

Могут быть еще простые строки

Типа: @ForMyDad

И проверяй на наличие такого атрибута

Мне не нравится такой подход

Весьма забавная штука. Ява вся пронизана этим...

Мне не нравится такой подход

Чем?

Чем?

Строки не автокомплитятся.

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

Я не совсем понимаю. Ну вот ок. Я получил дескриптор. Он как понимаю и так и так будет храниться на стеке. Что с new что без. Верно?

Строки не автокомплитятся.

Ну....

Строки не автокомплитятся.

Это все?

Я не совсем понимаю. Ну вот ок. Я получил дескриптор. Он как понимаю и так и так будет храниться на стеке. Что с new что без. Верно?

Не совсем.

Это все?

Да)

Да)

Зато дает много возможностей!

Зато дает много возможностей!

не спорю

Я не совсем понимаю. Ну вот ок. Я получил дескриптор. Он как понимаю и так и так будет храниться на стеке. Что с new что без. Верно?

Нет

Ими могут быть структуры и енумы любые, вытаскивать их надо самому через std.traits

С енумом берётся значение енума в качестве атрибута, как проверить его я так и не понял. Поэтому и спросил. Кроме того, непонятно, как добиться того, что бы атрибут можно было использовать и с параметрами и без

Я не совсем понимаю. Ну вот ок. Я получил дескриптор. Он как понимаю и так и так будет храниться на стеке. Что с new что без. Верно?

Если ты напишешь new File(...), то это ты разместишь дискриптор в куче

С енумом берётся значение енума в качестве атрибута, как проверить его я так и не понял. Поэтому и спросил. Кроме того, непонятно, как добиться того, что бы атрибут можно было использовать и с параметрами и без

Давай пример, не совсем понятно

для полноты картины нужно сказать, что File — это не дескриптор, а структура-обертка над сишным вводом-выводом

и там уже внутри лежит дескриптор, который является просто числом)

Если ты напишешь new File(...), то это ты разместишь дискриптор в куче

Ну а где на него будет ссылка храниться? Как я понимаю стек это просто указатель на объекты в куче и изредка может использоваться как хранилище когда что то мелкое

Ну а где на него будет ссылка храниться? Как я понимаю стек это просто указатель на объекты в куче и изредка может использоваться как хранилище когда что то мелкое

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

Ну а где на него будет ссылка храниться? Как я понимаю стек это просто указатель на объекты в куче и изредка может использоваться как хранилище когда что то мелкое

File* test(string name) { return new File(name, "r"); } test1 = test("/tmp/t.txt");

UDA — это интроспекция времени компиляции. В перспективе мощьная штука. Пок ане довелось попробовать

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

Посоветуй чем нагляднее

Это в куче

File test(string name) { return File(name, "r"); } test1 = test("/tmp/t.txt");

А это, по идее, ошибка

File* test(string name) { return new File(name, "r"); } test1 = test("/tmp/t.txt");

Тут разве не File* возвращается?

Тут разве не File* возвращается?

Там нет кучи, вы чё. File — структура. На стеке создаётся

Тут разве не File* возвращается?

Да

Давай пример, не совсем понятно

enum long test = 0; struct test2 { @test bool prop; } Когда я получаю атрибуты prop, у меня вместо test - 0. И тип long. Второй момент. Я хочу как то так struct t { @test @test(someString) string prop;

Там нет кучи, вы чё. File — структура. На стеке создаётся

через new же

Посоветуй чем нагляднее

я обычно objdump для этих целей использую

Там нет кучи, вы чё. File — структура. На стеке создаётся

Если ты не используешь конструкцию new

Если ты не используешь конструкцию new

Ну да, если new, то самом собой в куче

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

Ну а где на него будет ссылка храниться? Как я понимаю стек это просто указатель на объекты в куче и изредка может использоваться как хранилище когда что то мелкое

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

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

То что возвращается может и на стеке быть размещено

Компилятор знает возвращаемый тип и резервирует место на стеке

enum long test = 0; struct test2 { @test bool prop; } Когда я получаю атрибуты prop, у меня вместо test - 0. И тип long. Второй момент. Я хочу как то так struct t { @test @test(someString) string prop;

struct t { @test @test(someString) string prop; Так можно, без проблем

А ещё есть такая штука, как RVO,

То что возвращается может и на стеке быть размещено

Нет

Нет

Да

struct t { @test @test(someString) string prop; Так можно, без проблем

Вот я спрашиваю, как?

То что возвращается может и на стеке быть размещено

Если ты создаш на стеке - он будет удалено при выходе из функции

Вот я спрашиваю, как?

https://dlang.org/phobos/std_traits.html#getUDAs

Нет

более того, может храниться и в регистре, зависит всё от calling convertion

Вот я спрашиваю, как?

Твой случай:

struct AttrT(T) { string name; T value; } @AttrT!uint("Answer", 42) @AttrT!int("Pi", 3) @AttrT int d; static assert(getUDAs!(d, AttrT).length == 2); static assert(getUDAs!(d, AttrT)[0].name == "Answer"); static assert(getUDAs!(d, AttrT)[0].value == 42); static assert(getUDAs!(d, AttrT)[1].name == "Pi"); static assert(getUDAs!(d, AttrT)[1].value == 3); static assert(getUDAs!(d, AttrT!uint).length == 1); static assert(getUDAs!(d, AttrT!uint)[0].name == "Answer"); static assert(getUDAs!(d, AttrT!uint)[0].value == 42); static assert(getUDAs!(d, AttrT!int).length == 1); static assert(getUDAs!(d, AttrT!int)[0].name == "Pi"); static assert(getUDAs!(d, AttrT!int)[0].value == 3);

Если ты создаш на стеке - он будет удалено при выходе из функции

Нет

Если ты создаш на стеке - он будет удалено при выходе из функции

Это не относится к возвращаемому значению

Это не относится к возвращаемому значению

При возврате будет копирование

Только к тому что определено внутри тела функции. Возвращаемое значение, то что полсе return размещается на стеке вызывающего скопа

При возврате будет копирование

Да нет же я тебе говорю. Дичь пишешь

https://dlang.org/spec/abi.html#return_value

Для этого и нужна статическая типизация, что такие оптимизации они элементарно делаются

такие дела, практически всё возвращается в регистрах)

Да нет же я тебе говорю. Дичь пишешь

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

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

Мы же про возвращаемое значение говорили?

Да нет же я тебе говорю. Дичь пишешь

Создаем на стеке, после запоминаем ссылку на объект, а после снова попадаем в этот метод и создаем на стеке, глобальный объект переписан

У тебя там void — тип возвращаемого значения

Мы же про возвращаемое значение говорили?

Цитата: " или просто должно жить при выходе из функции"

ERROR: S client not available

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

Вот

Мы же про возвращаемое значение говорили?

При return - да, он просто будет копировать

И это факт

Структуры ВСЕГДА копируются

Если ты их не возвращаешь по указателю или с ref

Объекты классов - всегда возвращаются по ссылке

Ну или указатель фигаш на них...

Если в функции ты создаешь структуру, а после возвращаешь эту структуру - при возврате будет копирование структуры!

Чуть напутал, при возврате компилятор оптимизирует и не создает копию структуры. Он при входе в функцию создает копию

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

Если в функции ты создаешь структуру, а после возвращаешь эту структуру - при возврате будет копирование структуры!

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

Если в функции ты создаешь структуру, а после возвращаешь эту структуру - при возврате будет копирование структуры!

Гугли про RVO

Вот я спрашиваю, как?

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

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

Чуть напутал, при возврате компилятор оптимизирует и не создает копию структуры. Он при входе в функцию создает копию

Вот я спрашиваю, как?

У @deviator были на хабре статьи про UDA https://habr.com/post/261349/ https://habr.com/post/261641/

Чуть напутал, при возврате компилятор оптимизирует и не создает копию структуры. Он при входе в функцию создает копию

При входе может и создать. Там разные варианты. Да.

При входе может и создать. Там разные варианты. Да.

А вот если не присвоить в переменную результат возврата функции - то структура будет удалена сразу, но уже после, выхода из функции

Не ожидая очистки стека вызываемой функции

У @deviator были на хабре статьи про UDA https://habr.com/post/261349/ https://habr.com/post/261641/

UDA там лишь слегка затрагивается

UDA там лишь слегка затрагивается

Так пример из мануала полностью описывает твой пример

Или что-то не выходит?

Так пример из мануала полностью описывает твой пример

Не полностью. @AttrT!uint("Answer", 42) @AttrT!int("Pi", 3) @AttrT int d; static assert(getUDAs!(d, AttrT).length == 2); static assert(getUDAs!(d, AttrT)[0].name == "Answer"); static assert(getUDAs!(d, AttrT)[0].value == 42); static assert(getUDAs!(d, AttrT)[1].name == "Pi"); static assert(getUDAs!(d, AttrT)[1].value == 3);

3ий атрибут не виден

3ий атрибут не виден

Виден: https://run.dlang.io/is/uNRFWQ

Виден: https://run.dlang.io/is/uNRFWQ

А если струтура-темплейт, то нет. Хм. Ну ладно

А если струтура-темплейт, то нет. Хм. Ну ладно

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

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

Имеется ввиду @Data

Так я же тебе сделал ее структурой

Не понимаю

Имеется ввиду @Data

Поясни

struct Data(T) { } @Data Data!int int some; getUDAs(some, Data).length; // => 1

struct Data(T) { } @Data Data!int int some; getUDAs(some, Data).length; // => 1

Это то, что ты хочешь получить?