ΑZ
в си есть VLA, размер массива на стеке не обязан быть constant expression
почитал про этот VLA, это почти что хип, только чуть шустрее и с автоматическип дропом (впрочем, с владением автомтаический дроп из хипа точно так же работает).
Size: a a a
2020 August 31
ΑZ
так в чем нужда прям на стеке саллоцировать?
ΑZ
ну и да, ты можешь сделать кастомный аллокатор и запилить VLA в расте, было бы желание
ΑZ
когда сделают возможность иметь много разных аллокаторов параллельно будет ещё проще
p
так в чем нужда прям на стеке саллоцировать?
выиграть спор в раст оффтопике очевидно
ΑZ
не, прост если речь про перфоманс то хип не сильно дольше аллоцировать
ΑZ
это VLA это и есть хип специализированный под такие штуки
ΑZ
специализация это хорошо, но стоит ли игра свеч?
ΑZ
кстати в сишарпе есть VLA:
void DeclareStackBasedArraySafe(int size)
{
Span<int> stackArray = stackalloc int[size];
stackArray[0] = 123;
}ΑZ
получается сишарп низкоуровневый, а раст - нет
С
у кости массив неизвестного размера есть с которым он работает, и плачет что в расте так сделать нельзя. ну не дебил?
Да я все понимаю, но это в чистом виде зависимый тип
ΑZ
Да я все понимаю, но это в чистом виде зависимый тип
если ты хочешь вынести длину в тип - да. Если нет то нет
CD
получается сишарп низкоуровневый, а раст - нет
так сишарп не дураки разрабатывали)
p
Да я все понимаю, но это в чистом виде зависимый тип
Ну можно сказать что это стековый Vect из идриса, да
ΑZ
так сишарп не дураки разрабатывали)
в чем проблема в хипе аллоцировать?
p
@Psilon блять какое epic games убожество
p
Без интернета нельзя в оффлайн игры поиграть
CD
в чем проблема в хипе аллоцировать?
там проблема, что range check несовместим с производительностью, он никогда не устраняется
ΑZ
Без интернета нельзя в оффлайн игры поиграть
я тебе говорил не имей дел с китайцами
С
если ты хочешь вынести длину в тип - да. Если нет то нет
Ну а как проверять компилятором, что проверка на границы в такой-то функции - верная, и проверяет настоящую длину, на которую был аллоцирован массив?