Исходное сообщение
"Выпуск языка программирования Rust 1.54" Отправлено n00by, 30-Июл-21 12:13
> Задач несколько, самая простая - это типизация без оберток. > Почитать можно тут > https://www.hardmo.de/article/2021-03-14-zst-proof-types.md#... > https://ferrous-systems.com/blog/zero-sized-references/#diff... Спасибо, во втором случае увидел практический смысл. В примере имеется два блока памяти, из которых выделяются элементы. Тут есть нюансы: 1. Информация о принадлежности элемента конкретному блоку содержится в адресе элемента. 2. Для задачи "вернуть элемент куда следует" явная обработка вышеуказанной информации не является необходимой. 3. Информация доступна во время исполнения. ZST (по определению) такое не обеспечивает. Насколько понимаю, инстанциируется (я слышал, что темплейты в С++ это жесть, но они это позволяют без ZST) два экземпляра деалокатора. Наверное, я что-то упустил?

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> Задач несколько, самая простая - это типизация без оберток. >> Почитать можно тут >> https://www.hardmo.de/article/2021-03-14-zst-proof-types.md#transparent-wrappers >> https://ferrous-systems.com/blog/zero-sized-references/#different-types-same-interface > Спасибо, во втором случае увидел практический смысл. > В примере имеется два блока памяти, из которых выделяются элементы. Тут есть > нюансы: > 1. Информация о принадлежности элемента конкретному блоку содержится в адресе элемента. > 2. Для задачи "вернуть элемент куда следует" явная обработка вышеуказанной информации не > является необходимой. > 3. Информация доступна во время исполнения. ZST (по определению) такое не обеспечивает. > Насколько понимаю, инстанциируется (я слышал, что темплейты в С++ это жесть, > но они это позволяют без ZST) два экземпляра деалокатора. > Наверное, я что-то упустил?
	Введите код, изображенный на картинке: