Python görnüşini barlaýjy deňeşdirme: Boş konteýner salgylanmasy

Şeýle-de bolsa, mypiniň özüni alyp barşy kontekste we berklik sazlamalaryna baglylykda düýpgöter üýtgeýär. Modulyň çäginde (ýokary derejeli kod) ýa-da konteýner ilat köpelmezden ozal başga bir funksiýa geçirilende, mypy köplenç sanawyna [Islendik] gaýdyp gelýär. - berk baýdagynyň aşagynda bu ýalňyşlyk ýüze çykýar, ýöne adaty tertipde sessiz geçýär. Diýmek, mypy berk re withoutimsiz işleýän toparlar, maksat ulgamyndan gaçyp, görnüş ulgamyndan gaçmak üçin hereket edýän aç-açan ýazylan onlarça konteýner toplap biler.

Aýratyn bir inçe gylyk-häsiýet: 0.990-dan ozal mypy wersiýalary käwagt içerde sanaw [Näbelli] bolup biler, soňra bolsa tabşyryk boýunça sanaw [Islendik] giňelder. 0.990-dan soňky döwürde bu pikir hasam berkitildi, ýöne üýtgeşiklik, duýman, rugsat beriş häsiýetine bil baglaýan hakyky dünýä kod kodlaryny geň galdyrdy. Bu gaýtalanýan tema - boş gaplardaky üýtgeşmeler, nagyşlar hemme ýerde barlygy sebäpli iň köp bozujy görnüşli barlag täzelenmeleriniň biridir.

Awtorlyk hukugy: Gaty görkezme we "Näbelli" görnüş

Microsoft tarapyndan işlenip düzülen we VS kodyndaky Pylance bilen işleýän awtorlyk hukugy düýpgöter başgaça filosofiki pozisiýa eýeleýär. Awtorlyk hukugy Islendik -e ýuwaşlyk bilen gaýdyp gelmegiň ýerine, Näbelli (entek kesgitlenmedik görnüş) bilen Islendik (görnüşi barlamakdan aç-açan çykmak) arasynda tapawutlanýar. Awtorlyk hukugynyň berk tertibinde x = [] ýazsaňyz, sanawy [Näbelli] düzýär we anyklaýyş işini geçirýär we bellik bermäge mejbur edýär.

Awtorlyk hukugy çäkleriň daralmagy hakda has agressiw. Writeazsaňyz:

• x = [] yzyndan x.append ("salam") - awtorlyk hukuklaryny bozýanlar sanaw [str]
• x = [] yzyndan x.append (1) , soň bolsa x.append ("salam") - awtorlyk hukuklaryny bozýanlar sanawy [int | str]
• x = [] gönüden-göni sanaw [int] - çagyryş sahypasynyň mazmunyndan awtorlyk hukuklaryny bozýanlar sanaw [int] garaşýan bir funksiýa geçdi
• x = [] yzyna gaýdyp görnüşli düşündiriş bermezden bir funksiýadan gaýdyp geldi - awtorlyk hukugy çaklamagyň ýerine ýalňyşlyk habar berýär

Bu iki taraplaýyn salgylanma (soňraky ulanylyşy we jaň saýtlaryndan garaşylýan görnüşleri ulanmak bilen) awtorlyk hukugyny boş gaplar üçin mypy-dan has takyk edýär. Söwda dolanyşygy: aç-açan migrasiýa hasabatlarynyň seljermesine görä, awtorlyk hukugynyň berk tertibi, mypy-nyň berk re modeimi bilen deňeşdirilende adaty bellige alynmadyk kod bazasynda takmynan 30-40% has köp mesele belleýär. Çylşyrymly arka ulgamlaryny gurýan toparlar üçin - CRM, aýlyk haklary we analitikany öz içine alýan 207 biri-birine bagly modullary dolandyrýan platforma üçin - awtorlyk hukugynyň berkligi ýumşak interfeýs gabat gelmeýän zatlary ýitirýär.

Pytype we Pyre: Az syýahat edilýän ýollar

Google-yň görnüşi, belki, iň pragmatiki çemeleşýär. Paýtip, düşündiriş talap etmegiň ýa-da Islendik -e gaýdyp gelmegiň ýerine, konteýneriň funksiýa çäklerinden nähili ulanylýandygyny yzarlamak üçin tutuş programma derňewi ulanýar. Bir funksiýada boş sanaw döredip, bitewi sanlary goşýan başga birine geçirseňiz, pytype köplenç hiç hili düşündiriş bermezden sanaw [int] diýip biler. Bu funksiýaly hasaplama hasaplaýyş taýdan gaty gymmat - pytip, uly kod bazalarynda mypy ýa-da awtorlyk hukugyndan ep-esli haýal, ýöne bellige alynmadyk kodda az ýalan pozitiw döredýär.

Pytype boş gaplar üçin "bölekleýin görnüşler" düşünjesini hem hödürleýär. Täze döredilen [] barlaýjy has köp ulanylanda kem-kemden arassalanýan bölekleýin görnüş alýar. Bu konseptual taýdan owadan, ýöne bölekleýin görnüşi doly çözülip bilinmedik ýagdaýynda, boş bir konteýner hiç wagt ilat bolmazdan birnäçe funksiýadan geçýän ýaly bulaşyk ýalňyş habarlaryny döredip biler.

Hakyky dünýä täsiri: Düşünişmezlik dişlenende

Görkezijileriň arasyndaky tapawutlar, önümçilik kod bazasynda başdan geçirýänçäňiz akademiki ýaly bolup biler. Işewür programmalarda umumy bir nagşy gözden geçiriň: şertli ilat arasynda maglumat gurluşyny başlamak.

Iň howply boş gaplar, barlaýjylaryň baýdagy däl - olar göz öňünde tutulan Islendik görnüşi bilen sessiz-üýnsüz geçýän, aşaky akym funksiýasy işleýän wagtynda TypeError bilen gelip çykýança duýduryş bermezden ýygnanmaga mümkinçilik berýän.

Muňa anyk mysal: fintech başlangyjyndaky bir topar, töleg meselesini çözmek funksiýasynda başlanan boş sanawyň mypy tarapyndan sanaw [Islendik] diýlip hasaplanylýan önümçilik meselesini çözmek üçin üç gün sarp edendigini habar berdi. Sanawda walýuta mukdary üçin onluk obýektleri bolmalydy, ýöne ýerine kod ýoly float bahalaryny goşýardy. Mypiniň ýumşak pikiri oňa ýuwaşlyk bilen rugsat berdi. Bugalňyşlyk diňe ýüzýän arifmetikadaky tegelek ýalňyşlyklar 12,000 hasap-faktura toplumynda 0.01 dollar deňsizlige sebäp bolanda ýüze çykdy. Awtorlyk hukugyny berk tertipde ulanan bolsalar ýa-da boş sanawy sanaw [Onluk] diýip bellän bolsalar, ýalňyşlyk ösüş döwründe tutulardy.

138,000+ ulanyjy hasaplary boýunça hasap-faktura, aýlyk hasaplamalary we maliýe seljerişleri işleýän Mewaýzda, bu hili howpsuzlyk boşlugy teoretiki däl - dogry aýlyk haklary bilen gymmat hasaplamalaryň arasyndaky tapawut. Konteýner başlangyjynyň töwereginde berk ýazmak düzgüni, tolgundyryjy önümçilik hadysalarynyň öňüni alýan "içgysgynç" in engineeringenerçilik tejribelerinden biridir.

Goranyş konteýner başlangyjy üçin iň oňat tejribe

Toparyňyzyň haýsy görnüşi barlaýandygyna garamazdan, boş konteýner düşnüksizligini ýok etmek üçin anyk strategiýalar bar. Maksat boş gaplar üçin hiç haçan bil baglamazlyk - görnüşiňizi aç-açan etmek, koduňyzyň ähli barlaýjylar üçin ykjam bolmagy we wersiýalaryň arasyndaky özüňi alyp barşyň üýtgemeginden goranmak.

1. Elmydama boş konteýner üýtgeýjileri bellik ediň. netijeleri ýazyň: netijeler = [] ýerine derek [int] = [] ýazyň. Tygşytlanan düzediş wagty bilen deňeşdirilende ownuk sözüň bahasy az. Bu ýeke-täk tejribe, boş konteýner meselesiniň takmynan 80% -ini ýok edýär.
2. Çylşyrymly gaplar üçin zawod funksiýalaryny ulanyň. cache = {} ýerine, def make_cache () -> dik [str, list [UserRecord]] ýaly funksiýa ýazyň: return}} . Yza gaýtaryş görnüşiniň düşündirişi göz öňünde tutulan görnüşi birmeňzeş we öz-özüni dokumentleşdirýär.
3. ipazylan konstruktorlary ähmiýetsiz görnüşler üçin söz sözlerinden has ileri tutuň. Defaultict we Counter üçin elmydama görnüş parametrini beriň: sanlar: Counter [str] = Counter () .
4. Täze kod üçin görnüşiňizi barlaýjynyň berk re modeimini düzüň. Miras kody ýuwaş-ýuwaşdan göçürilende täze modullary berk barlamaga mümkinçilik beriň. Bu, aç-açan ýazylan täze gaplaryň ýygnanmagynyň öňüni alýar.
5. CI turbageçirijiňiz bilen görnüşi barlaýjy deňeşdirme goşuň. Bir nagyş bir barlaýjydan geçse-de, beýlekisinden şowsuz bolsa, bu görnüşiň ýeterlik derejede açyk däldigini görkezýär.