Продвинутый уровень · Языковая практика
Продвинутый Rust
Объяснить unsafe и выполнить упражнение «Описать safety-инвариант небольшого unsafe-компонента», обосновав выбранный подход.
Это программа подготовки модуля. Полный урок ещё не опубликован.
Перед началом
Последовательность уроков
Unsafe
До урока: предварительные знания модуля. Результат: объяснить unsafe на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
FFI
До урока: Unsafe. Результат: объяснить ffi на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Макросы
До урока: FFI. Результат: объяснить макросы на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Профилирование
До урока: Макросы. Результат: объяснить профилирование на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Практика
Задания находятся в программе подготовки. Для базового модуля нужны две задачи на освоение, две на применение и одна в новом контексте. Продвинутые подборки открываются после соответствующей базы.
Подготовить чтение кода, исправление ошибки, небольшую функцию, тесты и рефакторинг.
Проверочные вопросы
- Объясните «Unsafe» на собственном примере. Какие предварительные условия необходимы?
- Какая типичная ошибка возможна в упражнении «Описать safety-инвариант небольшого unsafe-компонента»? Какой пример её обнаружит?
Критерии ответа: верные определения, подходящий пример, явные условия применимости и объяснение проверки.
Итоговое упражнение
Описать safety-инвариант небольшого unsafe-компонента
- Объединить темы модуля и объяснить выбор решения.
- Проверить нормальный, граничный и ошибочный сценарии.
- Приложить инструкцию воспроизведения, ожидаемый результат и критерии проверки.