Python Type Checker Comparison: Empty Container Inference

Hvers vegna tómir gámar brjóta Python tegund afgreiðslukassa – og hvað þú getur gert við því

Hægfara innsláttarkerfi Python hefur þroskast umtalsvert síðan PEP 484 kynnti tegundavísbendingar árið 2015. Í dag treysta milljónir þróunaraðila á kyrrstæða gerð afgreiðslukassa til að ná villum áður en þær koma í framleiðslu. En það er lúmskur, pirrandi horn af gerð kerfisins sem enn slær jafnvel reyndum verkfræðingum upp: hvaða tegund hefur tómur gámur? Þegar þú skrifar x = [] án athugasemda, þá þarf tegundatékkinn þinn að giska - og mismunandi afgreiðslukarar giska öðruvísi. Þessi mismunur skapar raunveruleg vandamál fyrir teymi sem viðhalda stórum kóðabasa, þar sem skipting eða sameining af tegundatékkum getur komið upp hundruðum óvæntra villna á einni nóttu.

Í þessari grein er greint frá því hvernig fjórir helstu Python gerðir afgreiðslukarlarnir - mypy, pyright, pytype og pyre - höndla tómar gámaályktanir, hvers vegna þeir eru ósammála og hvaða hagnýtu aðferðir þú getur notað til að skrifa tegundaröruggan Python, óháð tækjavali þínu.

Karnavandamálið: Tómir ílát eru í eðli sínu óljósir

Íhugaðu þessa saklausu línu Python: niðurstöður = []. Er niðurstöður listi[int]? listi[str]? listi[dict[str, allir]]? Án viðbótarsamhengis er í raun engin leið að vita það. Python keyrslutímanum er alveg sama - listar eru ólíkir í eðli sínu - en kyrrstæður afgreiðslumenn þurfa að úthluta steypugerð á hverja breytu til að gera starf sitt. Þetta skapar grundvallarspennu á milli kraftmikilla sveigjanleika Python og tryggingar sem kyrrstöðugreining reynir að veita.

Vandamálið blandast saman við orðabækur og mengi. Tómt {} er í raun þáttað sem dict, ekki mengi, sem bætir setningafræðilegum tvíræðni ofan á tegundarstigs tvíræðni. Og hreiður ílát - hugsaðu um defaultdict(list) eða niðurstöður = {k: [] fyrir k í lyklum - ýta ályktunarvélum að mörkum. Hver tegundaskoðun hefur þróað sína eigin heuristics og munurinn er mikilvægari en flestir þróunaraðilar gera sér grein fyrir.

Í framleiðslukerfum sem vinna raunverulegt vinnuálag - hvort sem það er CRM sem sér um viðskiptafærslur, reikningseining sem býr til línur eða greiningarleiðslu sem safnar saman mæligildum - birtast tómir gámar stöðugt sem upphafsmynstur. Að fá gerðir þeirra rangar framleiðir ekki bara linter viðvaranir; það getur dulið ósviknar villur sem renna í gegnum til keyrslutíma.

Mypy: Frestað ályktun með óbeinum hætti

Mypy, elsti og vinsælasti Python gerð afgreiðslumaðurinn, tekur tiltölulega mildilega nálgun við tóma ílát. Þegar það rekst á x = [] við aðgerðasvið reynir það að fresta tegundarákvörðuninni og álykta um frumefnisgerðina frá síðari notkun. Ef þú skrifar x = [] á eftir x.append(42) mun mypy álykta um list[int]. Þessi „join“ stefna virkar furðu vel í einföldum tilvikum þar sem gámurinn er byggður innan sama umfangs.

Hins vegar breytist hegðun mypy verulega eftir samhengi og strangleikastillingum. Þegar einingin er umfang (kóði á efsta stigi), eða þegar ílátið er sent til annarrar aðgerðar áður en það er fyllt út, fellur mypy oft aftur á listann[Hvað sem er]. Undir merkinu --strict veldur þetta villu, en í sjálfgefna stillingu fer það hljóðlaust yfir. Þetta þýðir að teymi sem keyra mypy án strangrar stillingar geta safnað tugum óbeint innritaðra íláta sem virka sem neyðarlúgur frá tegundakerfinu og vinna bug á tilgangi þess.

Ein sérstaklega lúmsk hegðun: mypy útgáfur fyrir 0.990 myndu stundum álykta um listi[Óþekktur] innbyrðis og stækka síðan í listi[Alla] við úthlutun. Eftir 0,990 var ályktunin hert, en breytingin braut óvæntan fjölda raunverulegra kóðagrunna sem höfðu treyst á leyfishegðun án þess að gera sér grein fyrir því. Þetta er endurtekið þema - breytingar á ályktunum um tóma gáma eru meðal truflandi uppfærslur af tékkönnu vegna þess að mynstrin eru svo alls staðar nálæg.

Pyright: Strict inference og "Óþekkt" gerð

Pyright, þróað af Microsoft og knýr Pylance í VS Code, tekur í grundvallaratriðum aðra heimspekilega afstöðu. Í stað þess að falla hljóðlaust aftur að Hvað sem er, gerir höfundarréttur greinarmun á Óþekkt (tegund sem hefur ekki verið ákveðin ennþá) og Hver sem er (skýrt afþakka tegundathugun). Þegar þú skrifar x = [] í strangri stillingu höfundarréttar, þá ályktar það um listi[Óþekkt] og tilkynnir um greiningu, sem neyðir þig til að gefa athugasemd.

Pyright er líka árásargjarnara varðandi þrenging innan gildissviðs. Ef þú skrifar:

• x = [] á eftir x.append("halló") — höfundarréttur ályktar að listi[str]
• x = [] á eftir x.append(1) og síðan x.append("halló") — höfundarréttur leiðir af sér list[int | str]
• x = [] sent beint í fall sem væntir list[int] — höfundarréttur ályktar list[int] frá samhengi símtalssíðunnar
• x = [] skilað frá falli án endurskýrslugerðar – höfundarréttur tilkynnir um villu frekar en að giska á

Þessi tvíátta ályktun (með því að nota bæði síðari notkun og væntanlegar tegundir frá símtalasíðum) gerir höfundarrétt sérstaklega nákvæmari en mypy fyrir tóma ílát. Málið er orðrétt: strangur háttur höfundarréttar flaggar um það bil 30-40% fleiri mál á dæmigerðum kóðagrunni án athugasemda samanborið við stranga stillingu mypy, samkvæmt greiningu úr nokkrum opnum flutningsskýrslum. Fyrir teymi sem byggja flókin bakendakerfi - til dæmis vettvang sem stjórnar 207 samtengdum einingum sem spanna CRM, launaskrá og greiningar - grípur strangleiki höfundaréttar lúmskur misræmi í viðmóti sem vægur ályktun myndi missa af.

Pytype and Pyre: The less travelled roads

Pytype Google notar kannski raunsærustu nálgunina. Í stað þess að krefjast athugasemda eða falla aftur í Hvað sem er, notar pytype heildarforritsgreiningu til að fylgjast með því hvernig ílát er notað þvert á aðgerðamörk. Ef þú býrð til tóman lista í einni aðgerð og sendir hann til annarrar sem bætir við heiltölum, getur pytype oft ályktað um list[int] án nokkurra athugasemda. Þessi þvervirka ályktun er útreikningalega dýr – pytype er verulega hægari en mypy eða pyright á stórum kóðabasa – en hún gefur færri rangar jákvæðar á ómerktan kóða.

Pytype kynnir einnig hugtakið "hlutagerðir" fyrir tóma ílát. Nýbúin [] fær hlutagerð sem er smám saman betrumbætt eftir því sem afgreiðslumaðurinn lendir í meiri notkun. Þetta er hugmyndafræðilega glæsilegt en getur valdið ruglingslegum villuboðum þegar ekki er hægt að leysa hlutagerðina að fullu, eins og þegar tómur gámur rennur í gegnum nokkrar aðgerðir án þess að vera nokkurn tíma fyllt út.

Bál Meta hneigist á sama tíma nær hegðun mypy en með strangari vanskilum. Pyre meðhöndlar x = [] sem listi[óþekktur] og krefst athugasemda í flestum samhengi. Þar sem pyre aðgreinir sig er í meðhöndlun þess á tómum orðabókum sem notuð eru sem kwargs - algengt mynstur í veframma. Pyre hefur sérstakt tilviksrökfræði til að álykta orðabókategundir úr samhengi leitarorðaröksemda, sem dregur úr athugasemdabyrði í rammaþungum kóðagrunnum. Í ljósi þess að flest nútíma vefforrit fela í sér mikla notkun orðabókaupptöku til að stilla upp og meðhöndla beiðnir, þá borgar þessi raunsæi arð.

Áhrif raunheimsins: Þegar ályktunarmunur bítur

Munurinn á tegundatékkum gæti virst fræðilegur þar til þú upplifir þá í framleiðslukóðagrunni. Íhugaðu algengt mynstur í viðskiptaforritum: frumstilla gagnaskipulag sem fyllist með skilyrðum.

Hættulegustu tómu gámarnir eru ekki þeir sem gera afgreiðslufánann - þeir eru þeir sem fara hljóðlaust framhjá með ályktinni Alla gerð, sem gerir ósamrýmanlegum gögnum kleift að safnast fyrir án viðvörunar þar til niðurstreymisaðgerð hrynur á keyrslutíma með TypeError sem er næstum ómögulegt að rekja til uppruna þess.

Áþreifanlegt dæmi: teymi hjá fintech gangsetningu greindi frá því að hafa eytt þrjá dögum í að kemba framleiðsluvandamál þar sem tómur listi, frumstilltur í greiðsluvinnsluaðgerð, var ályktaður sem listi[Allir] af mypy. Listinn átti að innihalda tugastafa hluti fyrir gjaldeyrisupphæðir, en kóðaslóð var að bæta við flota gildum í staðinn. Létt ályktun Mypy leyfði það hljóðlega. Villan kom aðeins upp á yfirborðið þegar námundunarvillur í flotreikningi ollu $ 0,01 misræmi á lotu af 12.000 reikningum. Hefðu þeir notað höfundarrétt í ströngum ham, eða einfaldlega merkt tóma listann sem listi[Taugastaf], hefði villan verið gripin á þróunartíma.

Hjá Mewayz, þar sem vettvangurinn vinnur úr reikningum, launaútreikningum og fjárhagslegum greiningum á yfir 138.000 notendareikningum, er svona öryggisbil af þessu tagi ekki fræðilegt - það er munurinn á réttum launakönnunum og kostnaðarsömum endurútreikningum. Strangur innsláttaraga í kringum upphafssetningu gáma er ein af þessum „leiðinlegu“ verkfræðiaðferðum sem kemur í veg fyrir spennandi framleiðsluatvik.

Bestu starfshættir fyrir frumstillingu varnargáma

Óháð því hvaða tegund afgreiðsluvélar teymið þitt notar, þá eru til áþreifanlegar aðferðir til að koma í veg fyrir tvíræðni í tómum gámum. Markmiðið er að treysta aldrei á ályktanir fyrir tóma ílát - gerðu tegundina skýra svo kóðinn þinn sé flytjanlegur yfir alla afgreiðslukassa og ónæmur fyrir breytingum á ályktunarhegðun milli útgáfur.

1. Skrifaðu alltaf athugasemdir við tómar gámabreytur. Skrifaðu niðurstöður: list[int] = [] í stað niðurstöður = []. Minniháttar orðræðukostnaður er hverfandi miðað við villuleitartímann sem sparast. Þessi eina æfing útilokar u.þ.b. 80% af ályktunarvandamálum í tómum gámum.
2. Notaðu verksmiðjuaðgerðir fyrir flókna ílát. Í stað skyndiminni = {} skaltu skrifa fall eins og def make_cache() -> dict[str, list[UserRecord]]: skila {}. Skýringin á skilategundinni gerir fyrirhugaða gerð ótvíræða og sjálfsskjalandi.
3. Kjósið vélritaða smiði fram yfir bókstafi fyrir ekki léttvægar tegundir. Skrifaðu items: set[int] = set() frekar en að treysta á ályktun mengiskilnings. Fyrir defaultdict og Counter, gefðu alltaf upp tegundarbreytuna: counts: Counter[str] = Counter().
4. Stilltu stranga stillingu tegundaskoðunar fyrir nýjan kóða. Bæði mypy og höfundarrétt styðja stillingar fyrir hverja skrá eða hverja möppu. Virkjaðu stranga athugun á nýjum einingum á meðan þú flytur gamalt kóða smám saman. Þetta kemur í veg fyrir uppsöfnun nýrra gáma sem eru óbeint slegnir.
5. Bættu tegundasamanburði við CI leiðsluna þína. Að keyra bæði mypy og höfundarrétt á kóðagrunninum þínum nær snemma ályktunum. Ef mynstur fer framhjá einum tígli en mistekst annað, er það merki um að tegundin sé ekki nógu skýr.

Stærra myndin: Tékkaskoðun sem liðsæfing

Tóm gámaályktun er á endanum örvera af stærri áskorun í tegundarkerfi Python: togstreitan milli þæginda og öryggis. Hugmyndafræði Python um „við erum öll samþykk fullorðna“ virkar fallega fyrir frumgerð og forskriftir, en framleiðslukerfi sem þjóna þúsundum notenda þurfa sterkari tryggingar. Sú staðreynd að fjórir helstu afgreiðslumenn eru ósammála um eitthvað jafn undirstöðuatriði og gerð [] undirstrikar að vistkerfi Python vélritunar er enn að þroskast.

Fyrir verkfræðingateymi sem byggja flókna vettvanga - hvort sem þú ert að stjórna handfylli af örþjónustum eða samþættu kerfi með hundruðum samtengdra eininga eins og Mewayz viðskiptastýrikerfi - eru hagnýtu ráðin einföld: ekki treysta á ályktanir fyrir tóma ílát, veldu tegundaskoðun og stilltu hann nákvæmlega og meðhöndlaðu tegundaskýringar sem skjöl sem hægt er að sannreyna í vél. Þær fimm mínútur sem fara í að skrifa lista[Reikning] í stað [] spara þér tíma af villuleit þegar kóðagrunnurinn þinn stækkar.

Þar sem PEP 696 (sjálfgefin gerð færibreytur) og PEP 695 (tegund færibreytur setningafræði) halda áfram að lenda í nýrri Python útgáfum, mun vinnuvistfræði skýrrar vélritunar halda áfram að batna. Bilið milli „skýrt“ og „óskýrt“ Python mun minnka. En fram að þeim degi eru skýrar gámategundir áfram ein af hæstu arðsemisaðferðum í verkfærakistu Python þróunaraðila - lítil fræðigrein sem greiðir vexti á hverri einingu, hvern sprett og hverja framleiðsluuppsetningu.

Algengar spurningar

Hvers vegna geta tegundarafgreiðslumenn ekki verið sammála um gerð tóms lista?

Þegar þú skrifar `x = []` verður tegundaprófið að álykta um tegund án skýrra vísbendinga. Mismunandi afgreiðslumenn nota mismunandi aðferðir: Sumir álykta „listi[Hvað sem er]“ (listi yfir hvað sem er), á meðan aðrir geta ályktað um nákvæmari en ranga gerð eins og „listi[Enginn]“. Þessi skortur á alhliða staðli er ástæða þess að þeir eru ósammála. Fyrir verkefni sem nota marga afgreiðslukassa getur þetta ósamræmi verið mikill höfuðverkur, brotið greininguna í einu verkfæri sem fer í annað.

Hver er einfaldasta leiðin til að laga villur í tómum gámum?

Einfaldasta lausnin er að gefa skýra skýringu. Í stað `my_list = []` skaltu skrifa `my_list: list[str] = []` til að lýsa yfir fyrirhugaðri gerð. Þetta fjarlægir allan tvískinnung fyrir tegundaskoðarann ​​og tryggir samræmda hegðun í mismunandi verkfærum eins og mypy, Pyright og Pyre. Mælt er með þessari framkvæmd fyrir allar frumstillingar tómra gáma til að koma í veg fyrir ályktunarvillur.

Hvernig meðhöndla ég tóma gáma innan flokkaskilgreininga?

Þetta er algengt mál vegna þess að athugasemdir inni í flokkum krefjast sérstakrar meðhöndlunar. Þú verður að nota innflutninginn „frá __framtíðar__ innflutningsskýringar“ eða „ClassVar“ athugasemd ef ætlunin er að listinn sé flokkseigind. Til dæmis, `class MyClass: my_list: ClassVar[list[str]] = []`. Án þessa gæti tegundaskoðarinn átt í erfiðleikum með að álykta um tegundina, sem leiðir til villna.

Er til verkfæri til að hjálpa til við að stjórna þessum innsláttarvandamálum í stórum verkefnum?

Já, háþróaður afgreiðslumaður eins og Pyright (sem knýr Pylance í VS kóða) er sérstaklega góður í að meðhöndla flóknar ályktanir. Fyrir stóra kóðabasa geta vettvangar eins og Mewayz (sem bjóða upp á 207 greiningareiningar fyrir $19/mánuði) veitt dýpri, samkvæmari tegundaskoðun og hjálpað til við að framfylgja athugasemdaaðferðum í öllu teyminu þínu, og draga úr ósamræminu sem fjallað er um í greininni.