Қазақша бағдарламалауда "үйрек тестілеу" ұғымы: нысанға қатысты бағдарламалауда типтерді тексерудің динамикалық әдісі. Объектінің қасиеттері мен әдістеріне назар аудалады.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Объектілі бағдарламалауда динамикалық типтеу стилі
Style of dynamic typing in object oriented programming
Компьютерлік бағдарламалауда "қаз-қалпақпен жазу" – бұл "қаз-қалпақтай жүрсе және қаз-қалпақтай дауыс шығарса, онда ол қаз-қалпақ болуы керек" қағидасының қолданылуы, объектінің белгілі бір мақсатқа қолданылу мүмкіндігін анықтау үшін. Атаулы типтеуде, объект егер осылай деп жарияланса (немесе типтің объектімен байланысы объект мұрагерлігі сияқты механизмдер арқылы болса) белгілі бір типке жатады. "Қаз-қалпақпен жазуда" объект, егер ол сол типке қажетті барлық әдістер мен қасиеттерге ие болса, белгілі бір типке жатады. "Қаз-қалпақпен жазуды" белгілі бір объект пен типтің талаптары арасындағы қолданысқа негізделген құрылымдық теңдестік ретінде қарастыруға болады.
In computer programming, duck typing is an application of the duck test—"If it walks like a duck and it quacks like a duck, then it must be a duck"—to determine whether an object can be used for a particular purpose. With nominative typing, an object is of a given type if it is declared as such (or if a type's association with the object is inferred through mechanisms such as object inheritance). With duck typing, an object is of a given type if it has all methods and properties required by that type. Duck typing may be viewed as a usage based structural equivalence between a given object and the requirements of a type.
Статикалық типтегі тілдерде
Boo және D сияқты кейбір статикалық типтелген тілдерде класс типтерін тексеру компиляция уақытында емес, орындалу кезінде жүзеге асырылуы мүмкін.
In some statically typed languages such as Boo and D, class type checking can be specified to occur at runtime rather than at compile time.
Құрылымдық жүйелер
Қаш типілеу құрылымдық типілеуге ұқсас, бірақ одан өзгеше. Құрылымдық типілеу – типтік үйлесімділік және теңдестіктерді типтің құрылымы арқылы анықтайтын статикалық типілеу жүйесі, ал қаш типілеу динамикалық болып, типтік үйлесімділікті тек орындалу барысында қол жеткізілетін тип құрылымының бөлігі арқылы анықтайды. TypeScript, Elm және Python тілдері әртүрлі дәрежеде құрылымдық типілеуді қолдайды.
Duck typing is similar to, but distinct from, structural typing. Structural typing is a static typing system that determines type compatibility and equivalence by a type's structure, whereas duck typing is dynamic and determines type compatibility by only that part of a type's structure that is accessed during runtime. The TypeScript, Elm and Python languages support structural typing to varying degrees.
Протоколдар мен интерфейстер
Протоколдар мен интерфейстер кейбір әдістердің, операторлардың немесе мінез-құлықтардың міндетті түрде анықталуын нақты түрде жариялауға мүмкіндік береді. Егер үшінші тараптың кітапханасы өзгертілмейтін класты іске асырса, клиент кітапханаға белгісіз интерфейсі бар осы кластың экземплярын пайдалана алмайды, тіпті егер класс интерфейс талаптарына сай болса да. Бұл мәселенің кең таралған шешімі – адаптер үлгісі. Ал, қазтүрі типтемесінде (duck typing) объект адаптерді қажет етпей-ақ тікелей қабылданады.
Protocols and interfaces provide a way to explicitly declare that some methods, operators or behaviors must be defined. If a third party library implements a class that cannot be modified, a client cannot use an instance of it with an interface unknown to that library even if the class satisfies the interface requirements. A common solution to this problem is the adapter pattern. In contrast, with duck typing, the object would be accepted directly without the need for an adapter.
Үлгілер немесе жалпы типтер
Үлгілік (немесе генералды) функциялар мен әдістер статикалық типтеу контекстінде «қаздың сынағын» қолданады; бұл статикалық және динамикалық типтік тексерудің барлық артықшылықтары мен кемшіліктерін әкеледі. Duck типтеуі одан да икемді болуы мүмкін, себебі орындалу кезінде ғана нақты шақырылған әдістерді іске асыру жеткілікті, ал үлгілер компиляция кезінде қол жеткізбеуге болатынын дәлелдемейтін барлық әдістерді іске асыруды талап етеді. Java, Scala және Objective C сияқты тілдерде объектілердің әдістерді іске асырып, немесе орындалу кезінде қажетті әдістерді қосуын тексеру үшін рефлексия қолданылуы мүмкін. Мысалы, Java-ның MethodHandle API-сі осы мақсатта пайдаланылуы мүмкін.
Template (also called generic) functions or methods apply the duck test in a static typing context; this brings all of the advantages and disadvantages of static versus dynamic type checking. Duck typing can also be more flexible in that only the methods actually called at runtime must be implemented, while templates require implementations of all methods that cannot be proven unreachable at compile time. In languages such as Java, Scala and Objective C, reflection may be employed to inspect whether objects implement methods or add necessary methods at runtime. For example, Java's MethodHandle API can be used in this manner.