MB
Откуда ты взял неинициализированные байты?
Можно быть уверенными, что эта концепция в модели памяти будет. Без нее вообще хрен что опишешь.
Size: a a a
2020 September 04
MB
Например, без нее не получится запретить ветвление по *(malloc(1)) (типа чтение одного байта из кучи)
T1
Можно быть уверенными, что эта концепция в модели памяти будет. Без нее вообще хрен что опишешь.
Нет, ты не понял. "Неинициализированные байты" это то что ты прочел из неинициализированной памяти просто?
MB
Нет, ты не понял. "Неинициализированные байты" это то что ты прочел из неинициализированной памяти просто?
Я не уверен, есть ли формально понятие неинициализированной памяти, но по смыслу да
T1
Я не уверен, есть ли формально понятие неинициализированной памяти, но по смыслу да
Тогда нет, решение есть, это UB. Это подпадает под producing an invalid value.
EB
нифига ребята книжек наверное умных начитались бросаются друг в друга заумными словечками без какого-либо смысла настаивая на своей точке зрения и не слушая другого
очень интересно спасибо ребята подчерпнул для себя много нового
очень интересно спасибо ребята подчерпнул для себя много нового
в🧇
Тогда нет, решение есть, это UB. Это подпадает под producing an invalid value.
Ну так у чисел любой набор байтов валиден (C)
Почему бы это должно быть UB?
Почему бы это должно быть UB?
T1
Ну так у чисел любой набор байтов валиден (C)
Почему бы это должно быть UB?
Почему бы это должно быть UB?
Потому что так решила команда Rust.
V
Давайте в оффтопик, может?
V
Со своими спецификациями
в🧇
Потому что так решила команда Rust.
В том то и дело что ещё не решила =)
Для этого и нужна модель памяти — чтобы с такими вопросами определиться
Для этого и нужна модель памяти — чтобы с такими вопросами определиться
EB
а можно спецификацию чата а то не совсем ясно что тут и как какие кишки так сказать интерфейс задокументировать что пользователь будет видеть
MB
Тогда нет, решение есть, это UB. Это подпадает под producing an invalid value.
T1
В том то и дело что ещё не решила =)
Для этого и нужна модель памяти — чтобы с такими вопросами определиться
Для этого и нужна модель памяти — чтобы с такими вопросами определиться
Да нет, конечно решила. https://doc.rust-lang.org/reference/behavior-considered-undefined.html
MB
Понятно, что сейчас в документации везде описан самый консервативный вариант, то есть все серое объявлено UB.
в🧇
Да нет, конечно решила. https://doc.rust-lang.org/reference/behavior-considered-undefined.html
> (Notice that the rules around uninitialized integers are not finalized yet, but until they are, it is advisable to avoid them.)
https://doc.rust-lang.org/std/mem/union.MaybeUninit.html#initialization-invarianthttps://doc.rust-lang.org/std/mem/union.MaybeUninit.html#initialization-invariant
https://doc.rust-lang.org/std/mem/union.MaybeUninit.html#initialization-invarianthttps://doc.rust-lang.org/std/mem/union.MaybeUninit.html#initialization-invariant
MB
Но в реальности есть желающие вот это вот UB доопределить.
T1
> (Notice that the rules around uninitialized integers are not finalized yet, but until they are, it is advisable to avoid them.)
https://doc.rust-lang.org/std/mem/union.MaybeUninit.html#initialization-invarianthttps://doc.rust-lang.org/std/mem/union.MaybeUninit.html#initialization-invariant
https://doc.rust-lang.org/std/mem/union.MaybeUninit.html#initialization-invarianthttps://doc.rust-lang.org/std/mem/union.MaybeUninit.html#initialization-invariant
Ну понятное дело этот вопрос обсуждается и будет обсуждаться, но пока валидное решение — UB.
в🧇
Да нет, конечно решила. https://doc.rust-lang.org/reference/behavior-considered-undefined.html
Забавное расхождение в документации 🤔
Хотя опять же, на той же на той странице весит варнинг что формальной модели нет
Хотя опять же, на той же на той странице весит варнинг что формальной модели нет