Телеграмм чат группы rustlang

Size: a a a

Rust — русскоговорящее сообщество

3151 membersпожаловаться на группу

2021 June 27

Traveller Kolsky in Rust — русскоговорящее сообщество

В f

источник

00:22пожаловаться #1

Эрик in Rust — русскоговорящее сообщество

Ну ок, а теперь поставь catch_unwind так, чтобы можно было наблюдать эту невалидную память.

источник

00:23пожаловаться #2

Mikail Bagishov in Rust — русскоговорящее сообщество

Ну по-моему тут и в happy case в вектор пушится невалидное значение

источник

00:23пожаловаться #3

gо

goldstein опять in Rust — русскоговорящее сообщество

f() паникует и оставляет вектор с увеличенной длиной

источник

00:23пожаловаться #4

Эрик in Rust — русскоговорящее сообщество

Meh, ненавижу писать ансейф. Ну да, у меня натурально в любом случае тыква получается.

источник

00:23пожаловаться #5

gо

goldstein опять in Rust — русскоговорящее сообщество

но я не уверен, что тут не происходит мгновенного UB на строчке с set_len

источник

00:24пожаловаться #6

gо

goldstein опять in Rust — русскоговорящее сообщество

да, тут происходит мгновенное UB на строчке с set_len.

источник

00:24пожаловаться #7

Traveller Kolsky in Rust — русскоговорящее сообщество

Ну не знаю, лень. В кетч анвайде мутекс передать по ссылке, там инплейс передать паникующее замыкание.

источник

00:24пожаловаться #8

gо

goldstein опять in Rust — русскоговорящее сообщество

потому что set_len требует, чтобы все новые элементы были уже инициализированы

источник

00:24пожаловаться #9

Traveller Kolsky in Rust — русскоговорящее сообщество

Не происходит

источник

00:24пожаловаться #10

gо

goldstein опять in Rust — русскоговорящее сообщество

происходит, ты нарушаешь инвариант set_len

источник

00:25пожаловаться #11

gо

goldstein опять in Rust — русскоговорящее сообщество

> The elements at old_len..new_len must be initialized.

источник

00:25пожаловаться #12

Traveller Kolsky in Rust — русскоговорящее сообщество

Инварианты можно нарушать до выхода из функции

источник

00:25пожаловаться #13

Traveller Kolsky in Rust — русскоговорящее сообщество

Мы тут просто не доверяем сейф коду

источник

00:25пожаловаться #14

gо

goldstein опять in Rust — русскоговорящее сообщество

ты нарушаешь входной инвариант set_len.

источник

00:25пожаловаться #15

gо

goldstein опять in Rust — русскоговорящее сообщество

т. е. set_len внутри себя имеет право, например, вытащить новый элемент и положить в переменную.

источник

00:25пожаловаться #16

gо

goldstein опять in Rust — русскоговорящее сообщество

получив неинициализированную переменную и UB.

источник

00:26пожаловаться #17

Эрик in Rust — русскоговорящее сообщество

Ну вот, а теперь представь, что селект у тебя кетчит это говно, а await паникует при кенселе.

источник

00:26пожаловаться #18

Traveller Kolsky in Rust — русскоговорящее сообщество

В приватном апи можно нарушать как приватные инварианты, так и некоторые, касающиеся safety. Но не всегда желательно.

источник

00:26пожаловаться #19

Traveller Kolsky in Rust — русскоговорящее сообщество

Даже специально разделение есть на типы нарушений инвариантов, которые можно и нельзя

источник

00:27пожаловаться #20