1.1, Аноним, 09:51, 09/03/2018 [ ответить] [ смотреть все] +3 +/–Давайте теперь посмотрим на тесты скорости по сравнению с обычной библиотекой ... весь текст скрыт [ показать]
8.68, 0xd34df00d, 05:12, 10/03/2018 [ ^] [ ответить] [ смотреть все] [ к модератору] +/–
Доказать, что индекс всегда внутри правильного диапазона, например. Про rust не знаю, но в каком-нибудь Idris это довольно легко.
7.16, Аноним, 11:20, 09/03/2018 [ ^] [ ответить] [ смотреть все] +1 +/–ну это как вставить cppcheck какой-нибудь в препроцессор ... весь текст скрыт [ показать] , Crazy Alex, 13:31, 09/03/2018 [ ^] [ ответить] [ смотреть все] –1 +/–Он точнее, более живые анализаторы очень даже эффективен для отлова отхода от ... весь текст скрыт [ показать] , Alex, 04:13, 10/03/2018 [ ^] [ ответить] [ смотреть все] [ к модератору] +/–
Выход за границы массива бросает исключение в расте. Проверка в рантайм.
2.4, Sunderland93, 10:29, 09/03/2018 [ ^] [ ответить] [ смотреть все] [ показать ветку] +7 +/–
Давайте. Но только когда проект дорастёт до первого стабильного релиза.
2.9, Аноним, 10:39, 09/03/2018 [ ^] [ ответить] [ смотреть все] [ показать ветку] +2 +/–Скорее всего всё ок, т к в rust управление памятью не создаёт оверхеда все про... весь текст скрыт [ показать] [ показать ветку] , pda, 15:08, 09/03/2018 [ ^] [ ответить] [ смотреть все] +/–
Иногда и для них. Rust предоставляет достаточно информации llvm, чтобы тот мог удалять проверку диапазона в некоторых случаях. Например (насколько я помню), когда вы делаете цикл по неизменяемому объекту (например неизменяемой ссылке) и только что получили длину массива, llvm может понять, что вы никогда не выйдите за границу диапазона и удалить проверку.
| |
5.53, angra, 21:12, 09/03/2018 [^] [ответить] [смотреть все] | –1 +/– |
А если я в цикле присвою счетчику другое значение? А если обращусь к a[i+1] на последней итерации?
| | | |
| |
7.63, angra, 00:53, 10/03/2018 [^] [ответить] [смотреть все] | –1 +/– |
Разве что в самых простейших случаях, типа тела цикла из одного выражения. При наличии других переменных, ветвлений и вызовов функций всё становится совсем не простым для компилятора.
| | | |
6.65, Ordu, 01:58, 10/03/2018 [ ^] [ ответить] [ смотреть все] +/– for mut i in 0 10 println , i i 1 резуль... весь текст скрыт [ показать] | |
7.67, angra, 04:43, 10/03/2018 [^] [ответить] [смотреть все] [к модератору] | +/– |
Ох уж эти титеретики
fn main() {
let a: [i32;5]=[1,2,3,4,5];
for i in 0..a.len() {
if i == a.len() - 1 {
println!("{}", a[i+1]);
}
}
}
Compiling playground v0.0.1 (file:///playground)
Finished release [optimized] target(s) in 0.59 secs
Running 'target/release/playground'
thread 'main' panicked at 'index out of bounds: the len is 5 but the index is 5', /checkout/src/libcore/slice/mod.rs:830:10
note: Run with 'RUST_BACKTRACE=1' for a backtrace.
| | | |
3.48, Аноним, 18:16, 09/03/2018 [ ^] [ ответить] [ смотреть все] +/–И как статически проверить конкатенацию 2 строк вводимых юзером, например ... весь текст скрыт [ показать]
1.6, фывфыв, 10:32, 09/03/2018 [ ответить] [ смотреть все] +6 +/–
> Код проекта написан на языке Rust
Бла-бла-бла, математика использует openlibm, а оно на C.
Алокаторы памяти и прочие низкоуровневые вещи регулярно пестрят unsafe блоками, что автоматически нивелирует все "плюшки" Rust'а.
3.12, Аноним, 10:51, 09/03/2018 [ ^] [ ответить] [ смотреть все] +/–https github com redox-os relibc search utf8 E2 9C 93 q unsafe type ... весь текст скрыт [ показать] , lfx, 11:33, 09/03/2018 [ ^] [ ответить] [ смотреть все] +8 +/–
Лучше молчи... Когда я сказал что без unsafe на rust далеко не уедешь, любители смузи меня тапками забросали. Им что то объяснять себе дороже.
2.13, Аноним, 10:53, 09/03/2018 [ ^] [ ответить] [ смотреть все] [ показать ветку] –6 +/–Вообще касательно самого языка Идея хорошая, только зря они его назвали rust ... весь текст скрыт [ показать] [ показать ветку] , pda, 15:20, 09/03/2018 [ ^] [ ответить] [ смотреть все] [ показать ветку] –1 +/–И что Похоже вы как и многие не правильно понимают назначение unsafe так же ка... весь текст скрыт [ показать] [ показать ветку] | |
3.54, sadasd, 21:24, 09/03/2018 [^] [ответить] [смотреть все] | –1 +/– | |
О чем и речь, что в коде там дофига unsafe и смысла писать на Rust нет.
А вообще, еще до Rust'а были "безопасные" варианты C, Cyclon например.
Да и вообще, к тому-же GCC / Clang приписать пару пачку проверок и поставить их в -Werror.
| | | |
| |
4.62, Тот же Аноним, 00:31, 10/03/2018 [^] [ответить] [смотреть все] | +/– | |
А -fpermissive можно? А то на с++ такое бывает...
блаблабла предупреждение: декларация ничего не описывает [-fpermissive]
# define off_t long
Да можно typedef-ом, но за что препроцессор?
| | | |
3.55, _, 21:46, 09/03/2018 [ ^] [ ответить] [ смотреть все] +/–
>Unsafe не что-то плохое в rust, в вполне сознательно сделанная вещь. Она позволяет создавать
... хоть как то работающие программы :) Не надо песен, у нас их тоже есть!
>С другой стороны, безопасный интерфейс к такому списку избавит вас от необходимости покрывать такими же тестами остальную прогрумму. Там этим займётся компилятор.
Наивняк! :) Это уже было. Да - Java promise :) Чем всё кончилось? Покрывают тестами __всё__! И это правильно, ибо нефиг. И у вас тоже самое будет, всё суета сует :-)
>Хорошим примером такого подхода является языки C/C++, где программисты регулярно лажают от лени или усталости забывая вставлять проверку
Оу-е бэйби! А ржавчики будут кодячить без усталости и лени! :-))))) Гив ми море! :)
Может оно и взлетит, но взлетит вопреки. Ибо нафиг оно - до сих пор не очевидно.
| |
4.64, pda, 01:07, 10/03/2018 [^] [ответить] [смотреть все] | +/– | |
Вы так ничего и не поняли.
> Это уже было. Да - Java promise :)
Бессмысленное сравнение. В Java (визитной карточкой которого является NullPointerException) такае навеска - как фаервол с политикой "пропускать" и попытка сделать надёжным, путём кучи запрещающих правил. Unsafe это необходимая дырка в запрещающем фаерволе. Rust потому и бесит многих, что похож на фаервол с политикой "запрещать".
> Покрывают тестами __всё__!
Я не знаю как там в Java, не видел много Java, но судя по регулярным статьям о PVSStudio - нет, не покрывают. Хуже того, некоторые сознательно даже кое-каких проверок не вставляют, рассчитывая, что пусть оно лучше упадёт. Забывая, что в C/C++ это UB.
> А ржавчики будут кодячить без усталости и лени! :-)))))
Как я говорил - вы ни фига не поняли. "Ржавчики" такие же люди, по этому язык исключает ситуации, когда эта возня понадобится. Внутри безопасного кода не может возникнуть null или висячий указатель.
| | | |
1.26, Crazy Alex, 13:29, 09/03/2018 [ ответить] [ смотреть все] +4 +/–
"Работа над проектом началась неделю назад и функциональность библиотеки пока сильно ограничена" - ну и смысл в таких новостях? Когда что-то хотя бы слегка живое будет - тогда и поговорим. И даже после этого - в реальном применении возникнет миллион нюансов, частных случаев и прочего, и только после возни с ними станет понятно, жизнеспособна идея или нет.
1.38, Аноним, 15:30, 09/03/2018 [ ответить] [ смотреть все] –1 +/–Пиарят Rust как могут Только лучше бы толковых библиотке понаписали и примеров ... весь текст скрыт [ показать]
| |
3.45, Аноним84701, 17:32, 09/03/2018 [^] [ответить] [смотреть все] | +1 +/– | |
> С нетерпением жду когда питонисты подхватят знамя и напишут стандартную либу для сишников.
Там "знамя", AFAIK, немного не о том.
Поэтому питонистам придется сначала написать свою ОСь на питоне и Pylibc под нее, а потому уже думать о портировании на прочие ОСи.
А вообще, некоторым опеннетчикам не угодишь:
Использовали cишный – "Фи! Не осилили даже стандартный ОСевой рантайм на своей ржавчине для своей игрушки написать!"
Начали писать на ржавчине – и опять все не так, "Бласфемия! Да как они смеют!".
Как будто следующим шагом будет принудительная установка и использование под страхом отлучения от интернета.
| | | |
1.39, Ivan_83, 15:47, 09/03/2018 [ ответить] [ смотреть все] –1 +/–
Очередной пеар от раст боев.
У раста ещё меньше каких то полезных работающих проектов чем у го.
Кроме пеара в общем то у обоих новых языков ничего и нет, на фоне мира си и крестов.
1.43, анонимус, 17:05, 09/03/2018 [ ответить] [ смотреть все] –3 +/–
Зачем тащить этот образчик, как не надо делать в новую ось?
1.44, Аноним, 17:32, 09/03/2018 [ ответить] [ смотреть все] +2 +/–и приобрести 5 новых типов указателей ... весь текст скрыт [ показать] , Ordu, 19:57, 09/03/2018 [ ответить] [ смотреть все] –1 +/–
> Автоматическое управление памятью в Rust избавляет разработчика от манипулирования указателями
Особенно при написании функции strlen, например. Или при реализации printf.
Кстати, любопытно как они собираются разруливать varargs, если rustc вечно настаивает на том, чтобы сохранять за собой возможность точно рассчитать на этапе компиляции размер стека, который требуется для программы.
1.51, Вареник, 20:43, 09/03/2018 [ ответить] [ смотреть все] +1 +/–
Про безопасность ранней Жавы говорил что-то схожее "безопасности" нынешнего сырого хруста в руках малолетних фанатиков :)
1.56, Нет ты, 21:47, 09/03/2018 [ ответить] [ смотреть все] +/–
Безопасненько
#[no_mangle]
pub unsafe extern "C" fn strncat(s1: *mut c_char, s2: *const c_char, n: usize) -> *mut c_char {
let mut idx = strlen(s1 as *const _) as isize;
for i in 0..n as isize {
if *s2.offset(i) == 0 {
break;
}
*s1.offset(idx) = *s2.offset(i);
idx += 1;
}
*s1.offset(idx) = 0;
s1
}
1.58, _, 21:52, 09/03/2018 [ ответить] [ смотреть все] +/–
Надо законодательно запретить новости о том что ржавчики ещё чегото __начали__ переписывать! :) Реально!
Надо разрешить постить только о том что они переписывать __закончили__!
Правда тогда о них новостей __совсем__ не будет :-(
:-)
1.59, Аноним, 22:28, 09/03/2018 [ ответить] [ смотреть все] –1 +/–Так и запишем go для безделушек типа сервисов, rust для системных безделушек Х... весь текст скрыт [ показать] Read more |
