KR
const и let?
Size: a a a
2021 April 06
ИЛ
Само собой не в плане семантики языка
KR
То есть оно на литерал опирается, а не на const evaluation… эххъ
SP
во какие понтовые строки у меня
String<U8>
String<U8>
ИЛ
Ну да. Я говорю исключительно о литералах
SP
слушайте, а по идее же я могу просто обычные строки юзать?
EG
Ну вот, я отломал твою компайлтайм-проверку
ИЛ
А теперь тоже самое с массивом
SP
да точно
Metric(&'static str, Rational64),
Metric(&'static str, Rational64),
EG
Да, на тривиальных кейсах, оптимизатор будет хорошо угадывать.
Вопрос в том, что семантически одно это область непосредственно в памяти статически известного размера, а другое — толстый указатель на область в памяти динамического размера.
Вопрос в том, что семантически одно это область непосредственно в памяти статически известного размера, а другое — толстый указатель на область в памяти динамического размера.
ИЛ
Мне лень писать размер массива, а компилятор достаточно умный чтобы понимать баунды в литералах. Где там компилятор хранит
len - не важноr
Хех
playground::foo:
push rax
lea rdx, [rip + .L__unnamed_2]
mov edi, 5
mov esi, 3
call qword ptr [rip + core::panicking::panic_bounds_check@GOTPCREL]
ud2
r
Надо научить оптимизатор LLVM репортить такие штуки
SP
господи почему так сложно то
SP
как мне массив то сделать?
ИЛ
Неплохая задачка для раста
EG
Стоп, что?
H
H
топ совет