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

ой

Сорри, не сюда

А в чем разница между functionAttributes https://dlang.org/phobos/std_traits.html#functionAttributes И getAttributes которая вызывается через __traits __traits(getAttributes, Person.name)

один для функции, другой для класса чтоли?

functionAttributes использует внутри __traits(getFunctionAttributes.

второе это именно языковая фича, а первое библиотечная так?

Просто я не пойму почему в std.traits есть: SetFunctionAttributes но нет GetFunctionAttributes

где логика?

Разве funtionAttributes не выполняет функционал второго?

это дублирующийся функционал получается?

ну некоторым кажется, что дёргать __traits в коде конечного погромца - как-то не очень

functionAttributes = атрибуты функции, такие как nothrow, а attributes - UDA

хм

а...

я думал мы про getFunctionAttributes

так, а в чем разница тогда: getUDAs и GetFunctionAttributes второе же тоже про UDA

а могу я сделать так: A a = new A(); foreach (x; Fields(a)) { writeln(x); }

еслb что я про https://dlang.org/phobos/std_traits.html#Fields

на самом последнем dmd да

` Error: template std.traits.Fields cannot deduce function from argument types !()(A), candidates are: C:\D\dmd2\windows\bin\..\..\src\phobos\std\traits.d(2174,1): std.traits.Fields(T)`

значит A, а не a. Ему тип нужен

а самый последний это какой? у меня v2.071.1

2.071.2, в нём баг с этим foreach фиксили

до этого он работал только в рантайме

сегодня зарелизили

foreach (x; Fields(A)) Error: cannot pass type A as a function argument это может быть следиствием бага? Щас обновлюсь

нет, надо Fields!A

это же шаблонный аргумент

Все шаблоны передаются через восклицательный так?

да

foreach (x; Fields!A) { writeln(x); } ругается на writeln: Error: cannot pass type string as a function argument

ну да, x - тип, а не значение. если хочешь итерироваться по именам полей юзай FieldNameTuple

что интересно, на старом dmd компилится и работает в рантайме

а так можно? foreach (x; (Fields!A).tupleof)

на старом это на каком?

v2.070.0

а почему этот вариант не работает то? writeln(to!string(x)); Ведь под идее у типа есть строковое представление

а он ругается: Error: cannot pass type string as a function argument

вариант с FieldNameTuple работает

м... а как вообще типы представляются? как я понял у них нет строкового представления

writeln(A.stringof); //output: A

и кстати про шаблоны вопрос. Вот допустим возвращаемый тип указан как template как понять какие операции над ним можно сделать? Как я понимаю можно сделать так: auto foo = MySuperTemplate!x и вы получим результат в foo

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

ещё может быть указан контракт, если это результат функции

в случае MySuperTemplate!x это чаще всего просто класс, в который можно зайти и посмотреть. Fields здесь скорее исключение

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

в доке это обычно словами. контракт это секция in или out в теле функции. в доку вроде не выносится автоматически

это входные выходные данные ?

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

это ограничения на вход и выход

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

в Александреску это "Контрактное программирование"

понял, спасибо

Здравствуйте. Кто-нибудь сталкивался с функцией move для структур? Наткнулся на странную ситуацию, которую никак не могу понять

Саму ситуацию-то опиши

сейчас

import std.stdio; import std.conv; import std.algorithm; void main() { Point p1 = Point(10,5); Point p2 = p1; p1.system.name = "B"; writeln("p1 = ", p1); writeln("p2 = ", p2); writeln("---"); write("p2 "); AnalyzePoint(move(p2)); writeln("p2 init = ", p2); //Point(0, 0, B) - судя по всему, за исходное значение для system //берется переданное при Point p2 = p1; т.е. оно было у p2 //до вызова this(this) //далее видно, что p2.system указывает на тот же объект, что и p1.system p1.system.name = "C"; writeln("p2 =", p2); } void AnalyzePoint(Point p) { write("moved "); writeln(p); } struct Point { int x; int y; // System system=new System("A"); this(this) { system = system.dup; } } class System { string name; this(string name) { this.name= name; } this() { this("Default"); } override string toString() { return name; } System dup() { return new System(name); } }

p1 = Point(10, 5, B) p2 = Point(10, 5, A) —- p2 moved Point(10, 5, A) p2 init = Point(0, 0, B) p2 =Point(0, 0, C)

пример синтетический

Одним из полей структуры является объект класса. для полного копирования структуры, используется конструктор this(this) После копирования объекта структуры, убеждаюсь, что p1 и p2 независимы. Затем перемещаю объект структуры в функцию AnalyzePoint(move(p2)); оставшийся идентификатор p2 в теле main должен быть заново инициализирован, поэтому я ожидаю если не p2.system.name == “A”, то хотябы p2.system == null но вижу, то, что описал в комментарии в коде

Почитай про .init – после вызова move восстанавливаются дефолтные значения для структуры, без вызова конструктора

читать-то я читал. Не могу понять, почему дефолтным значением структуры стало значение, переданное при копировании

p2 init = Point(0, 0, B) вот это значение B - его нигде нет в дефолтах. Его я проставил для p1 p1.system.name = "B"; перед копированием Point p2 = p1;

т.е. дефолтным для p2.system внезапно стало значение, которое было скопировано из p1

подправил описание. Написано сумбурно, попытаюсь еще раз соль выделить: Вот, допустим, такая структура struct Point { int x; int y=10; System system=new System("A"); .... } тогда, вроде бы, всегда результатом init должно становиться x==0, y==10, system.name =="А" в моем, получилось system.name =="B", и ранее я написал, откуда взялось это значение. Непонятно, почему оно взялось

ERROR: S client not available

в последнем варианте есть косячок

там выходит, что ты создаёшь память для system и её же меняешь

заново она не создаётся

честно сказать, не понял, о чем речь

1 сек

import std.stdio; class Sys { string name; this(string name) { this.name = name; } override string toString() { return "Sys("~name~")"; } } struct A { int x=10; Sys sys = new Sys("in struct"); this(this) { sys = new Sys(sys.name); } } void main() { A a; A b; writeln(a); writeln(b); a.sys.name = "xxx"; writeln(); writeln(a); writeln(b); }

на момент последнего вывода sys у 'a' и 'b' один и тот же

в данном примере - да

но у меня-то нет

struct Point { int x; int y=10; System system=new System("A"); .... }

это просто пример, в котором есть "..."

обращал внимание на дефолтные значения

а тело структуры опустил

но в рабочем исходнике есть this(this)

я про инициализацию полей структуры

вот соответсвующий кусок кода struct Point { int x; int y; // System system=new System("A"); this(this) { system = system.dup; } }

если класс создаётся не в конструкторе, а как init значение, он будет разделён между всеми структурами

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

метод dup переопределён в классе?

ну хотя не работало бы иначе

да, переопределен

по всей видимости move не копирует объект

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

да. в этом его смысл

но значение p2 появилось ранее в результате копирования

затем уже было перемещено в функцию с помощью move

а для идентификатора p2 в main была вызвана Init (т.е. новый объект создан), насколько я понял из описания move

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

это же адресс

там вызывается memcpy для объектов

и потом в один из объектов присваивается init

можно так выразиться: когда я копирую объект структуры, то его init значения переписываются?