د Python ډول چیکر پرتله کول: د خالي کانټینر تحلیل

ولې خالي کانتینرونه د Python ډوله چیکر ماتوي - او تاسو د دې په اړه څه کولی شئ

د Python تدریجي ټایپ کولو سیسټم د پام وړ وده کړې ځکه چې PEP 484 په 2015 کې د ډول نښې معرفي کړې. نن ورځ په ملیونونو پراختیا کونکي په جامد ډول چیک کونکو باندې تکیه کوي مخکې لدې چې دوی تولید ته زیان ورسوي. مګر د ډول سیسټم یو فرعي او مایوس کونکی کونج شتون لري چې لاهم تجربه لرونکي انجینرانو ته سفر کوي: یو خالي کانټینر څه ډول لري؟ کله چې تاسو x = [] پرته له تشریح څخه ولیکئ، ستاسو ډول چیکر باید اټکل وکړي - او مختلف چیکر په بل ډول اټکل کوي. دا توپیر د لویو کوډبیسونو ساتلو ټیمونو لپاره اصلي ستونزې رامینځته کوي ، چیرې چې د ډول چیکر بدلول یا یوځای کول کولی شي په شپه کې په سلګونو غیر متوقع غلطۍ رامینځته کړي.

دا مقاله تشریح کوي چې څنګه د Python څلور لوی ډول چیکونکي - mypy، pyright، pytype، او pyre - د خالي کانټینر انفرنس اداره کوي، ولې دوی موافق نه دي، او کوم عملي ستراتیژیانې چې تاسو کولی شئ د ټایپ-خوندي پایتون لیکلو لپاره غوره کړئ پرته له دې چې ستاسو د وسیلې انتخاب ته پام وکړئ.

اصلي ستونزه: خالي کانټینرونه په طبیعي توګه مبهم دي

د Python دا بې ګناه کرښه په پام کې ونیسئ: پایلې = []. ایا پایلې یو لیست[int] دی؟ یو لست[str]؟ Alist[dict[str, Any]]؟ د اضافي شرایطو پرته، په ریښتیا سره د پوهیدو کومه لاره نشته. د Python رن ټایم پروا نه کوي - لیستونه د طبیعت له مخې متفاوت دي - مګر د جامد ډول چیک کونکي اړتیا لري چې د دوی دندې ترسره کولو لپاره هر متغیر ته کنکریټ ډول وټاکي. دا د Python د متحرک انعطاف او تضمین تر مینځ یو بنسټیز فشار رامینځته کوي چې جامد تحلیل هڅه کوي چمتو کړي.

ستونزه د لغتونو او مجموعو سره یوځای کیږي. یو خالي {} په حقیقت کې د ډیټ په توګه تجزیه کیږي، نه د سیټ، کوم چې د ډول کچې ابهام په سر کې نحوي ابهام زیاتوي. او ځړول شوي کانټینرونه — فکر وکړئ defaultdict(list) or News = {k: [] for k in keys — inference engines push to their limits. هر ډول چیکر خپل هوریسټیک جوړ کړی، او توپیرونه د ډیری پراختیا کونکو په پرتله خورا مهم دي.

د تولید سیسټمونو کې چې د اصلي کاري بارونو پروسس کوي - که دا د پیرودونکي ریکارډونو اداره کولو CRM وي، د انوائس کولو ماډل د لاین توکي تولیدوي، یا د تحلیلي پایپ لاین ټولیز میټریکونه - خالي کانټینرونه په دوامداره توګه د پیل کولو نمونو په توګه ښکاري. د دوی د ډولونو غلط ترلاسه کول یوازې د لیټر اخطارونه نه رامینځته کوي. دا کولی شي ریښتیني بګونه پټ کړي چې د چلولو وخت ته ځي.

Mypy: ځنډول شوی انفرنس د هرډول ضمني سره

Mypy، ترټولو زوړ او په پراخه کچه منل شوی د Python ډول چیکر، د خالي کانتینرونو لپاره نسبتا نرم چلند غوره کوي. کله چې دا د فعالیت په ساحه کې د x = [] سره مخ کیږي، دا هڅه کوي چې د ډول پریکړه وځنډوي او د راتلونکي کارونې څخه د عنصر ډول معلوم کړي. که تاسو x = [] د x.append(42) وروسته ولیکئ، mypy به list[int] وټاکي. دا "ګډون" ستراتیژي د مستقیم قضیو لپاره په حیرانتیا سره ښه کار کوي چیرې چې کانټینر په ورته دائره کې میشته وي.

په هرصورت، د مایپي چلند په ډراماتیک ډول د شرایطو او سختۍ ترتیباتو پورې اړه لري. د ماډل سکوپ (د لوړې کچې کوډ) کې، یا کله چې کانټینر د ډکولو دمخه بل فنکشن ته لیږدول کیږي، mypy ډیری وختونه بیرته list[Any] ته راځي. د --سخت بیرغ لاندې، دا یوه تیروتنه رامینځته کوي، مګر په ډیفالټ حالت کې دا په خاموشۍ سره تیریږي. دا پدې مانا ده چې ټیمونه پرته له سخت حالت څخه mypy پرمخ وړي کولی شي په لسګونو متناسب ټایپ شوي کانټینرونه راټول کړي چې د ډول سیسټم څخه د خلاصون هچ په توګه عمل کوي ، خپل هدف ماتوي.

یو په ځانګړې توګه فرعي چلند: د 0.990 څخه مخکې mypy نسخې به ځینې وختونه لیست[نامعلوم] په داخلي توګه وټاکي او بیا په دنده کې لست[کوم] ته پراخ کړي. د 0.990 څخه وروسته، اټکل سخت شوی و، مګر بدلون د ریښتیني نړۍ کوډبیسونو حیرانونکي شمیر مات کړ چې پرته له دې چې پوه شي د اجازې چلند باندې تکیه کوله. دا یو تکراري موضوع ده - د خالي کانټینر انفرنس کې بدلونونه د ډیری ګډوډ ډول چیکر تازه معلوماتو څخه دي ځکه چې نمونې خورا پراخه دي.

حقیقت: سخت اټکل او د "نامعلوم" ډول

پیرایټ، د مایکروسافټ لخوا رامینځته شوی او په VS کوډ کې د Pylance ځواک ورکوي، په بنسټیز ډول مختلف فلسفي دریځ لري. د دې پرځای چې په خاموشۍ سره بیرته هر ته راشئ، pyright د نامعلوم (یو ډول چې تر اوسه نه دی ټاکل شوی) او هر (د ډول چیک کولو څخه څرګند انتخاب) ترمنځ توپیر کوي. کله چې تاسو د pyright په سخت حالت کې x = [] ولیکئ، دا د لیست[نامعلوم] په ګوته کوي او د تشخیص راپور ورکوي، تاسو مجبوروي چې تشریح وړاندې کړئ.

پیرایټ د د ساحې د محدودولو په اړه هم ډیر تیریږي. که تاسو لیکئ:

• x = [] ورپسې x.append("hello") — pyright infers list[str]
• x = [] ورپسې x.append(1) بیا x.append("hello") — pyright infers list[int | str]
• x = [] په مستقیم ډول یو فنکشن ته لیږدول کیږي چې تمه کیږي list[int] — pyright infers list[int] د کال سایټ شرایط
• x = [] د بیرته ستنیدو ډول تشریح پرته د فنکشن څخه بیرته راستون شوی - pyright د اټکل کولو پر ځای د غلطۍ راپور ورکوي

دا دوه اړخیزه انګیرنه (د کال سایټونو څخه د راتلونکي کارونې او تمه شوي ډولونو کارول) د خالي کانټینرونو لپاره د mypy په پرتله pyright د پام وړ ډیر دقیق کوي. تجارت د لفظي ډول دی: د pyright سخت حالت نږدې 30-40٪ ډیرې مسلې د mypy د سخت حالت په پرتله په عادي نه لیکل شوي کوډبیس کې بیرغ کوي، د ډیری خلاصې سرچینې مهاجرت راپورونو تحلیل سره سم. د هغو ټیمونو لپاره چې پیچلي بیکینډ سیسټمونه جوړوي - ووایه، یو پلیټ فارم چې د CRM، معاشاتو، او تحلیلونو په اوږدو کې د 207 یو بل سره وصل شوي ماډلونه اداره کوي - د pyright سختۍ د فرعي انٹرفیس نیمګړتیاوې ښیي چې لیوالتیا به یې له لاسه ورکړي.

Pytype and Pyre: لږ سفري سړکونه

د ګوګل pytype ښايي تر ټولو عملي تګلاره غوره کړي. د دې پرځای چې تشریحاتو ته اړتیا ولرئ یا بیرته هر ته راشئ، pytype د د ټول پروګرام تحلیل کاروي ترڅو تعقیب کړي چې څنګه کانټینر د فعالیت حدودو کې کارول کیږي. که تاسو په یوه فنکشن کې یو خالي لیست جوړ کړئ او بل ته یې واستوئ چې انټیجرونه ضمیمه کړي، pytype اکثرا list[int] پرته له کوم تشریحاتو څخه اټکل کولی شي. دا کراس فنکشن انفرنس د کمپیوټري پلوه ګران دی — pytype په لویو کوډبیسونو کې د mypy یا pyright په پرتله د پام وړ ورو دی — مګر دا په غیر اعلان شوي کوډ کې لږ غلط مثبتونه رامینځته کوي.

Pytype د خالي کانتینرونو لپاره د "جزوي ډولونو" مفهوم هم معرفي کوي. یو تازه جوړ شوی [] یو جزوی ډول ترلاسه کوي چې په تدریجي ډول اصلاح کیږي ځکه چې چیکر د ډیر کارونې سره مخ کیږي. دا په مفکوره کې ښکلی دی مګر کولی شي د ګډوډې خطا پیغامونه رامینځته کړي کله چې جزوی ډول په بشپړ ډول حل نشي ، لکه کله چې یو خالي کانټینر د ډیری فعالیتونو څخه تیریږي پرته له دې چې آباد شي.

په عین حال کې، د میټا پییر د مایپي چلند ته نږدې کوي مګر د سخت ډیفالټ سره. Pyre د x = [] سره د لیست[نامعلوم] په توګه چلند کوي او په ډیرو شرایطو کې تشریح ته اړتیا لري. چیرته چې pyre خپل ځان توپیر کوي د خالي قاموس لیکونو په اداره کولو کې د kwargs په توګه کارول کیږي - په ویب چوکاټونو کې یو عام نمونه. Pyre د کلیدي دلیلونو شرایطو څخه د لغت ډولونو اټکل کولو لپاره د ځانګړي قضیې منطق لري، په چوکاټ - درنو کوډبیسونو کې د تشریح بار کموي. د دې په پام کې نیولو سره چې ډیری عصري ویب غوښتنلیکونه د ترتیب کولو او غوښتنې اداره کولو لپاره د لغت خلاصولو پراخه کارول شامل دي، دا عملیت ګټه ورکوي.

د ریښتینې نړۍ اغیز: کله چې د انعطاف انحراف وخوري

د ډول چیکرانو تر مینځ توپیر ممکن اکاډمیک ښکاري تر هغه چې تاسو یې د تولید کوډبیس کې تجربه کړئ. د سوداګرۍ غوښتنلیکونو کې یو عام نمونه په پام کې ونیسئ: د ډیټا جوړښت پیل کول چې په مشروط ډول آباد کیږي.

تر ټولو خطرناک خالي کانتینرونه د چیکر بیرغ ډوله نه دي — دا هغه څه دي چې په خاموشۍ سره د اټکل شوي هر ډول سره تیریږي، غیر متناسب ډیټا ته اجازه ورکوي چې پرته له خبرتیا راټول شي تر هغه چې د لاندې سټریم فعالیت د چلولو په وخت کې د TypeError سره خراب شي چې دا د بیرته راستنیدو لپاره نږدې یا ناممکن دی.

یوه ښه بیلګه: د فینټیک په پیل کې یوې ټیم د لګښت راپور ورکړی د تولید مسله ډیبګ کولو درې ورځې چیرې چې یو خالي لیست، د تادیې پروسس کولو فعالیت کې پیل شوی، د mypy لخوا د list[Any] په توګه پیژندل شوی. په لیست کې د اسعارو د مقدار لپاره د عشاریه توکي شامل وو، مګر د کوډ لاره د دې پرځای د فلوټ ارزښتونه ضمیمه کول. د مایپي نرم انګیرنې په خاموشۍ سره اجازه ورکړه. بګ یوازې هغه وخت راڅرګند شو کله چې په فلوټ ریاضی کې د ګول کولو تېروتنې د 12,000 رسیدونو په ډله کې د $ 0.01 توپیر لامل شو. که دوی په سخت حالت کې pyright کارولی وای، یا په ساده ډول خالي لیست د list[decimal] په توګه تشریح کړی وای، بګ به د پراختیا په وخت کې نیول شوی وای.

په Mewayz کې، چیرته چې پلیټ فارم د 138,000+ کارن حسابونو په اوږدو کې رسیدونه، د معاشونو حسابونه، او مالي تحلیلونه پروسس کوي، دا ډول ډول خوندیتوب تشه تیوریکي نه ده - دا د سم معاشونو چلولو او قیمتي بیاکتنې ترمنځ توپیر دی. د کانټینر د پیل کولو په شاوخوا کې د ټایپ کولو سخت ډسپلین یو له هغو "زغمونکي" انجنیري کړنو څخه دی چې د تولید په زړه پورې پیښو مخه نیسي.

د دفاعي کانټینر پیل کولو لپاره غوره تمرینونه

پرته له دې چې ستاسو ټیم کوم ډول چیکر کاروي، د خالي کانټینر ابهام په بشپړه توګه له منځه وړلو لپاره کنکریټ ستراتیژۍ شتون لري. هدف دا دی چې هیڅکله د خالي کانټینرونو لپاره په استخراج تکیه ونکړئ - ډول یې روښانه کړئ ترڅو ستاسو کوډ په ټولو چیکرونو کې د پورټ وړ وي او د نسخو ترمینځ د چلند بدلونونو څخه معافیت ولري.

1. تل د خالي کانتینر متغیرونه تشریح کړئ. د پایلې = [] پرځای پایلې: list[int] = [] ولیکئ. د کوچني فعل لګښت د خوندي شوي ډیبګ کولو وخت په پرتله د پام وړ دی. دا یوازینی تمرین د خالي کانتینرونو شاوخوا 80٪ مسلې له مینځه وړي.
2. د پیچلو کانتینرونو لپاره د فابریکې افعال وکاروئ. د cache = {} پرځای، یو فنکشن ولیکئ لکه def make_cache() -> dict[str, list[UserRecord]]: بیرته راګرځئ {}. د بیرته راستنیدو ډول تشریح مطلوب ډول غیر مبهم او پخپله مستند کوي.
3. د غیر معمولی ډولونو لپاره د لیکلو په پرتله ټایپ شوي جوړونکي غوره کړئ. توکي ولیکئ: set[int] = set() د دې پر ځای چې د سیټ درک کولو په اړه تکیه وکړئ. د defaultdict او Counter لپاره، تل د ډول پیرامیټر چمتو کړئ: counts: Counter[str] = Counter().
4. د نوي کوډ لپاره د خپل ډول چیکر سخت حالت ترتیب کړئ. دواړه mypy او pyright د هر فایل یا فی لارښود ترتیب کولو ملاتړ کوي. په نوي ماډلونو کې سخت چک کول فعال کړئ پداسې حال کې چې ورو ورو د میراث کوډ مهاجرت. دا د نوي متناسب ټایپ شوي کانټینرونو د راټولیدو مخه نیسي.
5. د خپل CI پایپ لاین په پرتله د ډول چیکر اضافه کړئ. که یوه نمونه یو چیکر تیریږي مګر بل ناکام شي، دا یو سیګنال دی چې ډول یې کافي څرګند نه دی.

لوی انځور: د ټیم تمرین په توګه چک کول ټایپ کړئ

د کانټینر د تشو تشناب په پای کې د Python په ډول سیسټم کې د یوې لویې ننګونې مایکروکوزم دی: د اسانتیا او خوندیتوب ترمنځ تشنج. د Python فلسفه د "موږ ټول رضایت بالغان یو" د پروټوټایپ او سکریپټونو لپاره په زړه پوري کار کوي ، مګر د تولید سیسټمونه چې په زرګونو کاروونکو ته خدمت کوي قوي تضمین ته اړتیا لري. دا حقیقت چې څلور لوی ډول چیکونکي د [][] ډول په څیر په یو څه باندې متفق ندي چې د Python ټایپ کولو ایکوسیستم لاهم وده کوي.

د انجینرۍ ټیمونو لپاره چې پیچلي پلیټ فارمونه جوړوي - که تاسو یو څو کوچني خدمتونه اداره کوئ یا د سلګونو متقابل ماډلونو سره یو مدغم سیسټم لکه د میویز سوداګرۍ OS - عملي مشوره مستقیمه ده: د خالي کانټینرونو لپاره په استدلال باندې تکیه مه کوئ ، یو ډول چیکر غوره کړئ او داسې تنظیم کړئ چې د اسنادو ډول سره په کلکه چلند وکړي ، ماشین د تایید وړ. د [] پرځای د list[انوائس] لیکلو پنځه دقیقې به تاسو د ډیبګ کولو ساعتونه خوندي کړي کله چې ستاسو کوډبیس پیمانه شي.

لکه څنګه چې PEP 696 (د ډیفالټ ډول پیرامیټرې) او PEP 695 (ډول پارامیټر نحو) د Python په نویو نسخو کې ځمکې ته دوام ورکوي، د واضح ټایپ کولو ارګونومیک به وده ومومي. د "تشریح شوي" او "غیر اعلان شوي" پایتون ترمنځ واټن به کم شي. مګر تر هغې ورځې پورې، د واضح کانټینر ډولونه د Python د پراختیا کونکي تولک کټ کې یو له لوړ ROI عملونو څخه پاتې دی - یو کوچنی ډسپلین چې په هر ماډل، هر سپرینټ، او د تولید هر ځای پرځای کولو کې جامع دلچسپي ورکوي.

نن خپل سوداګریز OS جوړ کړئ

له آزادو کسانو څخه تر ادارو پورې، Mewayz د 207 مدغم ماډلونو سره 138,000+ سوداګرۍ ته واک ورکوي. وړیا پیل کړئ، کله چې تاسو وده کوئ نو لوړ کړئ.

وړيا اکاونټ جوړ کړئ →

په مکرر ډول پوښتل شوي پوښتنې

ولې ټایپ کونکي د خالي لیست ډول سره موافق نه شي؟

کله چې تاسو `x = []` ولیکئ، د ډول چیکر باید پرته له واضح اشارو څخه یو ډول معلوم کړي. مختلف چک کونکي مختلف ستراتیژیانې کاروي: ځینې یې د '' لیست [کوم]'' (د هر څه لیست) په ګوته کوي، پداسې حال کې چې نور ممکن یو ډیر مشخص مګر غلط ډول اټکل کړي لکه '' لیست [هیڅ]''. د نړیوال معیار نشتوالی له همدې امله دوی سره موافق نه دي. د هغو پروژو لپاره چې د څو چیکرونو په کارولو سره، دا ناانډولتیا یو لوی سر درد کیدی شي، په یوه وسیله کې تحلیل تحلیل چې په بل کې تیریږي.

د خالي کانتینرونو د تېروتنو د سمولو اسانه لار کومه ده؟

تر ټولو ساده حل دا دی چې یو څرګند ډول تشریح وړاندې کړئ. د `my_list = []` پر ځای، `my_list: list[str] = []` ولیکئ ترڅو په ښکاره ډول د ټاکل شوي ډول اعلان کړي. دا د ډول چیکر لپاره ټول ابهام لرې کوي ، د مختلف وسیلو لکه mypy ، Pyright ، او Pyre په اوږدو کې دوامداره چلند ډاډمن کوي. دا عمل د ټولو خالي کانټینر پیل کولو لپاره وړاندیز کیږي ترڅو د احتمالي غلطیو مخه ونیسي.

زه څنګه د ټولګي په تعریفونو کې خالي کانتینرونه اداره کړم؟

دا یوه عامه مسله ده ځکه چې د ټولګیو دننه تشریحات ځانګړي اداره کولو ته اړتیا لري. تاسو باید د __future__ import annotations' import یا د 'ClassVar' تشریح وکاروئ که چیرې لیست د ټولګي ځانګړتیا وي. د مثال په توګه، `کلاس MyClass: my_list: ClassVar[list[str]] = []`. له دې پرته، د ډول چیکر ممکن د ډول په سمه توګه په ګوته کولو کې مبارزه وکړي، چې د تېروتنې لامل کیږي.

آیا داسې وسایل شته چې په لویو پروژو کې د دې ټایپ کولو مسلو اداره کولو کې مرسته وکړي؟

هو، پرمختللی ډول چیکرونه لکه Pyright (کوم چې Pylance په VS Code کې واک ورکوي) په ځانګړي ډول د پیچلي انګیرنې اداره کولو کې ښه دي. د لویو کوډبیسونو لپاره، پلیټ فارمونه لکه Mewayz (د $ 19 / میاشت لپاره 207 تحلیلي ماډلونه وړاندې کوي) کولی شي ژور، ډیر ثابت ډول چکونه چمتو کړي او ستاسو په ټول ټیم ​​​​کې د تشریح کولو تمرینونو پلي کولو کې مرسته وکړي، په مقاله کې بحث شوي ناانډولۍ کموي.