Бул макала немис философу Георг Вильгельм Фридрих Гегелдин “Логика илими” эмгегинин логикалык объектилеринин аналогдору менен же алардын программалоодо жоктугун салыштырып талдоого арналган.

Логика илиминин объекттери бул сөздөрдүн жалпы кабыл алынган аныктамалары менен чаташтырбоо үчүн курсив менен жазылган.

Таза болуу

Эгерде сиз аныктаманы ачсаңыз таза жандык китепте, сиз "мындан ары аныктамасы жок" кызыктуу сапты көрөсүз. Ал эми окубагандар же түшүнбөгөндөр үчүн авторду акылы кем деп айыптоого шашпагыла. Таза болуу - бул Гегелдин логикасындагы негизги түшүнүк, кандайдыр бир объект бар дегенди билдирет, аны объекттин бар экендиги менен чаташтырбаңыз, объект реалдуулукта жок болушу мүмкүн, бирок аны кандайдыр бир жол менен биздин логикада аныктаган болсок, анда ал бар. Ойлоп көрсөң, чындап эле ушундай нерселер бар таза жандык аныктама берүү мүмкүн эмес, ошондой эле ар кандай аракет сиз анын синонимине же антонимине кайрыла турганыңызга алып келет. Таза болуу ушунчалык абстракттуу түшүнүк болгондуктан, аны бардык нерсеге, анын ичинде өзүнө да колдонууга болот. Кээ бир объектиге багытталган тилдерде объект катары бардык нерсени, анын ичинде объекттер боюнча операцияларды көрсөтүүгө болот, бул принцип боюнча бизге абстракциянын ушундай деңгээлин берет. Бирок, түз аналогун программалоодо таза жандык Жок. Объекттин бар-жоктугун текшерүү үчүн биз анын жок экенин текшеришибиз керек.

if(obj != null);

Бул чек абдан популярдуу болгондугун эске алсак, мындай синтаксистик канттын азырынча жок экендиги таң калыштуу.

эч нерсе

Кантип болжогон эч нерсе эч нерсенин жоктугу болуп саналат. Жана анын аналогун NULL деп атоого болот. Белгилей кетсек, логика илиминде эч нерсе Ал таза жандык, анткени ал да бар. Бул бир аз кармалып калды; биз NULLге эч кандай тилде объект катары кире албайбыз, бирок маңызы боюнча ал дагы бирөө.

Түзүлүшү жана учурлары

болуп дан өтүү болуп саналат эч нерсе в болуу жана болуу в эч нерсе. Бул бизге эки берет учур, биринчиси деп аталат пайда болушу, жана экинчи өтүп жатат. Өтмөк ал жоголуунун ордуна ушундай деп аталат, анткени логикалык маңызы биз унутуп калмайынча, түпкүлүгүндө жок боло албайт. Алып салуу ошондой эле биз дайындоо процедурасын чакыра алабыз. Эгер объектти инициализация кылсак, бул болот пайда болуу учуру, жана башка маани же NULL ыйгарылган учурда өтүү учуру.

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

Бар болуу

Кыскасы болушу так аныктамасы жок, бирок ээ болгон объект ишенимдүүлүк. Бул эмнени билдирет. Канондук мисал - кадимки отургуч. Ага так аныктама берүүгө аракет кылсаңыз, көптөгөн кыйынчылыктарга туш болосуз. Мисалы, сиз: "бул отурууга ылайыкталган эмерек" деп айтасыз, бирок отургуч да бул үчүн жаратылган ж.б.у.с. Бирок так аныктамасынын жоктугу аны мейкиндикте бөлүп көрсөтүүгө жана ал жөнүндө маалымат берүү учурунда колдонууга тоскоолдук кылбайт, анткени биздин башыбызда ишенимдүүлүк отургуч. Балким, кээ бирөөлөр нейрондук тармактар ​​мындай объекттерди маалымат агымынан бөлүп алуу үчүн түзүлгөн деп ойлошкон. Нейрондук тармак муну аныктаган функция катары белгилениши мүмкүн ишенимдүүлүк, бирок так жана бүдөмүк аныктамаларды камтыган объекттердин түрлөрү жок, ошондуктан мындай объекттерди абстракциянын бирдей деңгээлинде колдонууга болбойт.

Сандык өзгөрүүлөрдүн сапаттык өзгөрүүлөргө өтүү мыйзамы

Бул мыйзам Фридрих Энгельс тарабынан Гегель логикасын чечмелөөнүн натыйжасында түзүлгөн. Бирок ал жөнүндө бөлүмдүн биринчи томунан даана көрүүгө болот жок дегенде. Анын маңызы ушунда сандык объектке өзгөртүүлөр таасир этиши мүмкүн сапат. Мисалы, бизде муз объектиси бар, температуранын топтолушу менен ал суюк сууга айланып, өзүнүн абалын өзгөртөт сапат. Бул жүрүм-турумду объектте ишке ашыруу үчүн Мамлекеттик дизайн үлгүсү бар. Мындай чечимдин пайда болушуна программалоодо мындай нерсенин жоктугу себеп болот фундамент үчүн пайда болушу объект. фундамент объект пайда боло турган шарттарды аныктайт жана алгоритмде объектти кайсы учурда инициализациялоо керектигин өзүбүз чечебиз.

PS: Бул маалымат кызыктуу болсо, мен логика илиминин башка объектилерин карап чыгам.

Source: www.habr.com