بعد از این درس دقیقاً چه بلدی؟
- موضوع «Inference» را با زبان ساده برای فرد دیگری توضیح میدهی.
- مثال همین درس را خطبهخط میخوانی و خروجی آن را پیشبینی میکنی.
- کد را تغییر میدهی، نتیجه یا ساختار آن را بررسی میکنی و خطا را مرحلهای اصلاح میکنی.
بازبینی نقشه پیش از ساخت
قبل از ساخت ساختمان، تناقض اندازهها روی نقشه پیدا میشود. همه مشکلات واقعی نیستند، اما اصلاح در این مرحله ارزانتر است.
تحلیل ایستا بدون اجرای مسیر واقعی، نوعها و جریان داده را بررسی میکند. PHPStan یا Psalm خطاهایی مانند null ناخواسته و فراخوانی متد ناموجود را زود پیدا میکنند.
چرا مهم است؟ این مفهوم یکی از آجرهای مسیر حرفهای PHP است. فعلاً لازم نیست همه جزئیات را حفظ کنی؛ باید دلیل استفاده و اثر هر خط را بفهمی.
اولین تمرین تو: Repository ممکن است null برگرداند؛ Analyzer مجبور میکند پیش از دسترسی، نبودن کاربر مدیریت شود.
اول بفهم، بعد کد بنویس
Inference
ابزار نوع مقدار را از کد و قراردادها نتیجه میگیرد.
Baseline
بدهی قدیمی را موقت ثبت میکند تا خطای تازه وارد نشود.
Rector
بازسازیهای مشخص و تکراری کد را خودکار انجام میدهد.
جلوگیری از فراخوانی روی null
Repository ممکن است null برگرداند؛ Analyzer مجبور میکند پیش از دسترسی، نبودن کاربر مدیریت شود.
قطعهها را به ترتیب درست بچین
روی هر قطعه بزن تا وارد پاسخ شود؛ برای برگرداندن دوباره روی آن بزن. با دکمههای جابهجایی هم میتوانی بدون کشیدن و رهاکردن ترتیب را اصلاح کنی.
کد را کامل کن و ساختار آن را بررسی کن
این درس وارد قابلیتهای سروری یا حرفهای شده است. برای امنیت سایت، کد دلخواه روی سرور اجرا نمیشود؛ بررسیگر، وجود اجزای ضروری و منطق مورد انتظار را کنترل میکند و راهنمای اصلاح میدهد.
کد را کامل کن و «بررسی ساختار» را بزن.
این مثال خطبهخط چه میگوید؟
فعلاً حفظ نکن؛ هر خط را به یک جمله ساده تبدیل کن.
- 1
<?phpاز اینجا مفسر PHP شروع به خواندن کد میکند.
- 2
/** @return User|null */نتیجه این بخش به محل فراخوانی برگردانده میشود.
- 3
function findUser(int $id): ?User {یک کار نامگذاریشده تعریف میشود تا منطق آن قابل استفاده دوباره و قابل آزمون باشد.
- 4
// ...این خط توضیح برنامهنویس است و اجرا نمیشود.
- 5
}مرز یک بلوک یا فراخوانی در اینجا باز یا بسته میشود.
- 6
$user = findUser(42);یک مقدار با نام $user نگهداری میشود تا در خطهای بعد دوباره استفاده شود.
- 7
if ($user === null) {یک پرسش درست/نادرست بررسی میشود و مسیر اجرای بعدی را تعیین میکند.
- 8
throw new UserNotFound();این خط بخشی از منطق اصلی مثال است؛ نامها و علامتها را از راست به چپ، بخشبهبخش بخوان.
- 9
}مرز یک بلوک یا فراخوانی در اینجا باز یا بسته میشود.
- 10
echo $user->name;نتیجه این عبارت به خروجی پاسخ فرستاده میشود.
راهنماییها مرحلهای هستند؛ اول خودت پیام خطا را بخوان.
سطح تحلیل را مرحلهای بالا ببر و یک ignore مبهم را به نوع دقیق تبدیل کن.
از ساده به چالشی، بدون پرش
یکی از مقدارهای مثال را عوض کن، خروجی را روی کاغذ حدس بزن و سپس بررسی کن.
سطح تحلیل را مرحلهای بالا ببر و یک ignore مبهم را به نوع دقیق تبدیل کن.
سناریوی «جلوگیری از فراخوانی روی null» را با نامهای واضحتر و یک حالت تازه گسترش بده.
این سه اشتباه را انجام نده
ساخت Baseline دائمی و فراموششده
Suppress خطا بدون فهم علت
تصور اینکه تحلیل ایستا جای Test اجراشونده را میگیرد
5 پرسش کوتاه؛ مطمئن شو واقعاً یاد گرفتهای
برای هر پرسش یک پاسخ انتخاب کن. بعد از هر انتخاب، دلیل پاسخ را همانجا میبینی.
تحلیل ایستا چه زمانی کد را بررسی میکند؟
کدام توضیح، «Inference» را دقیقتر بیان میکند؟
بهترین قدم بعد از خواندن مثال این درس چیست؟
کدام روش نشان میدهد این درس را واقعاً فهمیدهای؟
کدام رفتار احتمال خطا را در همین موضوع بیشتر میکند؟
درس را فقط وقتی تمام کن که کد را تغییر دادهای
دیدن آموزش کافی نیست؛ یک مقدار را تغییر بده، خروجی را پیشبینی کن و بعد اجرا بزن.