В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

rust_offtopic

453 membersпожаловаться на группу
2021 April 17

D

Dima in rust_offtopic
вопрос не в этом, вопрос в том что мы хотим делать то что для машины ок, но модель языка не разрешает это делать по непонятно каким причинам(в угоду простоты, логичности стандарта, хз почему)
источник
13:28пожаловаться#1

EG

Emmanuel Goldstein in rust_offtopic
Для машины-то что угодно ок
Все ограничения проходят на уровне модели языка
источник
13:28пожаловаться#2

EG

Emmanuel Goldstein in rust_offtopic
Или на уровне виртуальной машины, в рамках которой модель языка сформулирована, как с C.
источник
13:28пожаловаться#3

D

Dima in rust_offtopic
ну вот виртуальная машина си нас не устраивает, а нам нужно делать вещи которые ее не устраивают, что теперь?
источник
13:30пожаловаться#4

EG

Emmanuel Goldstein in rust_offtopic
Для виртуальной PDP-11, в рамках которой сформулирован C, разыменование нулевого указателя — некорректная операция.
Для машины такого понятия, как «нулевой указатель» просто не существует.
источник
13:31пожаловаться#5

EG

Emmanuel Goldstein in rust_offtopic
Ну, пока мы компилируемся в машинный код, мы имеем право делать что хотим.
источник
13:31пожаловаться#6

D

Dima in rust_offtopic
ну меня не устраивает как data race определен в  рамках виртуальной машины си, что делать?
источник
13:32пожаловаться#7

EG

Emmanuel Goldstein in rust_offtopic
Компилироваться в машинный код, не проходя через компиляторы C, очевидно же.
источник
13:32пожаловаться#8

EG

Emmanuel Goldstein in rust_offtopic
Тогда тебе пофиг на C и его data race.
источник
13:32пожаловаться#9

D

Dima in rust_offtopic
ага, для каждой платформы на асме писать, я не линукс кернел которые  свою мемори модел юзают
источник
13:33пожаловаться#10

EG

Emmanuel Goldstein in rust_offtopic
Ну, тогда тебе придётся использовать какой-то язык, который как-то определил свою модель
источник
13:35пожаловаться#11

EG

Emmanuel Goldstein in rust_offtopic
Модель Rust, например, местами слабее, чем модель C
источник
13:35пожаловаться#12

EG

Emmanuel Goldstein in rust_offtopic
Если тебе нужно определённое поведение для signed integer overflow, то ты можешь взять Rust
источник
13:35пожаловаться#13

D

Dima in rust_offtopic
нет, остается делать "уб", с "знанием" того что компилятор не может че-то напортачить
источник
13:36пожаловаться#14

EG

Emmanuel Goldstein in rust_offtopic
Компилятор, в некотором роде, работает на уровне ниже, чем виртуальная машина, а потому не стеснён её ограничениями
источник
13:37пожаловаться#15

EG

Emmanuel Goldstein in rust_offtopic
Впрочем, например, конкретно rustc имеет право нарушать свои правила, а вот нарушать правила LLVM ему нельзя, потому что под ним ещё одна VM
источник
13:38пожаловаться#16

EG

Emmanuel Goldstein in rust_offtopic
std можно (и следует) считать модулем компилятора. Как минимум, у неё с физической точки зрения специальные права из-за #[lang]
источник
13:38пожаловаться#17

D

Dima in rust_offtopic
правила которой опять же худ. литература, она с int_to_ptr_cast не могла/или уже может хз скока лет
источник
13:39пожаловаться#18

EG

Emmanuel Goldstein in rust_offtopic
В int_to_ptr_cast и C плохо может
источник
13:40пожаловаться#19

EG

Emmanuel Goldstein in rust_offtopic
Это ограничения более низкого уровня
источник
13:40пожаловаться#20