EG
Вот пример валидного указателя на 0x0.
Size: a a a
2020 March 11
AK
Обычный современный линукс позволяет тебе положить корректное значение по адресу 0x0
Ты взял и смапил нулевую страницу
EG
Alexander Krivitskiy
Ты взял и смапил нулевую страницу
Да, это именно то, что я сделал.
Т8
http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf
Покажи мне где тут написано, что нулевой указатель должен лежать по адресу 0x0
Покажи мне где тут написано, что нулевой указатель должен лежать по адресу 0x0
Нулевой указатель может где угодно лежать. Ты понимаешь, что пишешь?
EG
И это сработало.
RP
А ты хорош)
EG
И у меня есть корректный указатель на 0x0, который не NULL согласно стандарту.
AK
Единственное, что тебе гарантирует стандарт C про NULL — это то, что он не равен любому валидному указателю.
Хуево гарантирует че-то
G
Т-34 85
Нулевой указатель может где угодно лежать. Ты понимаешь, что пишешь?
Да, может у разработчиков стандарта спросишь понимают ли они о том, о чём пишут?
OA
получается что нулл должен быть 0 чтоб стдлиба работала
EG
Alexander Krivitskiy
Хуево гарантирует че-то
Компиляторы херово стандарту, поэтому хардкодят NULL в 0x0. В реальности значение NULL должно быть невозможно получить.
EG
И такое значение есть!
EG
Я гарантирую, что выделить память по адресу MAP_FAILED не выйдет.
EG
Это
(void*) -1 на моей системеТ8
Смотря на какой шкале мы рассматриваем, нет? Если мы берем все более-менее используемые на практике разновидности ЯП, то алголоподобные языки на таком графике вполне себе будут расположены кластером.
Но, согласись, это не тоже самое, что исходное утверждение "всех учат алголу"
EG
То, что в реальных системах NULL определён как 0, а не как MAP_FAILED — это просто легаси. Стандарт требует второго варианта.
AK
Это
(void*) -1 на моей системеЭээ, ну там кернел мемори мапится. Shadow memory вроде зовётся в линуксе
OA
стандарт может что угодно требовать, важно как де факто все работает
r
Зачем в do pure [] писать do вообще?
Потому что интуитивное понимание монад у меня в очередной раз выветрилось. Да, если подумать, достаточно
pure [], точнее pure Nothing. Я там тип неправильно вывел.