التحديد الكمي المحدود

في نظرية الأنواع ، يشير التحديد الكمي المحدود (أو تعدد الأشكال المحدود أو العمومية المقيدة ) إلى المحددات الكمية الشاملة أو الوجودية التي تقتصر ("محدودة") على نطاق الأنواع الفرعية لنوع معين فقط. التحديد الكمي المحدود هو تفاعل بين تعدد الأشكال البارامتري والتصنيف الفرعي . وقد دُرِس التحديد الكمي المحدود تقليديًا في الإطار الوظيفي لنظام F _<:، ولكنه متاح في لغات البرمجة الكائنية الحديثة التي تدعم تعدد الأشكال البارامتري ( العموميات ) مثل جافا وسي شارب وسكالا .

يهدف التحديد الكمي المحدود إلى السماح للدوال متعددة الأشكال بالاعتماد على سلوك محدد للكائنات بدلاً من وراثة الأنواع . يفترض هذا النموذج استخدام سجلات لفئات الكائنات، حيث يمثل كل عضو في الفئة عنصر سجل، وجميع أعضاء الفئة عبارة عن دوال مُسماة. تُمثل سمات الكائن كدوال لا تأخذ أي وسيط وتُرجع كائنًا. أما السلوك المحدد فهو اسم الدالة، بالإضافة إلى أنواع الوسائط ونوع القيمة المُرجعة. يأخذ التحديد الكمي المحدود في الاعتبار جميع الكائنات التي تحتوي على هذه الدالة. على سبيل المثال، minدالة متعددة الأشكال تأخذ في الاعتبار جميع الكائنات القابلة للمقارنة.

يمكن التعبير عن هذا النوع من قيود النوع في جافا باستخدام واجهة عامة. يوضح المثال التالي كيفية وصف الأنواع التي يمكن مقارنتها ببعضها البعض واستخدام ذلك كمعلومات عن النوع في الدوال متعددة الأشكال . Test::minتستخدم الدالة التحديد الكمي المحدود البسيط ولا تضمن قابلية مقارنة الكائنات فيما بينها، على عكس الدالة Test::fMinالتي تستخدم التحديد الكمي المحدود من النوع F.

في الترميز الرياضي، أنواع الدالتين هي

• ${\displaystyle {\texttt {min}}:\forall T,\forall S\subseteq \{{\texttt {compareTo}}:T\to {\texttt {int}}\},S\to S\to S}$
• ${\displaystyle {\texttt {fmin}}:\forall T\subseteq {\texttt {Comparable<}}T{\texttt {>}},T\to T\to T}$

أين ${\displaystyle {\texttt {Comparable<}}T{\texttt {>}}=\{{\texttt {compareTo}}:T\to {\texttt {int}}\}}$

ضع في اعتبارك التصريحات المحتملة التالية في java.lang:

package java.lang ;public interface Comparable <T> { int compareTo ( T other ) ; }​public class Integer implements Comparable <Integer> { @Override public int compareTo ( Integer other ) { // ... } }​public class String implements Comparable <String> { @Override public int compareTo ( String other ) { // ... } }​

ثم، قيد الاستخدام:

package org.wikipedia.examples ;public class Test { public static < S extends Comparable > S min ( S a , S b ) { if ( a . compareTo ( b ) <= 0 ) { return a ; } else { return b ; } }public static < T extends Comparable < T >> T fMin ( T a , T b ) { if ( a . compareTo ( b ) <= 0 ) { return a ; } else { return b ; } }public static void main ( String [] args ) { String a = min ( "cat" , "dog" ); Integer b = min ( 10 , 3 ); Comparable c = min ( "cat" , 3 ); // يطرح استثناء ClassCastException أثناء التشغيل String str = fMin ( "cat" , "dog" ); Integer i = fMin ( 10 , 3 ); // Object o = fMin("cat", 3); // لا يتم تجميع الكود } }

• التغاير والتغاير العكسي (علوم الحاسوب)
• نمط قالب متكرر بشكل مثير للدهشة
• وايلدكارد (جافا)

• كارديلي، لوكا ؛ ويغنر، بيتر (ديسمبر 1985). "حول فهم الأنواع، وتجريد البيانات، وتعدد الأشكال" (ملف PDF) . مجلة ACM Computing Surveys . 17 (4): 471-523 . CiteSeerX 10.1.1.117.695 . doi : 10.1145/6041.6042 . ISSN 0360-0300 . S2CID 2921816 .   
• بيتر إس. كانينغ ، وويليام آر. كوك ، ووالتر إل. هيل ، وجون سي. ميتشل ، وويليام أولثوف . "تعدد الأشكال المحدود بـ F للبرمجة الكائنية التوجه" . في مؤتمر لغات البرمجة الوظيفية وهندسة الحاسوب ، 1989.
• بنيامين سي. بيرس "أنواع التقاطع والتعددية المحدودة". محاضرات في علوم الحاسوب 664 ، 1993.
• جلعاد براخا ، مارتن أوديرسكي ، ديفيد ستاوتامير ، وفيليب وادلر . "جعل المستقبل آمناً للماضي: إضافة خاصية العمومية إلى لغة برمجة جافا". في كتاب البرمجة الكائنية التوجه: الأنظمة، واللغات، والتطبيقات (OOPSLA). جمعية آلات الحوسبة، أكتوبر 1998.
• أندرو كينيدي ودون سايم . "تصميم وتنفيذ الأنواع العامة لبيئة تشغيل لغة .NET المشتركة". في كتاب تصميم وتنفيذ لغات البرمجة ، 2001.
• بيرس، بنجامين سي. (2002). أنواع لغات البرمجة . مطبعة معهد ماساتشوستس للتكنولوجيا. ISBN 978-0-262-16209-8.الفصل 26: التحديد الكمي المحدود

• تعدد الأشكال المحدود في مستودع أنماط بورتلاند
• "تعدد الأشكال المحدود بـ F" في لغة سيسيل: المواصفات والأساس المنطقي