Size: a a a

2020 March 11

RP

Roman Proskuryakov in rust_offtopic
на стандарт, примеры нестандартных архитектур и на хабру (твоя ссылка на хабру, там в комментах то же самое говорили)
источник

RP

Roman Proskuryakov in rust_offtopic
нестандартных читать как нетипичных*
источник

Т8

Т-34 85 in rust_offtopic
Roman Proskuryakov
на стандарт, примеры нестандартных архитектур и на хабру (твоя ссылка на хабру, там в комментах то же самое говорили)
ахаха, кинуть ссылку на 700 страниц и не указать где читать - это классный "пруф"
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
о, вот это уже по делу наконец-то, спасибо!

Получается, стандарт гарантирует, что 0 станет нулевым указателем, но не гарантирует, что нулевой указатель выглядит как 0. Хотя на практике почти всегда берут для этого 0

Выходит,  (void*)0 == 0 всегда верно не потому, что это одинаковое представление в памяти, а потому что 0 неявно кастится к указателю , а они всегда равны

И тогда, получается, я был не вполне корректен, когда говорил @Psilon, что null запихнуть в int32 это тоже самое, что 0 запихнуть (хотя на практике так и получится за редким исключением). Что интересно, ответ на переформулированный вопрос не меняется - если туда 0 запихнуть и разыменовать, то он станет нулевым указателем и исключение таки выскочит

https://t.me/rust_offtopic/194927
Ура! Ура! Ура!
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
ахаха, кинуть ссылку на 700 страниц и не указать где читать - это классный "пруф"
источник

Т8

Т-34 85 in rust_offtopic
Т-34 85
ахаха, кинуть ссылку на 700 страниц и не указать где читать - это классный "пруф"
назвается такой приём "демагогия", если кто вдруг не знал. Я на неё обычно не ведусь. Спасибо red75prime за пруф
источник

Т8

Т-34 85 in rust_offtopic
ты опять? Там не то написано
источник

А⚙

Антон ⚙️ in rust_offtopic
Alex Zhukovsky
ваще парсинт понятнее, просто я забыл какфунка называется, а про ОПЕРАТОРЫ помню всегда
pavel intensifies
источник

G

Gymmasssorla in rust_offtopic
Т-34 85
ты опять? Там не то написано
Не написано, что должен лежать по адресу 0x0? Да, правильно
источник

А⚙

Антон ⚙️ in rust_offtopic
Alex Zhukovsky
нет, я начал делать и на меня тоска напала. Я подумал что работать в таком режиме не смогу. Плюс оттуда же шрамко турнули
Мотивация работать в компании:
✖️ Высокая зарплата
✖️ Разработка на расте
✔️ Там Шрамко
источник

Т8

Т-34 85 in rust_offtopic
Gymmasssorla
Не написано, что должен лежать по адресу 0x0? Да, правильно
вот видишь, ты не можешь мысль правильно изложить, как ты хотел меня убедить?

>Не написано, что должен лежать по адресу 0x0
не написано, что он должен представляться как 0x0 (fixed)

Да, не написано. Но это не означает, что нигде в других местах это не написано. А вы то место, где red75 указал, не привели
источник

А⚙

Антон ⚙️ in rust_offtopic
λоλторт
Но это скорее как развлечение. Обычно в хаскель чатах поднимаются предельно практичные вопросы, а всякие Гранины, которые пытаются играть в софистику быстро "изгоняются"
Да что ж вы так Гранина не любите?
источник

AK

Alexander Krivitskiy in rust_offtopic
Т-34 85
вот видишь, ты не можешь мысль правильно изложить, как ты хотел меня убедить?

>Не написано, что должен лежать по адресу 0x0
не написано, что он должен представляться как 0x0 (fixed)

Да, не написано. Но это не означает, что нигде в других местах это не написано. А вы то место, где red75 указал, не привели
В плюсах другой дефинишен: https://en.cppreference.com/w/cpp/types/NULL
источник

А⚙

Антон ⚙️ in rust_offtopic
λоλторт
Но так их разве что в ФП скале используют
Но там же нет (параметризуемых) модулей
источник

λ

λоλторт in rust_offtopic
Антон ⚙️
Но там же нет (параметризуемых) модулей
Есть же
источник

А⚙

Антон ⚙️ in rust_offtopic
источник

А⚙

Антон ⚙️ in rust_offtopic
λоλторт
Есть же
Имплиситы?
источник

Т8

Т-34 85 in rust_offtopic
Alexander Krivitskiy
В плюсах другой дефинишен: https://en.cppreference.com/w/cpp/types/NULL
мы щас про си. В плюсах для типобезопасности ввели новый класс и его литерал nullptr. Остальное тоже самое - внутри я обнаруживал 0. Уж не знаю, что стандарт об этом там говорит, сорри
источник

EG

Emmanuel Goldstein in rust_offtopic
Т-34 85
о, вот это уже по делу наконец-то, спасибо!

Получается, стандарт гарантирует, что 0 станет нулевым указателем, но не гарантирует, что нулевой указатель выглядит как 0. Хотя на практике почти всегда берут для этого 0

Выходит,  (void*)0 == 0 всегда верно не потому, что это одинаковое представление в памяти, а потому что 0 неявно кастится к указателю , а они всегда равны

И тогда, получается, я был не вполне корректен, когда говорил @Psilon, что null запихнуть в int32 это тоже самое, что 0 запихнуть (хотя на практике так и получится за редким исключением). Что интересно, ответ на переформулированный вопрос не меняется - если туда 0 запихнуть и разыменовать, то он станет нулевым указателем и исключение таки выскочит

https://t.me/rust_offtopic/194927
Да, это правда
источник

λ

λоλторт in rust_offtopic
Антон ⚙️
Имплиситы?
Объекты
источник