Ev gotar ji xebata fîlozofê alman Georg Wilhelm Friedrich Hegel "Zanistiya Mantiqê" re bi analogên wan an jî tunebûna wan di bernamekirinê de, ji analîzek berawirdî ya hebûnên mantiqî re hatiye veqetandin.

Saziyên ji Zanistiya Mantiqê bi îtalîk in da ku bi pênaseyên pejirandî yên van peyvan re ji tevliheviyê dûr nekevin.

Hebûna pak

Ger hûn pênasê vekin hebûna pak di pirtûkê de, hûn ê rêzek balkêş "bê pênaseyek din" bibînin. Lê ji bo kesên ku nexwendin an jî fêm nakin, lez nekin ku nivîskar bi dementia tawanbar bikin. Hebûna pak - ev têgeheke bingehîn e di mantiqa Hegel de, yanî hin tişt hene, ji kerema xwe wê bi hebûna nesneyekê re tevlihev nekin, dibe ku nesne di rastiyê de tune be, lê heke me bi rengekî di mantiqê xwe de diyar kir, ew heye. Ger hûn li ser wê bifikirin, bi rastî tiştên weha hene hebûna pak ne mimkûn e ku meriv pênaseyek bide, û her hewildanek wusa dê bigihîje wê yekê ku hûn ê bi tenê behsa hevwate û antonîmên wê bikin. Hebûna pak têgeheke wisa razber ku dikare bi temamî li ser her tiştî, xwe jî tê de, were sepandin. Di hin zimanên obje-oriented de, mimkun e ku her tişt wekî objeyek were temsîl kirin, di nav de operasyonên li ser nesneyan, ku di prensîbê de astek wusa abstrakasyonê dide me. Lêbelê, di bernamekirinê de analoga rasterast hebûna pak Na. Ji bo kontrolkirina hebûna nesneyekê, divê em nebûna wê kontrol bikin.

if(obj != null);

Ecêb e ku şekirê syntaktîkek wusa hîn tune, ji ber ku ev kontrol pir populer e.

Tiştek

Hûn çawa dikarin texmîn bikin tiştek nebûna tiştekî ye. Û analoga wê dikare bê gotin NULL. Hêjayî gotinê ye ku di zanista mantiqê de tiştek Ev e hebûna pak, ji ber ku ew jî heye. Ev piçek girtî ye; em nikarin bi tu zimanî xwe bigihînin NULL wekî objeyek, her çend di eslê xwe de ew jî yek e.

Çêbûn û kêlî

Formasyona derbasbûnek e ji tiştek в hebûn û ji bûn в tiştek. Ev ji me re du evdem, ya yekem tê gotin derketina holêû ya duyem derbas dibe. Rêk Li şûna wendabûnê wisa tê gotin, ji ber ku cewhera mentiqî bi eslê xwe ji holê ranabe heya ku me ew ji bîr neke. Vekişîn Bi vî awayî em dikarin prosedûra peywirê bi nav bikin. Ger objekta me were destpêkirin, wê hingê kêliya rûdanê, û di doza danasîna nirxek din an NULL kêliya derbasbûnê.

obj = new object(); //возникновение
obj = null; //прехождение

Hebûnî

Bi kurtî hebûnî objeyek e ku pênaseyeke wê ya zelal nîne, lê heye bêpirsî. Poldayî. Mînaka kanonîkî kursiyek asayî ye. Ger hûn hewl bidin ku pênaseyek zelal bidin, hûn ê rastî gelek zehmetiyan werin. Mînakî, hûn dibêjin: "ev perçeyek mobîlya ye ku ji bo rûniştinê hatî çêkirin," lê kursî jî ji bo vê hatî çêkirin û hwd. Lê nebûna pênaseyek zelal nahêle ku em wê li fezayê ronî bikin û dema ku agahdariya li ser wê vediguhezînin bikar bînin, ev yek ji ber ku di serê me de heye. bêpirsî kûrsî. Dibe ku hinekan jixwe texmîn kirine ku torên neuralî hatine afirandin ku tiştên weha ji herika daneyê veqetînin. Tora neuralî dikare wekî fonksiyonek ku vê diyar dike were destnîşan kirin bêpirsî, lê cûreyên nesneyan tune ku pênaseyên zelal û nezelal bihewînin, ji ber vê yekê tiştên weha nikarin di heman asta abstraksiyonê de werin bikar anîn.

Zagona veguheztina mîqdar di nav yên kalîteyî de diguhere

Ev zagon ji aliyê Friedrich Engels ve di encama şîrovekirina mantiqê Hegel de hatiye formulekirin. Lêbelê, ew dikare di cilda yekem a beşa li ser de bi zelalî were dîtin pîvan. Esasê wê ew e hejmarî guhertinên li tiştekî dikare bandorê li wê bike kalîteyê. Mînakî, heyberek me ya qeşayê heye; bi kombûna germahiyê re, ew ê bibe ava şil û xwe biguhezîne çêwe. Ji bo bicihanîna vê tevgerê di objeyekê de, şêweyek sêwirana Dewletê heye. Çêbûna çareseriyek weha ji ber nebûna di bernamekirinê de tiştek weha ye bingeh bo derketina holê tişt. Weqfa şert û mercên ku tê de tiştek dikare xuya bibe diyar dike, û di algorîtmayê de em bixwe biryar didin ku em di kîjan xalê de hewce ne ku objektê bidin destpêkirin.

PS: Ger ev agahdarî balkêş be, ez ê saziyên din ên ji Zanistiya Mantiqê binirxînim.

Source: www.habr.com