Құрылымдық типтік жүйе - Википедия - Structural type system

A құрылымдық типтегі жүйе (немесе меншікке негізделген типтік жүйе) негізгі класс болып табылады типтік жүйе онда типтің сәйкестігі мен эквиваленттілігі оның типі немесе декларациялау орны сияқты басқа сипаттамалармен емес, типтің нақты құрылымымен немесе анықтамасымен анықталады. Құрылымдық жүйелер типтердің эквивалентті екенін және типтің басқа түрдің кіші түрі болып табылатындығын анықтау үшін қолданылады. Бұл қайшы келеді номинативті жүйелер, мұнда салыстырулар типтердің аттарына немесе айқын декларацияларға негізделген және үйрек теру, онда орындалу кезінде құрылымның тек бір бөлігі қол жетімділігі тексеріледі.

Сипаттама

Жылы құрылымдық теру, егер екінші элемент типіндегі әрбір ерекшелік үшін бірінші элемент типінде сәйкес және бірдей белгі болса, элемент басқасымен үйлесімді болып саналады. Кейбір тілдер егжей-тегжейлі болуы мүмкін, мысалы Ерекшеліктер атына сәйкес келуі керек. Бұл анықтама симметриялы емес және ішкі түрдің үйлесімділігін қамтиды. Екі тип бірдей деп саналады, егер әрқайсысы екіншісіне сәйкес келсе.

Мысалға, OCaml объект типтерінің үйлесімділігі әдістері бойынша құрылымдық теруді қолданады. Барыңыз типтің интерфейспен үйлесімділігін анықтау әдістері бойынша құрылымдық теруді қолданады. C ++ үлгісі функциялар типтік аргументтер бойынша құрылымдық теруді көрсетеді. Хакс құрылымдық типтеуді қолданады, бірақ сыныптар құрылымдық кіші емес.

Қолдау көрсетілетін тілдерде кіші типті полиморфизм, ұқсас дихотомия кіші түрдегі қатынас қалай анықталатындығына байланысты құрылуы мүмкін. Бір түрі басқа түрдің кіші түрі болып табылады, егер ол тек барлық мәндерді қамтыса ғана Ерекшеліктер базалық типті немесе олардың кіші түрлері. Ішкі түрде негізгі типте жоқ мүшелер немесе мықты инварианттар сияқты қосымша мүмкіндіктер болуы мүмкін.

Болжалды және қорытынды емес полиморфизмнің құрылымдық алмастыруы арасындағы айырмашылық бар. Сияқты кейбір тілдер Хаскелл, күтілетін тип жарияланған жағдайда құрылымдық түрде алмастыруға болмайды (яғни, тұжырым жасалмайды), мысалы, тек қолтаңбаға негізделген полиморфты функциялардың түрін шығару арқылы ауыстырады.[1] Одан кейін кездейсоқ подходирование мүмкін емес типі мүмкін емес, дегенмен мүмкін болуы мүмкін нақты түрлендіруді түрлендірілмеген типке, ол жасырын түрде шақырылады.

Құрылымдық кіші түрлендіруге қарағанда икемді номинативті кіші түрлендіру жасауға мүмкіндік береді осы жағдай үшін түрлері және хаттамалар; атап айтқанда, ол соңғысының анықтамасын өзгертпестен, бар типтің супер типі болып табылатын типті құруға мүмкіндік береді. Алайда, бағдарламашы жабық абстракцияларды жасағысы келетін жерде бұл мүмкін болмауы мүмкін.

Номинативті типтеуге қарсы құрылымдық типтеудің қиындықтары: әр түрлі мақсаттарға арналған, бірақ кездейсоқ бірдей қасиеттерді иеленетін екі бөлек анықталған тип (мысалы, екеуі де бүтін сандардан тұрады), типтік жүйеде бір тип деп қарастырылуы мүмкін, өйткені бірдей құрылымға ие болады. Бұған жол бермеудің бір жолы - оны жасау мәліметтердің алгебралық түрі әр пайдалану үшін.

1990 жылы Кук және басқалар мұны дәлелдеді мұрагерлік кіші түрге жатпайды құрылымдық типтегі OO тілдерінде.[2]

Мысал

OCaml-дағы объектілер құрылымы бойынша олардың әдістерінің атауларымен және типтерімен теріледі.

Нысандарды тікелей жасауға болады (жедел нысандар) номинативті сыныптан өтпей. Сыныптар тек объектілерді құруға арналған функциялар ретінде қызмет етеді.

 # рұқсат етіңіз х =     объект       вал өзгеретін х = 5       әдіс алу_х = х       әдіс set_x ж = х <- ж     Соңы;; вал х : < алу_х : int; set_x : int -> бірлік > = <obj>

Мұнда OCaml интерактивті жұмыс уақыты ыңғайлы болу үшін объектінің болжанған түрін басып шығарады. Оның түрі (< get_x : int; set_x : int -> unit >) тек оның әдістерімен анықталады. Басқаша айтқанда, х типі кез-келген атпен емес, «get_x: int» және «set_x: int -> unit» әдіс түрлерімен анықталады.[3]

Бірдей әдістер мен әдістердің типіне ие басқа нысанды анықтау үшін:

 # рұқсат етіңіз ж =     объект       әдіс алу_х = 2       әдіс set_x ж = Printf.printf «% d n" ж     Соңы;; вал ж : < алу_х : int; set_x : int -> бірлік > = <obj>

OCaml оларды бірдей типтегі деп санайды. Мысалы, теңдік операторы тек бірдей типтегі екі мәнді қабылдау үшін теріледі:

 # х = ж;; - : bool = жалған

Сондықтан олар бір типті болуы керек, әйтпесе бұл тіпті типті тексеруге де келмейді. Бұл типтердің эквиваленттілігі құрылымдық екенін көрсетеді.

Әдісті шақыратын функцияны анықтауға болады:

 # рұқсат етіңіз set_to_10 а = а#set_x 10;; вал set_to_10 : < set_x : int -> 'а; .. > -> 'а = <көңілді>

Бірінші аргумент үшін болжам түрі (< set_x : int -> 'a; .. >) қызықты. The .. бірінші аргумент int ретінде аргумент болатын «set_x» әдісі бар кез-келген объект болуы мүмкін екенін білдіреді.

Сондықтан оны объектіде қолдануға болады х:

 # set_to_10 х;; - : бірлік = ()

Осы әдіс пен әдіс түріне ие болатын тағы бір объект жасауға болады; басқа әдістер маңызды емес:

 # рұқсат етіңіз з =     объект       әдіс блаһбла = 2.5       әдіс set_x ж = Printf.printf «% d n" ж     Соңы;; вал з : < блаһбла : жүзу; set_x : int -> бірлік > = <obj>

«Set_to_10» функциясы сонымен бірге жұмыс істейді:

 # set_to_10 з;; 10 - : бірлік = ()

Бұл әдіс шақыру сияқты нәрселерге үйлесімділік құрылым бойынша анықталатынын көрсетеді.

Тек «get_x» әдісі бар объектілердің тип синонимін анықтайық және басқа әдістер жоқ:

 # түрі simpler_obj = < алу_х : int >;; түрі simpler_obj = < алу_х : int >

Нысан х мұндай түрге жатпайды; бірақ құрылымдық жағынан, х бастап, осы типтің кіші түріне жатады х оның әдістерінің жоғарғы жиынтығын қамтиды. Сонымен х осы түрге мәжбүрлеуге болады:

 # (х :> simpler_obj);; - : simpler_obj = <obj> # (х :> simpler_obj)#алу_х;; - : int = 10

Бірақ қарсы емес з, өйткені бұл құрылымдық кіші түрі емес:

# (z:> simpler_obj) ;; Бұл өрнекті simpler_obj =  теру үшін мәжбүрлеу мүмкін емес; оның  unit>, бірақ мұнда  Бірінші нысан типінде get_x әдісі жоқ

Бұл мәжбүрлеуді кеңейту үшін үйлесімділік құрылымдық болып табылатындығын көрсетеді.

Әдебиеттер тізімі

  1. ^ «Қолтаңбаға негізделген полиморфизм».
  2. ^ Кук, В.Р .; Хилл, У.Л .; Консервілеу, P.S. (Қаңтар 1990). «Мұрагерлік кіші түрге жатпайды». Бағдарламалау тілдерінің принциптері бойынша он жетінші жыл сайынғы ACM симпозиумының материалдары. Сан-Франциско, Калифорния: 125–135. дои:10.1145/96709.96721. ISBN  978-0897913430.
  3. ^ «Нысан түрлері».

Сыртқы сілтемелер