dayllenger Mar 10 2018 at 16:57

Design by Introspection

6 min

5.2K

Programming*Designing and refactoring*D*

From sandbox

+14

Comments 9

vintage Mar 10 2018 at 22:51

Checked!(Checked!(int, ProperCompare), WithNaN)
Лучше позволить Checked принимать произвольное число аргументов, тогда можно писать просто:

Checked!(int, ProperCompare, WithNaN)

dayllenger Mar 11 2018 at 11:02

Не очень понятно, как такое сделать. Либо нужно научиться сливать вместе несколько хуков, либо придётся переписать почти весь Checked.

vintage Mar 11 2018 at 19:00

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

ahdenchik Mar 11 2018 at 06:56

hasMember фактически неюзабелен — ложнопозитивно врёт когда его применяют к объектам, использующим opDispatch. Лучше использовать __traits compiles

dayllenger Mar 11 2018 at 10:14

Действительно. Можно было бы ещё заменить его на свою функцию вроде такой:

bool isMember(T, string name)()
{
    return staticIndexOf!(__traits(allMembers, T), name) >= 0;
}

Gorthauer87 Mar 11 2018 at 09:14

Как то мне показалось, что в более молодых языках типа rust, swift, kotlin это все элегантнее выглядит.

-1

polarnik Mar 11 2018 at 11:39

Спасибо за статью. Очень интересно написано. Не знаком с D, поэтому прошу прощения за глупый вопрос. Верно ли понимаю, что возможность вызова операторов времени компиляции, позволяет выполнять расширение методов языка без дополнительных накладных расходов? И это, вероятно, важно в данной статье.

Вопрос к первому условию, к самому первому if, в примере кода:

ref Checked opUnary(string op)() return
if (op == "++" || op == "--")
{
    static if (hasMember!(Hook, "hookOpUnary"))
        hook.hookOpUnary!op(payload);
    else
    static if (hasMember!(Hook, "onOverflow"))
    {
        static if (op == "++")
        {
            if (payload == max.payload)
                payload = hook.onOverflow!"++"(payload);
            else
                ++payload;
        } else
        {
            if (payload == min.payload)
                payload = hook.onOverflow!"--"(payload);
            else
                --payload;
        }
    } else
        mixin(op ~ "payload;");
    return this;
}

Условия не static if, а простое if. Сказывается ли это по последующей скорости выполнения программы?

dayllenger Mar 11 2018 at 12:00

1) да, всё то, что можно сделать во время компиляции, делается там.
2) это такой синтаксис template constraint'ов, он по сути static, например:

T fun(T)(T x, T y)
if (isIntegral!T)    // пройдёт только целый тип
{
    return x + y;
}

UFO just landed and posted this here

Show the best of all time