Ĉi tiu artikolo estas dediĉita al kompara analizo de logikaj estaĵoj de la laboro de la germana filozofo Georg Wilhelm Friedrich Hegel "Scienco de Logiko" kun iliaj analogoj aŭ ilia foresto en programado.

Entoj de la Scienco de Logiko estas en kursivo por eviti konfuzon kun la ĝenerale akceptitaj difinoj de tiuj vortoj.

Pura estaĵo

Se vi malfermas la difinon pura estaĵo en la libro, vi vidos interesan linion "sen plia difino." Sed por tiuj, kiuj ne legis aŭ ne komprenas, ne rapidu akuzi la aŭtoron pri demenco. Pura estaĵo - tio estas baza koncepto en la logiko de Hegel, tio signifas, ke iu objekto ekzistas, bonvolu ne konfuzi ĝin kun la ekzisto de objekto, la objekto eble ne ekzistas en la realo, sed se ni iel difinis ĝin en nia logiko, ĝi ekzistas. Se vi pensas pri tio, vere ekzistas tiaj aferoj kiel pura estaĵo estas neeble doni difinon, kaj tia provo venos al tio, ke vi simple raportos al ĝiaj sinonimoj aŭ antonimoj. Pura estaĵo tia abstrakta koncepto, ke ĝi povas esti aplikata al absolute ĉio, inkluzive de si mem. En iuj objektorientaj lingvoj, eblas reprezenti ion ajn kiel objekton, inkluzive de operacioj sur objektoj, kiu principe donas al ni tian nivelon de abstraktado. Tamen, en programado la rekta analogo pura estaĵo Ne. Por kontroli la ekziston de objekto, ni devas kontroli ĝian foreston.

if(obj != null);

Estas strange, ke tia sintaksa sukero ankoraŭ ne ekzistas, ĉar ĉi tiu ĉeko estas tre populara.

Nenio

Kiel vi povus diveni nenio estas la foresto de io ajn. Kaj ĝia analogo povas esti nomata NULL. Indas rimarki, ke en la scienco de logiko nenio Estas pura estaĵo, ĉar ĝi ankaŭ ekzistas. Ĉi tio estas iom da kapto; ni ne povas aliri NULL kiel objekto en iu ajn lingvo, kvankam esence ĝi ankaŭ estas tia.

Formado kaj momentoj

Esti estas transiro de nenio в estanta kaj de estaĵo в nenio. Tio donas al ni du momento, la unua nomiĝas apero, kaj dua pasante. Trairejo ĝi nomiĝas tiel anstataŭ malapero, ĉar la logika esenco esence ne povas malaperi, krom se ni ĝin forgesis. Retiro kiel tia ni povas nomi la asigno proceduro. Se nia objekto estas pravigita, tiam momento de okazo, kaj en kazo de atribui alian valoron aŭ NULL momento de forpaso.

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

Ekzisto

Mallonge ekzisto estas objekto, kiu ne havas klaran difinon, sed havas certeco. Kion ĝi signifas. La kanona ekzemplo estas ordinara seĝo. Se vi provos doni al ĝi klaran difinon, vi renkontos multajn malfacilaĵojn. Ekzemple, vi diras: "ĉi tio estas meblo desegnita por sidado", sed la seĝo ankaŭ estas kreita por tio, ktp. Sed la manko de klara difino ne malhelpas nin reliefigi ĝin en la spaco kaj uzi ĝin dum transdono de informoj pri ĝi, tio estas ĉar en nia kapo estas certeco seĝo. Eble iuj jam divenis, ke neŭralaj retoj estis kreitaj por izoli tiajn objektojn de la datumfluo. Neŭrala reto povas esti indikita kiel funkcio kiu difinas tion certeco, sed ne ekzistas specoj de objektoj, kiuj inkluzivus klarajn kaj neklarajn difinojn, tial tiaj objektoj ne povas esti uzataj je la sama nivelo de abstraktado.

La leĝo de transiro de kvantaj ŝanĝoj en kvalitajn

Tiu ĉi leĝo estis formulita de Friedrich Engels kiel rezulto de la interpreto de la logiko de Hegelo. Tamen, ĝi povas esti klare vidita en la unua volumo en la ĉapitro pri malplej. Ĝia esenco estas tio kvanta ŝanĝoj al objekto povas influi ĝin la kvalito. Ekzemple, ni havas glaciobjekton; kun temperaturakumuliĝo, ĝi iĝos likva akvo kaj ŝanĝos sian kvalito. Por efektivigi ĉi tiun konduton en objekto, ekzistas Ŝtata dezajnopadrono. La apero de tia solvo estas kaŭzita de la foresto en programado de tia afero kiel bazo por apero objekto. Kialo determinas la kondiĉojn sub kiuj objekto povas aperi, kaj en la algoritmo ni mem decidas je kiu punkto ni devas pravalorigi la objekton.

PS: Se ĉi tiu informo estas interesa, mi recenzos aliajn entojn de la Scienco de Logiko.

fonto: www.habr.com