Dit artikel is wijd oan in ferlykjende analyze fan logyske entiteiten út it wurk fan 'e Dútske filosoof Georg Wilhelm Friedrich Hegel "Science of Logic" mei harren analogen of harren ôfwêzigens yn programmearring.

Entiteiten út 'e Science of Logic binne kursyf om betizing te foarkommen mei de algemien akseptearre definysjes fan dizze wurden.

Rein wêzen

As jo ​​iepenje de definysje suver wêzen yn it boek sille jo in nijsgjirrige rigel sjen "sûnder fierdere definysje." Mar foar dyjingen dy't net lêzen hawwe of net begripe, haast net om de skriuwer te beskuldigjen fan demintens. Rein wêzen - dit is in basisbegrip yn Hegel's logika, wat betsjuttet dat ien of oare objekt bestiet, betize it asjebleaft net mei it bestean fan in objekt, it objekt bestiet miskien net yn 'e realiteit, mar as wy it op ien of oare manier definieare yn ús logika, bestiet it. As jo ​​der oer neitinke, binne d'r echt sokke dingen as suver wêzen it is ûnmooglik om in definysje te jaan, en sa'n besykjen sil delkomme op it feit dat jo gewoan ferwize nei syn synonimen of antonymen. Rein wêzen sa'n abstrakt begryp dat it op absolút alles tapast wurde kin, ynklusyf himsels. Yn guon objekt-rjochte talen is it mooglik om alles as objekt foar te stellen, ynklusyf operaasjes op objekten, wat ús yn prinsipe sa'n abstraksjenivo jout. Lykwols, yn it programmearjen fan de direkte analoog suver wêzen Nee. Om te kontrolearjen op it bestean fan in objekt, moatte wy kontrolearje op syn ôfwêzigens.

if(obj != null);

It is nuver dat sa'n syntaktyske sûker noch net bestiet, om't dizze kontrôle tige populêr is.

Neat

Hoe koene jo riede neat is it ûntbrekken fan wat. En syn analoog kin neamd wurde NULL. It is de muoite wurdich opskriuwen dat yn 'e wittenskip fan logika neat it is suver wêzen, want it bestiet ek. Dit is in bytsje fan in fangen; wy kinne gjin tagong krije ta NULL as objekt yn elke taal, hoewol it yn wêzen ek ien is.

Formaasje en mominten

Formaasje is in oergong fan neat в wêzen en út wêzen в neat. Dat jout ús twa momint, hjit de earste opkomst, en twadde foarby. Passaazje it hjit sa ynstee fan ferdwinen, om't it logyske wêzen yn wêzen kin net ferdwine as wy it net fergetten binne. Weromlûken as sadanich kinne wy ​​de opdrachtproseduere neame. As ús objekt is inisjalisearre, dan momint fan foarkommen, en yn gefal fan tawizen fan in oare wearde of NULL momint fan foarby.

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

Bestean

Koartsein bestean is in objekt dat gjin dúdlike definysje hat, mar hat wissichheid. Wat betsjut dat. It kanonike foarbyld is in gewoane stoel. As jo ​​besykje it in dúdlike definysje te jaan, sille jo in protte swierrichheden tsjinkomme. Jo sizze bygelyks: "dit is in meubel ûntwurpen om te sitten," mar de stoel is ek makke foar dit, ensfh. Mar it ûntbrekken fan in dúdlike definysje hinderet ús net om it yn 'e romte te markearjen en it te brûken by it oerdragen fan ynformaasje deroer, dit is om't yn ús holle d'r is wissichheid stoel. Miskien hawwe guon al tocht dat neuronale netwurken binne makke om sokke objekten te isolearjen fan 'e gegevensstream. In neural netwurk kin wurde oantsjutten as in funksje dy't dit definiearret wissichheid, mar d'r binne gjin soarten objekten dy't dúdlike en fuzzy definysjes befetsje, dêrom kinne sokke objekten net op itselde abstraksjenivo brûkt wurde.

De wet fan oergong fan kwantitative feroarings yn kwalitative

Dizze wet waard formulearre troch Friedrich Engels as gefolch fan de ynterpretaasje fan Hegel syn logika. It is lykwols dúdlik te sjen yn de earste bondel yn it haadstik oer mjitte. Syn essinsje is dat kwantitatyf feroarings oan in objekt kin ynfloed op it kwaliteit. Wy hawwe bygelyks in iisobjekt; mei temperatuerakkumulaasje sil it yn floeiber wetter feroarje en har feroarje kwaliteit. Om útfiere dit gedrach yn in foarwerp, der is in steat design patroan. It ûntstean fan sa'n oplossing wurdt feroarsake troch it ûntbrekken yn programmearring fan sa'n ding as de basis foar opkomst objekt. Stichting bepaalt de betingsten wêryn't in objekt kin ferskine, en yn it algoritme beslute wy sels op hokker punt wy it objekt moatte inisjalisearje.

PS: As dizze ynformaasje ynteressant is, sil ik oare entiteiten besjen fan 'e Science of Logic.

Boarne: www.habr.com