Например помню пример, который в rust создавал блокировку. Там два раза

Question

Например помню пример, который в rust создавал блокировку. Там два раза

подряд в одной функции блокировался мьютекс.

Раст, например, мог бы запрещать локать во второй раз на этапе компиляции, если бы объекты в расте могли бы приобретать эффекты.

Например, после lock() переменная мьютекса неявно приобретает эффект 'already_locked<'lifetime_of_returned_ref>, который запрещает вызов метода lock(), пока полученная ссылка не завершит время жизни.

Такой функционал мог бы сделать раст более мощным, но вопрос в том, а надо ли? Компиляция и так не быстрая. Хотя надеюсь, что трейты для функций привнесут что-то новое. (Я пока не читал это RFC)

#backend #embedded #programming #russian #rust

0

25.05.2022

6 ответов

20 просмотров

Василий Требунцов Автор вопроса

Пух
как раз дважды лок в одной функции вполне может от...

линтером, но не системой типов

0

25.05.2022

Пух

Василий Требунцов
линтером, но не системой типов

да, но это всё еще нельзя в общем виде гарантировать каким-то образом

0

25.05.2022

Αλεχ Zhukovsky

Тип переменной не может меняться, он всегда один

0

25.05.2022

Василий Требунцов Автор вопроса

Пух
да, но это всё еще нельзя в общем виде гарантирова...

Ну, здесь я не про дедлоки, а про концепцию в целом. Например можно сделать билдеры, которые смогут вернуть значение T, после того, как необходимые методы вызваны.

0

25.05.2022

Пух

Василий Требунцов
Ну, здесь я не про дедлоки, а про концепцию в цело...

Они уже есть

0

25.05.2022

Пух · Accepted Answer

Пух

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

0

25.05.2022

172 похожих чатов

Например помню пример, который в rust создавал блокировку. Там два раза

6 ответов

Похожие вопросы