gо
int x = 0;
void* y = x; // это не NULL, потому что x не константное выражение
Size: a a a
2021 June 19
MS
Все еще не значит что требуется нулл отслеживать в рантайме.
MS
То есть да, это определенно разрешено.
gо
void* zero = mmap(y, 1, PROT_READ | PROT_WRITE, MAP_ANON | MAP_FIXED, -1, 0);
это тоже не NULL, в чём самая мякотка
gо
это — валидный указатель, который можно разыменовать
gо
согласно стандарту он must compare unequal к настоящему NULL
gо
как любой указатель, кроме NULL
MS
А, в этом смысле. Туше.
MS
Тем не менее ты только что привел доказательство моему высказыванию. С далек от ассемблера.
gо
правильным решением, не требующим рантаймового трекинга, было бы сделать
NULL битово равным -1gо
стандарт это не запрещает, и получить память, мапнутую в
-1 ты на юниксах не можешьgо
но это сломало бы совместимость вообще со всем
IA
Вопрос по поводу
Есть структурка:
и несколько имплементаций одного трейта для неё (
Даже если я поставлю лимит рекурсий в несколько тысяч, хотя, в u8 нет столько значений.
const_generic.Есть структурка:
struct Make_index<Dummy_type, const index : u8> {
_dummy : PhantomData<Dummy_type>
}и несколько имплементаций одного трейта для неё (
#![feature(specialization, const_generics, const_evaluatable_checked)]). Компилятор почему-то выдаёт следующее: `error[E0275]: overflow evaluating the requirement `Make_index<_, {_: u8}>: Make_index_trait``Даже если я поставлю лимит рекурсий в несколько тысяч, хотя, в u8 нет столько значений.
Э
Проблема где-то в типе и авторефе, а не в константе.
Э
Ну или он просто не сравнивает уже полученные имплы по константе с оверфлоу имплами.
IA
Автореф - это зависимость от самого себя?
Э
fn bar(mut i: impl Iterator) { match i.next() { Some(_) => bar(&mut i), None => () } }Э
Хм, странно, оно компилируется.
Э
А вот так вот не компилируется:
fn main() {
println!("Hello, world!");
bar([()].iter());
}
fn bar(mut i: impl Iterator) {
match i.next() {
Some(_) => bar(&mut i),
None => (),
}
}AL
Уже постили?
https://3dnews.ru/1042409#mc-container
https://3dnews.ru/1042409#mc-container
