Всё что с метапрограммированием должно работать

Все что compiler-time, если быть точным

Все что compiler-time, если быть точным

+

что ему не нравится то?

блин, импорт import std.algorithm приводи к этой ошибке. Даже тупо без вызова

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

As no Druntime is available, many D features won't work. For example: Garbage Collection Thread-local storage TypeInfo and ModuleInfo …

никакого TypeInfo

А у где у меня тут TypeInfo?

а как length реализован, хм? Это без включения алгоритмов?

да, без алгоритмов length работает

а без https://github.com/dlang/phobos/blob/master/std/container/array.d ?

int [5] x = [1,2,3,4,5]; Я путаю или размерность указывается с нуля? т.е. должно быть int [4]?

количество элементов

как в си

а как в этом режиме напечатать значения массива на экран?

цикл по размеру и да, %d

а не %i

а как length реализован, хм? Это без включения алгоритмов?

Массив это 'толстый указатель', по сути структура где первое поле длина, второе указатель

в общем, если дёргать length, то оно нявно пытаетс яимпортить array.d, а там дальш еиспользовать TypeInfo

да ладно?

в режиме -betterC

хм, а теперь это не воспроизводится)

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

так... это же динамический массив был

бред был именно с динамическим, да.

я неправильно распарсил prog.d:(.text.main[main]+0x15): undefined reference to _d_arrayliteralTX'

ничё не знаю, всё работает))

https://wandbox.org/permlink/kExCv3WzqOGEAr4o

auto x = (cast(int*)malloc(int.sizeof * 10))[0..10]; printf("%d\n", x.length); free(x.ptr);

а, ну да)

тут недавно ссылку постили по этому поводу

там типа tips по D и как раз был этот момент

литерал массива использует GC

и как-то это хитро можно обойти

или нет)

не помню)

блин, scope(exit) free(x.ptr); не втыкается prog.o:(.data.DW.ref.__dmd_personality_v0+0x0): undefined reference to `__dmd_personality_v0'

даже гуглится

да?

https://theartofmachinery.com/2016/12/18/d_without_runtime.html

думал это связанные сообщения

блин, scope(exit) free(x.ptr); не втыкается prog.o:(.data.DW.ref.__dmd_personality_v0+0x0): undefined reference to `__dmd_personality_v0'

даже гуглится

objcopy -R .data.DW.ref.__dmd_personality_v0 -R .eh_frame obj.o ... мде

тут без makefile не обойтись

из dub такие штуки можно вызывать для генерируемых объектников?)

блин, scope(exit) free(x.ptr); не втыкается prog.o:(.data.DW.ref.__dmd_personality_v0+0x0): undefined reference to `__dmd_personality_v0'

import core.stdc.stdio; import core.stdc.stdlib; extern (C): T[] talloc(T)(size_t n) { return (cast(T*)malloc(T.sizeof*n))[0..n]; } void tfree(T)(ref T[] arr) { free(arr.ptr); arr = null; } void main() { auto x = talloc!int(10); scope (exit) tfree(x); foreach (i, ref v; x) v = cast(int)i^^2; foreach (i, v; x) printf("x[%d] = %d\n", i, v); }

Хм...

dmd --version DMD64 D Compiler v2.076.0-dirty

срезы тоже работают

в целом юзабельно +/-

вот когда завезут в ldc2 так вообще круто будет

тк как кросскомпиляция и можно норм под железо писать

ну не прям под железо, но хотябы без рантайма, если нужно будет

хотя может быть и прям под железо...

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

а какую можно опцию дать dmd (ldc2) чтобы ddoc генерился не по разным файлам, а в один?

import core.stdc.stdio; import core.stdc.stdlib; extern (C): T[] talloc(T)(size_t n) { return (cast(T*)malloc(T.sizeof*n))[0..n]; } void tfree(T)(ref T[] arr) { free(arr.ptr); arr = null; } void main() { auto x = talloc!int(10); scope (exit) tfree(x); foreach (i, ref v; x) v = cast(int)i^^2; foreach (i, v; x) printf("x[%d] = %d\n", i, v); }

А так уже не работает import core.stdc.stdio; import core.stdc.stdlib; extern (C): T[] talloc(T)(size_t n) { return (cast(T*)malloc(T.sizeof*n))[0..n]; } void tfree(T)(ref T[] arr) { free(arr.ptr); arr = null; } int main() { auto x = talloc!int(10); scope (exit) tfree(x); foreach (i, ref v; x) v = cast(int)i^^2; foreach (i, v; x) printf("x[%d] = %d\n", i, v); return 0; }

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

Какие ещё классы в си?)

А так уже не работает import core.stdc.stdio; import core.stdc.stdlib; extern (C): T[] talloc(T)(size_t n) { return (cast(T*)malloc(T.sizeof*n))[0..n]; } void tfree(T)(ref T[] arr) { free(arr.ptr); arr = null; } int main() { auto x = talloc!int(10); scope (exit) tfree(x); foreach (i, ref v; x) v = cast(int)i^^2; foreach (i, v; x) printf("x[%d] = %d\n", i, v); return 0; }

хм...

Какие ещё классы в си?)

в Си никаких)

в Си никаких)

ну а это better c, а значит аналог гошечки)

ну а это better c, а значит аналог гошечки)

ну не сказал бы

ну тогда и CTFE выпиливать надо, да?

я к тому, что и со структурками прожить можно

наследование... а разве магия со структурками не работает через всякие alias this;

ERROR: S client not available

пожить и без них можно, все дело в качестве жизни)

А так уже не работает import core.stdc.stdio; import core.stdc.stdlib; extern (C): T[] talloc(T)(size_t n) { return (cast(T*)malloc(T.sizeof*n))[0..n]; } void tfree(T)(ref T[] arr) { free(arr.ptr); arr = null; } int main() { auto x = talloc!int(10); scope (exit) tfree(x); foreach (i, ref v; x) v = cast(int)i^^2; foreach (i, v; x) printf("x[%d] = %d\n", i, v); return 0; }

мне кажется это баг

не вижу ни одной причины чтобы нужен был рантайм для того чтобы main возвращала int

мне кажется это баг

https://issues.dlang.org/show_bug.cgi?id=17603

А как работает ref ? понятно дело что это ссылка, но получается это какая-то обертка над указателями видимо?

https://issues.dlang.org/show_bug.cgi?id=17603

не связанно же с деструктором

А как работает ref ? понятно дело что это ссылка, но получается это какая-то обертка над указателями видимо?

типа того

а где почитать как оно устроено?

а зачем?)))))

не связанно же с деструктором

я отсюда линк взял https://theartofmachinery.com/2017/08/26/new_betterc.html

а зачем?)))))

ну чтобы понимать лучше тему

просто вот: int [] x = [1,2,3,4,5]; foreach(ref i; x) { ... } Мне не очевидно почему ref мы ставим перед i а не перед x. Вроде бы по ссылке именно x перебираем

потому что i должно быть ссылкой на элемент массива x

т.е. на каждой итерации цикла каждый последующий элемент массива и переменная i должны находиться в одной ячейке памяти

по сути, ref и не ref — это просто соглашения о поведении, реализовать их можно разными способами

ref говорит о том, что при изменении ref переменной будет изменена и переменная, на которую та указывает

по сути, ref и не ref — это просто соглашения о поведении, реализовать их можно разными способами

Ну и не происходит копирования при передаче ref

Это важно

А чем отличается от поинтера тогда?

Где то я мельком видел что ref это указатель на указатель

Ну и не происходит копирования при передаче ref

вот, кстати, это всегда подразумевается, но, я так понимаю, не оговаривается явно

Короче опасная непонятная штука )

А чем отличается от поинтера тогда?

всегда куда-то указывает (не может быть null) и не требует разыменовывания)

я делаю для сайта пример проверки вхождения в массив. https://repl.it/Khfp/0 Функцию нашел в инете. Помогите блин это скомпилировать.

пример массива: int [] x = [1,2,3,4,5];

всегда куда-то указывает (не может быть null) и не требует разыменовывания)

Кстати! Указатель в D тоже не требует разыменования) Очень удобно

По крайней мере в структуре я это использовал свободно.

требует же

Кстати! Указатель в D тоже не требует разыменования) Очень удобно

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

не, вроде точка для указателя равна -> из плюсов

https://wandbox.org/permlink/FeyO4G96VvRcrJG5 да, скаляры надо разыменовывать, структуры не надо

не связанно же с деструктором

https://github.com/dlang/dmd/pull/6923/files#diff-53d1a3bf9d826e3dbfef565e862f4d1dR1506