Cymhariaeth Gwiriwr Math Python: Casgliad Cynhwysydd Gwag

Pam Mae Cynwysyddion Gwag yn Torri Gwirwyr Math Python - A Beth Gallwch Chi Ei Wneud Amdano

Mae system deipio raddol Python wedi aeddfedu'n sylweddol ers i PEP 484 gyflwyno awgrymiadau teip yn 2015. Heddiw, mae miliynau o ddatblygwyr yn dibynnu ar wirwyr math sefydlog i ddal bygiau cyn iddynt gyrraedd y cynhyrchiad. Ond mae cornel gynnil, rhwystredig o'r system fath sy'n dal i faglu hyd yn oed beirianwyr profiadol: pa fath sydd gan gynhwysydd gwag? Pan fyddwch chi'n ysgrifennu x = [] heb anodi, mae'n rhaid i'ch gwiriwr math ddyfalu - ac mae gwirwyr gwahanol yn dyfalu'n wahanol. Mae'r gwahaniaeth hwn yn creu problemau gwirioneddol i dimau sy'n cynnal cronfeydd cod mawr, lle gall newid neu gyfuno gwirwyr math wynebu cannoedd o wallau annisgwyl dros nos.

Mae'r erthygl hon yn dadansoddi sut mae'r pedwar gwiriwr math Python mawr - mypy, pyright, pytype, a coelcerth - yn delio â chasgliad cynhwysydd gwag, pam maen nhw'n anghytuno, a pha strategaethau ymarferol y gallwch chi eu mabwysiadu i ysgrifennu Python math-ddiogel waeth beth fo'ch dewis offer.

Y Broblem Graidd: Mae Cynwysyddion Gwag Yn Gynhenid Amwys

Ystyriwch y llinell ddiniwed hon o Python: results = []. Ydy canlyniadau yn rhestr[int]? rhestr[str]? rhestr[dict[str, Unrhyw]]? Heb gyd-destun ychwanegol, nid oes unrhyw ffordd i wybod mewn gwirionedd. Nid yw amser rhedeg Python yn poeni - mae rhestrau'n heterogenaidd eu natur - ond mae angen i wirwyr math statig neilltuo math concrit i bob newidyn i wneud eu gwaith. Mae hyn yn creu tensiwn sylfaenol rhwng hyblygrwydd deinamig Python a'r gwarantau y mae dadansoddiad statig yn ceisio eu darparu.

Mae'r broblem yn gwaethygu gyda geiriaduron a setiau. Mae {} gwag mewn gwirionedd yn cael ei ddosrannu fel dict, nid set, sy'n ychwanegu amwysedd cystrawenyddol ar ben yr amwysedd lefel-math. A chynwysyddion nythu — meddyliwch defaultdict(list) neu results = {k: [] am k mewn bysellau} — gwthiwch y peiriannau casglu i'w terfynau. Mae pob gwiriwr math wedi datblygu ei heuristics ei hun, ac mae'r gwahaniaethau'n fwy arwyddocaol nag y mae'r rhan fwyaf o ddatblygwyr yn sylweddoli.

Mewn systemau cynhyrchu sy'n prosesu llwythi gwaith go iawn - boed yn CRM sy'n trin cofnodion cwsmeriaid, modiwl anfonebu sy'n cynhyrchu eitemau llinell, neu biblinell ddadansoddeg sy'n crynhoi metrigau - mae cynwysyddion gwag yn ymddangos yn gyson fel patrymau cychwyn. Nid yn unig y mae cael eu mathau'n anghywir yn arwain at rybuddion gwayw; gall guddio chwilod dilys sy'n llithro drwodd i amser rhedeg.

Mypy: Casgliad Gohiriedig Gydag Unrhyw Ymhlyg

Mae Mypy, y gwiriwr math Python hynaf a mwyaf eang ei fabwysiadu, yn cymryd agwedd gymharol drugarog at gynwysyddion gwag. Pan ddaw ar draws x = [] yng nghwmpas swyddogaeth, mae'n ceisio gohirio'r penderfyniad math a chasglu'r math o elfen o ddefnydd dilynol. Os ysgrifennwch x = [] ac yna x.append(42), bydd mypy yn casglu rhestr[int]. Mae'r strategaeth "join" hon yn gweithio'n rhyfeddol o dda ar gyfer achosion syml lle mae'r cynhwysydd wedi'i boblogi o fewn yr un cwmpas.

Fodd bynnag, mae ymddygiad mypy yn newid yn ddramatig yn dibynnu ar y cyd-destun a gosodiadau llymder. Yng nghwmpas y modiwl (cod lefel uchaf), neu pan fydd y cynhwysydd yn cael ei drosglwyddo i swyddogaeth arall cyn cael ei boblogi, mae mypy yn aml yn disgyn yn ôl i rhestr[Any]. O dan y faner --strict, mae hyn yn sbarduno gwall, ond yn y modd rhagosodedig mae'n pasio'n dawel. Mae hyn yn golygu y gall timau sy'n rhedeg mypy heb fodd caeth gronni dwsinau o gynwysyddion sydd wedi'u teipio'n ddealledig sy'n gweithredu fel agoriadau dianc o'r system fath, gan drechu ei bwrpas.

Un ymddygiad arbennig o gynnil: weithiau byddai fersiynau mypy cyn 0.990 yn casglu rhestr[Anhysbys] yn fewnol ac yna'n ehangu i rhestr[Unrhyw] ar aseiniad. Ar ôl 0.990, tynhawyd y casgliad, ond torrodd y newid nifer syfrdanol o gronfeydd cod yn y byd go iawn a oedd wedi bod yn dibynnu ar yr ymddygiad caniataol heb sylweddoli hynny. Mae hon yn thema sy'n codi dro ar ôl tro - mae newidiadau i gasgliadau cynhwysydd gwag ymhlith y diweddariadau gwirio math mwyaf aflonyddgar oherwydd bod y patrymau mor hollbresennol.

Pyright: Casgliad Caeth a'r Math "Anhysbys"

Mae gan Pyright, a ddatblygwyd gan Microsoft ac sy'n pweru Pylance in VS Code, safiad athronyddol sylfaenol wahanol. Yn hytrach na syrthio'n ôl yn dawel i Unrhyw, mae pyright yn gwahaniaethu rhwng Anhysbys (math nad yw wedi'i bennu eto) ac Unrhyw (gwiriad optio allan o fath penodol). Pan fyddwch yn ysgrifennu x = [] yn y modd llym pyright, mae'n casglu list[Anhysbys] ac yn adrodd am ddiagnosteg, gan eich gorfodi i ddarparu anodiad.

Mae Pyright hefyd yn fwy ymosodol ynghylch culhau o fewn cwmpas. Os ydych yn ysgrifennu:

• x = [] wedi'i ddilyn gan x.append("helo") — mae pyright yn infers rhestr[str]
• x = [] wedi'i ddilyn gan x.append(1) yna x.append("helo") — pyright infers list[int | str]
• x = [] wedi'i basio'n uniongyrchol i ffwythiant sy'n disgwyl rhestr[int] — mae pyright yn dod i gasgliad rhestr[int] o gyd-destun y safle galw
Dychwelodd
• x = [] o swyddogaeth heb anodiad math dychwelyd - mae pyright yn adrodd gwall yn hytrach na dyfalu

Mae'r casgliad deugyfeiriadol hwn (gan ddefnyddio defnydd dilynol a mathau disgwyliedig o safleoedd galwadau) yn gwneud pyright yn nodedig yn fwy manwl gywir na mypy ar gyfer cynwysyddion gwag. Y cyfaddawd yw geirfa: mae modd caeth pyright yn tynnu sylw at tua 30-40% yn fwy o faterion ar sylfaen cod nodweddiadol heb ei anodi o'i gymharu â modd caeth mypy, yn ôl dadansoddiad o sawl adroddiad mudo ffynhonnell agored. Ar gyfer timau sy'n adeiladu systemau ôl-gefn cymhleth - dyweder, platfform sy'n rheoli 207 o fodiwlau rhyng-gysylltiedig sy'n rhychwantu CRM, y gyflogres, a dadansoddeg - mae llymder pyright yn dal camgymhariadau rhyngwyneb cynnil y byddai casgliad trugarog yn eu colli.

Pytype a Pyre: Y Ffyrdd Llai Teithiol

Mae'n bosibl mai pytype Google sy'n cymryd y dull mwyaf pragmatig. Yn hytrach na bod angen anodiadau neu ddisgyn yn ôl i Unrhyw, mae pytype yn defnyddio dadansoddiad rhaglen gyfan i olrhain sut mae cynhwysydd yn cael ei ddefnyddio ar draws ffiniau swyddogaethau. Os crëwch restr wag mewn un ffwythiant a'i phasio i un arall sy'n atodi cyfanrifau, yn aml gall pytype gasglu rhestr[int] heb unrhyw anodiadau o gwbl. Mae'r casgliad traws-swyddogaeth hwn yn ddrud yn gyfrifiadol — mae pytype yn sylweddol arafach na mypy neu pyright ar gronfeydd codau mawr — ond mae'n cynhyrchu llai o bethau positif ffug ar god heb ei anodi.

Mae Pytype hefyd yn cyflwyno'r cysyniad o "mathau rhannol" ar gyfer cynwysyddion gwag. Mae [] sydd newydd ei greu yn cael math rhannol sy'n cael ei fireinio'n raddol wrth i'r gwiriwr ddod ar draws mwy o ddefnydd. Mae hyn yn gain yn gysyniadol ond gall gynhyrchu negeseuon gwall dryslyd pan na ellir datrys y math rhannol yn llawn, megis pan fydd cynhwysydd gwag yn llifo trwy sawl swyddogaeth heb byth gael ei boblogi.

Yn y cyfamser, mae coelcerth Meta yn nes at ymddygiad mypy ond gyda rhagosodiadau llymach. Mae Pyre yn trin x = [] fel rhestr[anhysbys] ac mae angen anodi yn y rhan fwyaf o gyd-destunau. Lle mae coelcerth yn gwahaniaethu ei hun yw'r ffordd y mae'n ymdrin â llythrennau geiriadur gwag a ddefnyddir fel kwargs - patrwm cyffredin mewn fframweithiau gwe. Mae gan Pyre resymeg achos arbennig i gasglu mathau o eiriadur o gyd-destunau dadl allweddair, gan leihau'r baich anodi mewn cronfeydd cod trwm o fewn fframwaith. O ystyried bod y rhan fwyaf o gymwysiadau gwe modern yn cynnwys llawer o ddefnydd o ddadbacio geiriadur ar gyfer ffurfweddu a thrin ceisiadau, mae'r bragmatiaeth hon yn talu ar ei ganfed.

Effaith Byd Go Iawn: Pan Mae Casgliadau Dargyfeiriad yn Brathu

Gallai'r gwahaniaethau rhwng gwirwyr math ymddangos yn academaidd nes i chi eu profi mewn cronfa godau cynhyrchu. Ystyriwch batrwm cyffredin mewn cymwysiadau busnes: cychwyn strwythur data sy'n cael ei boblogi'n amodol.

Nid y cynwysyddion gwag mwyaf peryglus yw baner y gwiriwr math - nhw yw'r rhai sy'n pasio'n dawel gyda math awgrymedig Unrhyw, sy'n caniatáu i ddata anghydnaws gronni heb rybudd nes bod swyddogaeth i lawr yr afon yn damwain amser rhedeg gyda TypeError sydd bron yn amhosibl olrhain yn ôl i'w darddiad.

Enghraifft bendant: adroddodd tîm mewn menter fintech eu bod wedi gwario tri diwrnod yn dadfygio problem cynhyrchu lle mae rhestr wag, a ddechreuwyd mewn swyddogaeth prosesu taliadau, wedi'i chasglu fel rhestr[Any] gan mypy. Roedd y rhestr i fod i gynnwys gwrthrychau Degol ar gyfer symiau arian cyfred, ond roedd llwybr cod yn atodi gwerthoedd arnofio yn lle hynny. Roedd casgliad trugarog Mypy yn ei ganiatáu yn dawel. Daeth y byg i'r amlwg dim ond pan achosodd gwallau talgrynnu mewn rhifyddeg fflôt anghysondeb $0.01 ar swp o 12,000 o anfonebau. Pe baent wedi defnyddio pyright yn y modd caeth, neu wedi anodi'r rhestr wag fel rhestr[Degol], byddai'r nam wedi'i ddal adeg datblygu.

Yn Mewayz, lle mae'r platfform yn prosesu anfonebau, cyfrifiadau cyflogres, a dadansoddeg ariannol ar draws 138,000+ o gyfrifon defnyddwyr, nid yw'r math hwn o fwlch diogelwch math hwn yn ddamcaniaethol - dyma'r gwahaniaeth rhwng rhediadau cyflogres cywir ac ailgyfrifiadau costus. Mae disgyblaeth deipio llym o amgylch cychwyn cynhwysydd yn un o'r arferion peirianneg "diflas" hynny sy'n atal digwyddiadau cynhyrchu cyffrous.

Arferion Gorau ar gyfer Cychwyn Cynhwysydd Amddiffynnol

Waeth pa fath o wiriwr y mae eich tîm yn ei ddefnyddio, mae yna strategaethau pendant i ddileu amwysedd cynhwysyddion gwag yn gyfan gwbl. Y nod yw peidio byth â dibynnu ar gasgliad am gynwysyddion gwag - gwnewch y math yn glir fel bod eich cod yn gludadwy ar draws pob gwiriwr ac yn imiwn i newidiadau ymddygiad casgliad rhwng fersiynau.

1. Anodwch newidynnau cynhwysydd gwag bob amser. Ysgrifennwch results: list[int] = [] yn lle results = []. Mae'r gost verbosity mân yn ddibwys o'i gymharu â'r amser dadfygio a arbedwyd. Mae'r arfer sengl hwn yn dileu tua 80% o broblemau casglu cynhwysyddion gwag.
2. Defnyddiwch ffwythiannau ffatri ar gyfer cynwysyddion cymhleth. Yn lle cache = {}, ysgrifennwch swyddogaeth fel def make_cache() -> dict[str, list[UserRecord]]: dychwelyd {}. Mae'r anodiad math dychwelyd yn gwneud y math arfaethedig yn ddiamwys ac yn hunanddogfennu.
3. Mae'n well gen i adeiladwyr wedi'u teipio dros lythrennau ar gyfer mathau nad ydynt yn ddibwys. Ysgrifennwch items: set[int] = set() yn hytrach na dibynnu ar gasgliad set a deall. Ar gyfer defaultdict a Counter, rhowch y paramedr math bob amser: cyfrif: Counter[str] = Counter().
4. Ffurfweddwch fodd llym eich gwiriwr math ar gyfer cod newydd. Mae mypy a pyright yn cefnogi ffurfweddiad fesul ffeil neu gyfeirlyfr. Galluogi gwirio llym ar fodiwlau newydd tra'n mudo cod etifeddiaeth yn raddol. Mae hyn yn atal cynwysyddion newydd sydd wedi'u teipio'n ddealledig rhag cronni.
5. Ychwanegwch gymhariaeth gwiriwr math i'ch piblinell CI. Mae rhedeg mypy a pyright ar eich codebase yn dal dargyfeiriad casgliad yn gynnar. Os yw patrwm yn mynd heibio i un gwiriwr ond yn methu un arall, mae'n arwydd nad yw'r math yn ddigon amlwg.

Y Llun Mwy: Gwirio Math fel Practis Tîm

Mae casgliad cynhwysydd gwag yn y pen draw yn ficrocosm o her fwy yn system fath Python: y tensiwn rhwng cyfleustra a diogelwch. Mae athroniaeth Python o "rydyn ni i gyd yn oedolion sy'n cydsynio" yn gweithio'n hyfryd ar gyfer prototeipio a sgriptiau, ond mae angen gwarantau cryfach ar systemau cynhyrchu sy'n gwasanaethu miloedd o ddefnyddwyr. Mae'r ffaith bod pedwar gwiriwr teip mawr yn anghytuno ar rywbeth mor sylfaenol â'r math o [] yn tanlinellu bod ecosystem teipio Python yn dal i aeddfedu.

Ar gyfer timau peirianneg sy'n adeiladu llwyfannau cymhleth - p'un a ydych chi'n rheoli llond llaw o ficrowasanaethau neu system integredig gyda channoedd o fodiwlau rhyng-gysylltiedig fel OS busnes Mewayz - mae'r cyngor ymarferol yn syml: peidiwch â dibynnu ar gasgliad am gynwysyddion gwag, dewiswch wiriwr math a'i ffurfweddu'n llym, a thriniwch anodiadau teip fel dogfennaeth sy'n digwydd bod yn wiriadwy â pheiriant. Bydd y pum munud a dreulir yn ysgrifennu rhestr[Anfoneb] yn lle [] yn arbed oriau o ddadfygio pan fydd eich cronfa god yn graddio.

Wrth i PEP 696 (paramedrau math diofyn) a PEP 695 (cystrawen math paramedr) barhau i lanio mewn fersiynau Python mwy newydd, bydd ergonomeg teipio penodol yn parhau i wella. Bydd y bwlch rhwng "anodedig" a "heb ei nodi" Python yn culhau. Ond tan y diwrnod hwnnw, mae mathau penodol o gynwysyddion yn parhau i fod yn un o'r arferion ROI uchaf ym mhecyn cymorth datblygwr Python - disgyblaeth fach sy'n talu llog cyfansawdd ar draws pob modiwl, pob sbrint, a phob defnydd cynhyrchu.