موتور اثبات جدید اکنون پیش‌فرض Rust Nightly است؛ آزمون حل‌کننده تریت چه معنایی دارد؟

تیم کامپایلر Rust یک آزمون گسترده در دنیای واقعی را برای حل‌کننده نسل بعدی تریت آغاز کرده است: از ۲۱ اوت، این حل‌کننده به‌صورت پیش‌فرض در toolchain مربوط به nightly فعال شده است. این تغییر پس از نزدیک به چهار سال توسعه انجام می‌شود و بخش‌های مهمی از سازوکار فعلی rustc برای اثبات where-clauseها، نرمال‌سازی نوع‌های وابسته و حل تعهدهای تریتی را جایگزین می‌کند.

برای برنامه‌نویسان Rust، این تغییر بیشتر از آن‌که یک قابلیت زبانی جدید باشد، تغییر در موتور استدلال کامپایلر است. حل‌کننده بررسی می‌کند که آیا محدودیت‌های تریت برقرار هستند یا نه؛ برای این کار گزینه‌ها و هدف‌های تو‌در‌تو را بررسی می‌کند و می‌تواند همراه با محدودیت‌های استنتاج و ناحیه‌ای، نتیجه موفقیت، ابهام یا خطا برگرداند. راهنمای توسعه کامپایلر Rust این مدل و نقش آن در بررسی کدهای generic را توضیح می‌دهد.

ارزش فوری این تغییر، دریافت بازخورد است. پروژه Rust می‌خواهد کاربران nightly پیش از پایدارشدن، regressionها و رفتارهای ناخواسته را پیدا کنند. issue پیگیری پروژه هم‌اکنون تغییرات مربوط به نوع‌های وابسته با رتبه بالاتر، محاسبه عمق بازگشت، چرخه‌های حل تریت، impl Trait در جایگاه بازگشت و تعامل با generic_const_exprs را ثبت کرده است.

این فهرست مهم است، چون حل‌کننده‌ای که دقیق‌تر عمل می‌کند ممکن است کدی را رد کند که پیاده‌سازی قدیمی می‌پذیرفت. issue پیگیری نمونه‌هایی از تأثیر بر crateهایی مانند minijinja، wgpu و بخش‌هایی از Bevy را ثبت کرده و هم‌زمان به باگ‌های کامپایلری اشاره می‌کند که هنوز در حال رفع هستند. توسعه‌دهندگانی که nightly را آزمایش می‌کنند باید خطاهای تشخیصی جدید، تغییرات استنتاج، توقف کامپایلر و ICE را به‌عنوان پیامدهای احتمالی این گذار در نظر بگیرند و نمونه‌های حداقلی را برای پروژه Rust گزارش کنند.

مرز عملی روشن است: این یک آزمایش nightly است، نه دستور مهاجرت برای نسخه stable. تیم Rust می‌گوید پایدارسازی برای ماه‌های آینده برنامه‌ریزی شده، اما پیاده‌سازی فعلی همچنان در مرحله آزمون سازگاری فعال است. رویکرد امن این است که buildهای تولیدی روی stable باقی بمانند، یک job جداگانه nightly در CI اجرا شود و خطاها با issue پیگیری مقایسه شوند. پروژه‌هایی که از نوع‌های وابسته پیچیده، نوع‌های opaque یا قابلیت‌های ناپایدار const-generics استفاده می‌کنند، به توجه بیشتری نیاز دارند.

دستاورد بلندمدت، معماری بهتر است. حذف حل‌کننده قدیمی قرار است مسیر را برای Type Alias impl Trait، Return Type Notation، محدودیت‌های ضمنی آینده مانند Move و Forget، بهبودهای بزرگ‌تر در زمان کامپایل و رفع ناسازگاری‌های باقی‌مانده سیستم نوع باز کند. هیچ‌یک از این مزایا را نباید امروز پایدار دانست؛ نقطه عطف فعلی همان پنجره آزمایشی است که می‌تواند تحقق آن‌ها را ممکن کند.