AV
Компилятор не обязан оптимизировать const fn
Строго говоря, он и работать не обязан, мы ж его не покупаем
Size: a a a
2020 August 30
MB
У слова обязан есть совершенно конкретное значение
JC
Компилятор никому ничего не обязан, но если он будет плох, им не будут пользоваться.
Монополистом всегда будут пользоваться :D
MB
То которое MUST во всяких RFC-шках
MB
И вот именно этой обязанности у компилятора нет.
IB
У слова обязан есть совершенно конкретное значение
У слова "обязан" есть несколько значений, я понимаю, что ты выбираешь то, что тебе нравится больше :)
МП
Строго говоря, он и работать не обязан, мы ж его не покупаем
Даже в коммерческих лицензиях порой попадается в тексте "as is"
MB
У слова "обязан" есть несколько значений, я понимаю, что ты выбираешь то, что тебе нравится больше :)
IB
И что? Мы пишем rfc или в чятике обсуждаем производительность компилятора?
MB
Компилятор никому ничего не обязан, но если он будет плох, им не будут пользоваться.
const fn f()-> u32 {
f()
}
fn main(){
let x = f();
println!("{}, x)
}
f()
}
fn main(){
let x = f();
println!("{}, x)
}
MB
И что? Мы пишем rfc или в чятике обсуждаем производительность компилятора?
В спецификации раста слово обязан будет иметт похожее значение.
MB
const fn f()-> u32 {
f()
}
fn main(){
let x = f();
println!("{}, x)
}
f()
}
fn main(){
let x = f();
println!("{}, x)
}
Удачного инлайна :)
IB
В спецификации раста слово обязан будет иметт похожее значение.
Ты сейчас вместо обсуждения проблемы занимаешься словесным онанизмом. И ведёшь себя как сбербанковская тётка - где карту открывали, там и закрывайте.
MB
const fn f()-> u32 {
f()
}
fn main(){
let x = f();
println!("{}, x)
}
f()
}
fn main(){
let x = f();
println!("{}, x)
}
Окей, вот конкретная проблема
MB
Компилятор в любом случае должен ориентироваться на анализы и эвристики для таких вещей. А если они есть, то нам что, жалко что ли и для не-const функций их применять?
MB
Вроде бы, чтобы зафорсить вычисление на стадии компиляции, надо в const или static запихнуть.
AZ
Пока вот это не стабилизируют все, что вы тут нафлудили не имеет смысла https://github.com/rust-lang/rust/issues/67792
AV
Окей, вот конкретная проблема
При компиляции программы сообщаешь о переполнении стека
Чем не решение?
Чем не решение?
IB
Пока вот это не стабилизируют все, что вы тут нафлудили не имеет смысла https://github.com/rust-lang/rust/issues/67792
Как же другие языки оптимизируют код без const-трейтов? 😁
MB
При компиляции программы сообщаешь о переполнении стека
Чем не решение?
Чем не решение?
Представь, что это была не функция main, а просто какая-то
#[no_mangle] pub extern "C" функция.
Тогда, если ты дашь ошибку компиляции, ты отвергнешь совершенно корректную программу, в которой эта функция просто никогда не вызывалась.
#[no_mangle] pub extern "C" функция.
Тогда, если ты дашь ошибку компиляции, ты отвергнешь совершенно корректную программу, в которой эта функция просто никогда не вызывалась.