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

Ты хочешь сказать что волшебный Ди нифига не волшебный?

волшебство для одних, наука для других))

волшебство для одних, наука для других))

Так он оптимизирует или нет?

а что можно тут оптимизировать?

проход по массиву для поиска максимального: O(n)

тут может быть и нет волшебства... а вот в std.regex...

Замыкание не создавать, я просто с телефона ничего в лапше из кода не понял

а какое тут замыкание?

передаваемая лямбда?

Да

Ты хочешь сказать что волшебный Ди нифига не волшебный?

private T extremum(alias map, alias selector, T)(T[] arr) { alias mapFun = unaryFun!map; alias selectorFun = binaryFun!selector; auto extremElementMapped = mapFun(arr[0]); auto extremElement = arr[0]; foreach (const i; 1 .. arr.length) { auto mapElement = mapFun(arr[i]); if (selectorFun(mapElement, extremElementMapped)) { extremElementMapped = mapElement; extremElement = arr[i]; } } return extremElement; } T minElement(alias map = "a", T)(T[] arr) { return extremum!(map, "a < b")(arr); } T maxElement(alias map = "a", T)(T[] arr) { return extremum!(map, "a > b")(arr); } это примерный код для массивов. магия....

Замыкание же тоже можно передать разве нет?

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

замыкание не соптимизировать отказавшись от него

но вот создаваемая из строки функция может быть и не будет замыканием

template unaryFun(alias fun, string parmName = "a") { static if (is(typeof(fun) : string)) { static if (!fun._ctfeMatchUnary(parmName)) { import std.traits, std.typecons, std.meta; import std.algorithm, std.conv, std.exception, std.math, std.range, std.string; } auto unaryFun(ElementType)(auto ref ElementType __a) { mixin("alias " ~ parmName ~ " = __a ;"); return mixin(fun); } } else static if (needOpCallAlias!fun) { // Issue 9906 alias unaryFun = fun.opCall; } else { alias unaryFun = fun; } }

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

вот тут моя наука кончается и я до конца не знаю что будет из auto unaryFun(ElementType)(auto ref ElementType __a)

берем, компилятор, берем objdump, прогоняем obj через objdump, смотрим, что там на ассемблере)

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

Чур мне лень!

Но

Готов глянуть выхлоп в llvm il из LDC

Да

Замыкание, это когда функция захватывает внешние переменные, и здесь этого нет.

Готов глянуть выхлоп в llvm il из LDC

При выключенной оптимизации

Замыкание, это когда функция захватывает внешние переменные, и здесь этого нет.

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

Замыкание, это когда функция захватывает внешние переменные, и здесь этого нет.

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

я про то, что замыкание != лямбда. По тому что он написал можно подумать что это так,

LDC же умеет IL выгонять?

https://d.godbolt.org

-output-ll Write LLVM IR

import std.stdio; import std.functional; static pure nothrow @nogc @safe int foo(alias f)(int a) { return f(a); } void main() { auto xx = foo!(unaryFun!"a*2")(21); writeln(xx); int z = 12; auto yy = foo!(a => a + z)(33); writeln(yy); } первый вызов foo компилируется, второй нет

https://d.godbolt.org

Не, ассемблер сложно слишком, я только IL могу

так что maxElement должен выдавать достаточно хороший код

учитывая что потом оптимизатор по нему проходит

import std.stdio; import std.functional; static pure nothrow @nogc @safe int foo(alias f)(int a) { return f(a); } void main() { auto xx = foo!(unaryFun!"a*2")(21); writeln(xx); int z = 12; auto yy = foo!(a => a + z)(33); writeln(yy); } первый вызов foo компилируется, второй нет

Почему второй недопустим?

А сорь

Там же переменная а ну это очевидно

А хотя

Да чтож так сложно то

только static не позволяет это собрать

не...

maxElement так себе выдаёт результат

maxElement так себе выдаёт результат

:О

import std.stdio; import std.algorithm; import std.range; import std.random; import std.array; import std.datetime; import std.conv; void main() { auto arr = iota(3000).map!(a => uniform(0,1000)).array; void f1() { auto b = arr.maxElement; } void f2() { auto b = arr.front; foreach (v; arr) if (b < v) b = v; } auto p = benchmark!(f1, f2)(10_000); writeln(p[0].to!Duration); writeln(p[1].to!Duration); }

dmd -O maxelemtest.d

222 ms, 116 μs, and 5 hnsecs 19 ms, 214 μs, and 2 hnsecs

222 ms, 116 μs, and 5 hnsecs 19 ms, 214 μs, and 2 hnsecs

Ну едрить твою налево!

:С

а если c -inline?

лол

62 ms, 161 μs, and 3 hnsecs 33 ms, 136 μs, and 9 hnsecs

Ы

какая версия компилятора?

DMD64 D Compiler v2.073.2

linux

похоже на баг, имхо

DMD очень не очень в генерацию кода... Есть другие компиляторы для теста?

Даёшь LDC!

ммм даа, но ldc2 вообще всё сжирает

1 hnsec для обоих функций

на -O4

на -O1 только можно

в последней версии в phobos что-то связанное с min max -Element делали.

конечно

добавили вроде

в ldc2-1.1.0 их нет

ERROR: S client not available

нет именно чинили что-то.

в 1.2.0-beta1 есть

я про DMD

не помню, вроде в changelog'ах не было

было.

но они появились в 2.073

ммм даа, но ldc2 вообще всё сжирает

Больше обьем итераций ставь и данных

Было бы странно если бы LDC не сказал что всё фигня давайте нормально всё сделаем чтобы сразу ответ)

но они появились в 2.073

вру, maxIndex появился

В этом жеж суть его SSA трансформаций

@DmitryBubnenkov инфа что лучше юзать LDC

в 2.072.0 появились maxElement

v2.074.0-master-259c1b6 dmd t_xusfc1ao -O -release -inline -mcpu=native 54 ms, 449 μs, and 7 hnsecs 55 ms, 273 μs, and 2 hnsecs

и потом в changelog'ах нет ничего

нет, гдето есть.

v2.074.0-master-259c1b6 dmd t_xusfc1ao -O -release -inline -mcpu=native 54 ms, 449 μs, and 7 hnsecs 55 ms, 273 μs, and 2 hnsecs

О:

да вроде давно уже

а бля

не прочёл

хм

ну, значит в 74 что-то делали

до 73.2 никаких упомянаний

вот только когда ldc будет 74ой версии...

чёрт, только что не было на сайте беты

уже появилась)

https://dlang.org/changelog/2.074.0.html#std-algorithm-searching-extremum

v2.074.0-master-259c1b6 dmd t_xusfc1ao -O -release -inline -mcpu=native 54 ms, 449 μs, and 7 hnsecs 55 ms, 273 μs, and 2 hnsecs

а ты случаем не пишешь компилятор?

нет.

а то можешь сейчас по быстрому релиз добавил?)

ну бету всмысле

http://nightlies.dlang.org/dmd-nightly/dmd.master.windows.7z

там гдето и для linux есть.