برچسب‌ها: #مدیریت-خطا، راست-غیرامن

unsafe Rust از جایی شروع می‌شود که Rust دیگر امنیت را تضمین نمی‌کند

این مقاله توضیح می‌دهد که unsafe در Rust واقعاً چه معنایی دارد و چرا اصلاً وجود دارد. unsafe امنیت را خاموش نمی‌کند، بلکه مسئولیت را از کامپایلر به برنامه‌نویس منتقل می‌کند. با مثال‌های واقعی می‌بینیم raw pointerها چطور کار می‌کنند، Undefined Behavior چیست و چرا از panic بسیار خطرناک‌تر است. در نهایت، مقاله نشان می‌دهد که استفاده‌ درست از unsafe چگونه است: محدود، کنترل‌شده و پنهان پشت یک API امن، با invariantهای مشخص که بقیه‌ کد را امن نگه می‌دارند.