Энэхүү нийтлэл нь Германы гүн ухаантан Георг Вильгельм Фридрих Гегелийн "Логикийн шинжлэх ухаан" бүтээлийн логик объектуудыг тэдгээрийн аналоги эсвэл програмчлалд байхгүй харьцуулсан дүн шинжилгээнд зориулагдсан болно.

Эдгээр үгсийн нийтээр хүлээн зөвшөөрөгдсөн тодорхойлолтыг төөрөгдүүлэхгүйн тулд Логикийн шинжлэх ухааны нэгжүүдийг налуу үсгээр бичнэ.

Цэвэр оршихуй

Хэрэв та тодорхойлолтыг нээвэл цэвэр оршихуй номонд та "нэмэлт тодорхойлолтгүйгээр" сонирхолтой мөрийг харах болно. Гэхдээ уншаагүй эсвэл ойлгоогүй хүмүүсийн хувьд зохиолчийг оюун ухаан муутай гэж буруутгах гэж бүү яар. Цэвэр оршихуй - Энэ бол Гегелийн логикийн үндсэн ойлголт бөгөөд ямар нэгэн объект байдаг, үүнийг объектын оршин тогтнохтой андуурч болохгүй, объект бодит байдалд байхгүй байж болно, гэхдээ хэрэв бид үүнийг логикдоо ямар нэгэн байдлаар тодорхойлсон бол энэ нь оршин байдаг. Бодоод байх юм бол үнэхээр ийм зүйл байдаг цэвэр оршихуй Тодорхойлолт өгөх боломжгүй бөгөөд ийм оролдлого нь та зүгээр л синоним эсвэл антоним үгсэд хандах болно гэсэн үг юм. Цэвэр оршихуй ямар ч зүйлд, тэр дундаа өөртөө ч хэрэглэж болох тийм хийсвэр ойлголт. Зарим объект хандалтат хэлэнд аливаа зүйлийг объект хэлбэрээр дүрслэх боломжтой, тэр дундаа объект дээрх үйлдлүүд нь зарчмын хувьд бидэнд ийм хийсвэрлэлийн түвшинг өгдөг. Гэсэн хэдий ч шууд аналогийг програмчлахдаа цэвэр оршихуй Үгүй Аливаа объект байгаа эсэхийг шалгахын тулд бид түүний байхгүй эсэхийг шалгах хэрэгтэй.

if(obj != null);

Энэхүү чек нь маш их алдартай байдаг тул ийм синтактик сахар одоохондоо байхгүй байгаа нь хачирхалтай юм.

Юу ч биш

Яаж таамаглаж чадав аа юу ч биш юу ч байхгүй байх нь. Мөн түүний аналогийг NULL гэж нэрлэж болно. Логикийн шинжлэх ухаанд гэдгийг тэмдэглэх нь зүйтэй юу ч биш Энэ нь цэвэр оршихуй, учир нь энэ нь бас байдаг. Энэ нь бага зэрэг баригдах зүйл юм; бид NULL-д аль ч хэл дээрх объект байдлаар хандаж чадахгүй, гэхдээ үндсэндээ энэ нь бас нэг юм.

Үүсэлт ба мөчүүд

Болж байна -аас шилжих шилжилт юм юу ч биш в байх болон байх в юу ч биш. Энэ нь бидэнд хоёрыг өгдөг мөч, эхнийх нь гэж нэрлэгддэг үүсэх, хоёрдугаарт өнгөрөх. Гарц Үүнийг алга болохын оронд ингэж нэрлэдэг, учир нь бид үүнийг мартаагүй л бол логик мөн чанар үндсэндээ алга болж чадахгүй. Татгалзах Тиймээс бид томилох процедурыг дуудаж болно. Хэрэв бидний объектыг эхлүүлсэн бол үүсэх мөч, мөн өөр утга эсвэл NULL оноох тохиолдолд өнгөрөх мөч.

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

Оршихуй

Товчхондоо оршихуй нь тодорхой тодорхойлолтгүй, гэхдээ байгаа объект юм итгэлтэй. Юу гэсэн үг вэ. Каноник жишээ бол энгийн сандал юм. Хэрэв та тодорхой тодорхойлолт өгөхийг оролдвол олон бэрхшээлтэй тулгарах болно. Жишээлбэл, та "энэ бол суух зориулалттай тавилга" гэж хэлэх боловч сандал нь үүнд зориулагдсан гэх мэт. Гэхдээ тодорхой тодорхойлолт байхгүй байгаа нь үүнийг сансар огторгуйд онцолж, энэ тухай мэдээлэл дамжуулахдаа ашиглахад саад болохгүй, учир нь бидний толгойд байдаг. итгэлтэй сандал. Мэдээллийн урсгалаас ийм объектыг тусгаарлахын тулд мэдрэлийн сүлжээ бий болсон гэж зарим хүмүүс аль хэдийн таамаглаж байсан байх. Мэдрэлийн сүлжээг үүнийг тодорхойлсон функц гэж тэмдэглэж болно итгэлтэй, гэхдээ тодорхой, бүдэг бадаг тодорхойлолтуудыг агуулсан объектын төрлүүд байдаггүй тул ийм объектуудыг хийсвэрлэлийн ижил түвшинд ашиглах боломжгүй.

Тоон өөрчлөлтийг чанарын өөрчлөлтөд шилжүүлэх хууль

Энэ хуулийг Фридрих Энгельс Гегелийн логикийн тайлбарын үр дүнд томъёолсон. Гэсэн хэдий ч, тухай бүлгийн эхний ботиос тодорхой харж болно хамгийн бага. Үүний мөн чанар нь үүнд оршино тоон объектын өөрчлөлт нь түүнд нөлөөлж болно чанарыг нь. Жишээлбэл, бид мөсөн биеттэй бөгөөд температурын хуримтлал нь шингэн ус болж хувирч, өөрчлөгддөг чанар. Энэ зан үйлийг объектод хэрэгжүүлэхийн тулд Төрийн дизайны загвар байдаг. Ийм шийдэл гарч ирсэн нь програмчлалд ийм зүйл байхгүйгээс үүдэлтэй юм суурь нь тохиолдол объект. Сан нь объект гарч ирэх нөхцөлийг тодорхойлдог бөгөөд алгоритмд бид объектыг ямар үед эхлүүлэх шаардлагатайг өөрсдөө шийддэг.

Жич: Хэрэв энэ мэдээлэл сонирхолтой байвал би Логикийн шинжлэх ухааны бусад байгууллагуудыг авч үзэх болно.

Эх сурвалж: www.habr.com