آموزش زبان راست: راست ناامن (Unsafe Rust) و بررسی‌های زمان کامپایل - آخرین آپدیت

سرفصل ها و درس ها

درک ایمنی در زبان راست Understanding Rust Safety

• معرفی کلی دوره Course Overview

• بررسی بررسی‌کننده استقراض (Borrow Checker) First Considering the Borrow Checker

• ایمنی در Unsafe Rust Safety in Unsafe Rust

• تعریف رفتار تعریف‌نشده (Undefined Behavior) Defining Undefined Behavior

• معرفی مفهوم ناورداها (Invariants) Introducing the Concept of Invariants

• بررسی رابط‌های توابع خارجی (FFI) Looking at Foreign Function Interfaces (FFI)

مدیریت عملیاتی حافظه Practical Memory Management

• تخصیص و آزادسازی حافظه Allocation and Deallocation

• انتقال، کپی، باکسینگ و پینینگ Moving, Copying, Boxing, and Pinning

• دمو: مدیریت دستی حافظه Demo: Manually Managing Memory

• کار با Assertions ثابت (Const) و استاتیک Working with Const and Static Assertions

• معرفی Cellها Introducing Cells

• ساختار زیرین با UnsafeCell Underlying Structure with UnsafeCell

• شمارش ارجاعات با اشاره‌گرهای هوشمند Reference Counting with Smart Pointers

بسته‌بندی انتزاع‌های ناامن به صورت نسبتاً ایمن Wrapping Unsafe Abstractions Somewhat Safely

• بررسی فراخوانی‌های کتابخانه‌ای و ایمنی Looking at Library Calls and Safety

• طراحی رابط‌های برنامه‌نویسی کاربردی (APIs) Designing Application Programming Interfaces (APIs)

• مستندسازی نکات مربوط به توابع Documenting Function Concerns

• استفاده از PhantomData و سیستم تایپ Using PhantomData and the Type System

• بهره‌گیری از Miri برای بررسی رفتارهای تعریف‌نشده Utilizing Miri to Check for Undefined Behavior

ردیابی ساختار حافظه Tracking Memory Layouts

• مرور موارد ضروری و سریع Reviewing Quick Housekeeping Items

• عیب‌یابی برنامه‌های Unsafe Rust Debugging Unsafe Rust Programs

• دمو: گام‌به‌گام بررسی کرش‌ها Demo: Stepping through Crashes

• جمع‌بندی و نتیجه‌گیری Conclusion