не компилится

__traits(getAttributes,name)

так надо

так, а надо так т.к. это ключевое слово или как понять что именно так вывается?

поворот сейчас для меня в этом был import std.stdio; string attr = "ok"; void foo() { @attr int k; writeln( __traits(getAttributes,k) ); } void main() { foo(); attr = "42"; foo(); } выводит ok 42

тоесть UDA могут менять значения в runtime

так, а надо так т.к. это ключевое слово или как понять что именно так вывается?

это в документации написано, что именно так вызывается

я не знаю как это понять

и __traits и getAttributes — ключевые слова, но второе, кажется, контекстное

да, контесто-зависимый синтаксис

контекстное — определено втнутри __traits ?

ну типа да...

вне __traits ты можешь использовать getAttributes как хочешь (название метода, поля и тд)

да, UDA не только компилтайм

Вообще ничего не выводит: void main() { foo(); } string MyAtr; void foo() { @MyAtr int name; writeln(__traits(getAttributes, name)); }

а что должно вывести?

а походу надо: string MyAtr = "some value";

так, а чтобы на этапе компиляции проверить значение переменной нужно static if использовать?

так, а чтобы на этапе компиляции проверить значение переменной нужно static if использовать?

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

а в основном это не переменные))

а константы

я как-то уже спрашивал. Но так до конца и не получил ответ. Можно ли проверять значение строки во время компиляции и если строка "Вася" то для нее вызывать writeln простой а если "Маша" то его аналог cwriteln().color(Green).

или как-то так?

конечно можно, но не той строки, которую ты получишь во время runtime

так. правильно ли я понимаю, что вот допустим я создаю два атрибута: string good = "good"; string bad = "bar"; и могу их теперь на функции и переменные вешать. И потом делать проверку если атрибут good то ...

ну да

м... э... щас задачу сам себе придумываю. Обойти все методы в классе и вызывать только те которые как good объявлены. Норм?

при этом ты можешь сделать не good и bad имена переменных, а другие

и поочерёдно присваивать им значения good и bad

только вот у Али написано что есть такой атрибут как hasUDA (или как его назвать то? Метод?) а в доках я его не вижу

Вот у него как: import std.traits; // ... static assert(hasUDA!(Person.name, Encrypted));

новая тема, когда я ту статью писал, не было такого

https://dlang.org/spec/traits.html

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

в спецификации забыли про него?

по ссылке выше

это phobos

это не язык

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

я постоянно путаю где заканчивается язык и начинается Фобос

грани в некоторых местах размыты

а ты вот сходу понял что это ? или просто логическая цепочка какая?

я посмотрел и не понял

на тему полезности UDA можно посмотреть в сторону сериализаторов http://vibed.org/api/vibe.data.serialization/optional и автогенераторов http://vibed.org/api/vibe.web.rest/registerRestInterface

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

почему false то получается?

и в чем отличие __traits от std.traits ?

фигасе вопрос)

первое - язык, второе стандартная библиотека использующая язык

нужно проверять не значение а переменную, судя по документации

hasUDA!(foo, good)

тоесть либа просто __traits вызывает где-то внутри?

а...

тоесть либа просто __traits вызывает где-то внутри?

да

в основном да, либо делает это другими способами

в основном да, либо делает это другими способами

скорее не другими, а просто упрощает

Хотя погоди, почеу не значение а переменную? В доке же написано: static assert(hasUDA!(a, "alpha"));

т.е. явно значение проверяется

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

он задаётся в скобках

Олег, да с writeln(hasUDA!(foo, good)); работает

@("alpha") int k

аа...

все понял

проверяется наличие, но не значение

ERROR: S client not available

потом можно __traits получить значение

вот тут, кстати, не совсем понятно зачем в std.traits занесено template isAbstractFunction(T...) if (T.length == 1) { enum bool isAbstractFunction = __traits(isAbstractFunction, T[0]); }

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

ну если по функциональности одно и тоже, то нет смысла

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

а вот получить значение атрибута, как я понял, только через __traits(getAttributes,...);

template getUDAs(alias symbol, alias attribute)

template getUDAs(alias symbol, alias attribute)

да, ты прав)

в своём коде лучше пользоваться std.traits. в __traits есть смысл лезть очень редко

Я вот щас на getUDAs смотрю. Они первым параметром символ передают, а вторым — набор атрибутов как понял.

import std.stdio; import std.exception; import std.typecons; import std.traits; void main() { writeln(getUDAs!(foo, good)); // мне нужно вывести имя атрибута повешенного на функцию } string good = "good"; string bad = "bar"; @good void foo() { } @bad void bar() { }

__traits(getFunctionAttributes,

а в библиотеке его похоже нет

https://dlang.org/spec/traits.html#getFunctionAttributes

блин, это не те атрибуты, потому и нет

getAttributes, вот trait, который нужен

погоди, а в моем случае то как быть? Мне нужно вывести имя атрибута который на функцию повешен

writeln(__traits(getAttributes, foo));

а getUDAs разве не то?

это будет список символов. значения по этим символам можно вытаскивать по getUDAs

так: "of the given type from the given symbol." типа когда повешан какой-то известный массив\структура атрибутов а не одиночные?

да. getAttributes вытащит вообще все навешанные атрибуты

Если write обявлена как шаблонная функция: void write(S...)(S args) это же шаблонная так? то получается ей и аргументы можно через восклицательный знак передавать или нет? типа write!"some text"

оно ругается: Error: template instance std.stdio.write!"some text" does not match template declaration write(T...)(T args) if (!is(T[0] : File))

О, вот так скомпилилось: write!string("some text");

T - тип получается и следующие скобки args типа T так?

да

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

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

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

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

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

короче начать с main?