الفصل (البرمجة)

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

تسمح معظم لغات البرمجة بتطبيق منطق مخصص في أحداث دورة الحياة عبر مُنشئ ومُدمر .

يُعبّر الكائن عن نوع البيانات كواجهة - نوع كل متغير عضو وتوقيع كل دالة عضو (طريقة). يُعرّف الصنف تطبيقًا للواجهة، ويؤدي إنشاء مثيل للصنف إلى كائن يُظهر التطبيق عبر الواجهة. ^{[ 4 ]} من منظور نظرية الأنواع، يُعد الصنف تطبيقًا - بنيةبيانات ملموسة ومجموعة من الإجراءات الفرعية -بينما يُعد النوع واجهة . يمكن لأصناف (ملموسة) مختلفة أن تُنتج كائنات من نفس النوع ( المجرد ) (بحسب نظام الأنواع). على سبيل المثال، قد يُطبّق النوع (الواجهة) Stack بواسطة SmallStack ، وهو سريع للمكدسات الصغيرة ولكنه ضعيف التوسع، و ScalableStack، وهو قابل للتوسع بشكل جيد ولكنه ذو تكلفة عالية للمكدسات الصغيرة.

تحتوي الفئة على حقول بيانات موصوفة نحويًا (أو خصائص ، أو حقول ، أو أعضاء بيانات ، أو سمات ). ^{[ 1 ]} عادةً ما تكون هذه أنواع حقول وأسماء تُربط بمتغيرات الحالة أثناء تشغيل البرنامج؛ تنتمي متغيرات الحالة هذه إما إلى الفئة أو إلى نسخ محددة منها. في معظم لغات البرمجة، يُحدد الهيكل المُعرّف بواسطة الفئة تخطيط الذاكرة المستخدمة من قِبل نسخها. توجد تطبيقات أخرى ممكنة: على سبيل المثال، تستخدم الكائنات في بايثون حاويات مفتاح-قيمة ترابطية. ^{[ 5 ]}

تدعم بعض لغات البرمجة، مثل إيفل، تحديد الثوابت كجزء من تعريف الصنف، وتفرضها من خلال نظام الأنواع. ويُعد تغليف الحالة ضروريًا لفرض ثوابت الصنف.

يُحدد سلوك (أو فعل ^{[ 1 ]} ) الصنف أو مثيلاته باستخدام الدوال . الدوال هي إجراءات فرعية قادرة على العمل على الكائنات أو الأصناف. قد تُغير هذه العمليات حالة الكائن أو تُوفر ببساطة طرقًا للوصول إليه. ^{[ 6 ]} توجد أنواع عديدة من الدوال، لكن دعمها يختلف بين اللغات. بعض أنواع الدوال يُنشئها ويستدعيها كود المبرمج، بينما تُنشأ وتُستدعى دوال خاصة أخرى - مثل الدوال البانية والمدمرة ومعاملات التحويل - بواسطة الكود المُولّد من المُترجم. قد تسمح اللغة أيضًا للمبرمج بتعريف هذه الدوال الخاصة واستدعائها. ^{[ 7 ] [ 8 ]}

تُنفّذ كل فئة واجهةً من خلال توفير بنية وسلوك . تتكون البنية من البيانات والحالة، بينما يتكون السلوك من التعليمات البرمجية التي تُحدد كيفية تنفيذ الدوال. [ ^{9 ] ثمة فرق بين تعريف الواجهة وتنفيذها؛ إلا أن هذا الخط الفاصل غير واضح في العديد من لغات البرمجة لأن تعريفات الفئات تُعرّف الواجهة وتُنفّذها في} آنٍ واحد. مع ذلك، تُوفر بعض اللغات ميزات تفصل بين الواجهة والتنفيذ. على سبيل المثال، يُمكن لفئة مجردة تعريف واجهة دون توفير تنفيذها.

اللغات التي تدعم وراثة الفئات تسمح أيضًا للفئات بتوريث الواجهات من الفئات التي اشتُقت منها.

على سبيل المثال، إذا كان " " يرث من " " وإذا كان " " ينفذ الواجهة " " فإن " " ينفذ أيضًا الوظائف (الثوابت وإعلان الأساليب) التي يوفرها " ".classZclassYclassYinterfaceXclassZinterfaceX

في اللغات التي تدعم محددات الوصول ، تعتبر واجهة الفئة هي مجموعة الأعضاء العامة للفئة، بما في ذلك كل من الأساليب والسمات (عبر أساليب getter و setter الضمنية )؛ أي أعضاء خاصة أو هياكل بيانات داخلية لا يُقصد الاعتماد عليها بواسطة التعليمات البرمجية الخارجية، وبالتالي فهي ليست جزءًا من الواجهة.

Object-oriented programming methodology dictates that the operations of any interface of a class are to be independent of each other. It results in a layered design where clients of an interface use the methods declared in the interface. An interface places no requirements for clients to invoke the operations of one interface in any particular order. This approach has the benefit that client code can assume that the operations of an interface are available for use whenever the client has access to the object.^[10]

The following is a common set of access specifiers:^[11]

• Private (or class-private) restricts access to the class itself. Only methods that are part of the same class can access private members.
• Protected (or class-protected) allows the class itself and all its subclasses to access the member.
• Public means that any code can access the member by its name.

Although many object-oriented languages support the above access specifiers, their semantics may differ.

Object-oriented design uses the access specifiers in conjunction with careful design of public method implementations to enforce class invariants—constraints on the state of the objects. A common usage of access specifiers is to separate the internal data of a class from its interface: the internal structure is made private, while public accessor methods can be used to inspect or alter such private data.

لا تتحكم مُحدِّدات الوصول بالضرورة في مستوى الرؤية ، إذ قد تكون حتى الأعضاء الخاصة مرئية لرمز العميل الخارجي. في بعض اللغات، يُمكن الإشارة إلى عضو غير قابل للوصول ولكنه مرئي أثناء وقت التشغيل (على سبيل المثال، بواسطة مؤشر مُعاد من دالة عضو)، ولكن محاولة استخدامه بالإشارة إلى اسم العضو من رمز العميل سيمنعها مدقق الأنواع. ^{[ 12 ]}

تفرض لغات البرمجة الكائنية المختلفة إمكانية الوصول إلى أعضاء الفئات ورؤيتها بدرجات متفاوتة، وذلك تبعًا لنظام أنواع اللغة وسياسات الترجمة، حيث يتم فرض ذلك إما في وقت الترجمة أو وقت التشغيل . على سبيل المثال، لا تسمح لغة جافا بتجميع شيفرة العميل التي تصل إلى البيانات الخاصة بفئة ما. ^{[ 13 ]} في لغة سي++ ، تكون الطرق الخاصة مرئية، ولكن لا يمكن الوصول إليها في الواجهة؛ ومع ذلك، يمكن إخفاؤها من خلال تعريف فئات مجردة بالكامل تمثل واجهات الفئة. ^{[ 14 ]}

تتضمن بعض اللغات أنظمة أخرى لتسهيل الوصول:

• إمكانية الوصول إلى الكائن مقابل إمكانية الوصول إلى الفئة : يدعم روبي مُحدِّدات الوصول الخاصة بالكائن والمحمية بالكائن بدلاً من مُحدِّدات الوصول الخاصة بالفئة والمحمية بالفئة، على التوالي. ويكمن الاختلاف بينهما في أنهما يقيدان الوصول بناءً على الكائن نفسه، وليس على فئة الكائن. ^{[ 15 ]}
• الصديق : تدعم لغة C++ آلية تسمح للدالة المُعلنة صراحةً كدالة صديقة للفئة بالوصول إلى الأعضاء المُصنفة على أنها خاصة أو محمية. ^{[ 16 ]}
• يعتمد الوصول إلى الملفات على المسار : تدعم لغة جافا تقييد الوصول إلى عنصر داخل حزمة جافا ، وهو المسار المنطقي للملف. مع ذلك، من الممارسات الشائعة عند توسيع إطار عمل جافا تنفيذ الفئات في نفس حزمة فئة إطار العمل للوصول إلى العناصر المحمية. قد يوجد ملف المصدر في موقع مختلف تمامًا، وقد يتم نشره في ملف .jar مختلف ، ولكنه يظل ضمن نفس المسار المنطقي بالنسبة لآلة جافا الافتراضية (JVM). ^{[ 11 ]}

يمكن أن تتكون الفئات من فئات أخرى، مما يُنشئ علاقة تركيبية بين الفئة المُحيطة والفئات المُضمنة فيها. تُعرف العلاقة التركيبية بين الفئات أيضًا باسم علاقة " يحتوي على" . ^{[ 20 ]}Car على سبيل المثال، يمكن أن تتكون فئة من فئة أخرى وتحتوي على فئة ثالثة Engine. لذلك، فإن الفئة الأولى Carتحتوي على الفئة الثانيةEngine . أحد جوانب التركيب هو الاحتواء، وهو احتواء مثيلات المكونات بواسطة المثيل الذي يحتويها. إذا كان الكائن المُحيط يحتوي على مثيلات المكونات بالقيمة، فإن المكونات والكائن المُحيط بها يكون لهما عمر مماثل . أما إذا كانت المكونات مُحتواة بالمرجع، فقد لا يكون لها عمر مماثل. ^{[ 21 ]} على سبيل المثال، في Objective-C 2.0:

@interface Car : NSObject@property NSString * name ; @property Engine * engine @property NSArray * tires ;@نهاية

تحتوي فئة السيارة هذه على مثيل من NSString ( كائن سلسلة نصية )، و Engine ، و NSArray (كائن مصفوفة).

يمكن اشتقاق الفئات من فئة واحدة أو أكثر من الفئات الموجودة، مما يؤدي إلى إنشاء علاقة هرمية بين الفئات المشتقة ( الفئات الأساسية ، والفئات الأصلية ، أوالفئات الأصلية (الفئات العليا ) والفئات المشتقة (الفئات الفرعية).تُعرف العلاقة بين الفئة المشتقة والفئات المشتقة منها بعلاقة "هو نوع من" . ^{[ 22 ]} على سبيل المثال، يمكن اشتقاق فئة "زر" من فئة "عنصر تحكم". وبالتالي، فإن الزرهوترثالفئات الفرعية العناصر الهيكلية والسلوكية للفئات الأصلية. يمكن للفئات المشتقة تعريف عناصر هيكلية إضافية (حقول بيانات) وعناصر سلوكية إضافية (أساليب) بالإضافة إلى تلك التيترثهاوبالتالي فهيتخصصاتلفئاتها الأصلية. كما يمكن للفئات المشتقةإعادة تعريفالأساليب الموروثة إذا سمحت لغة البرمجة بذلك.

لا تدعم جميع لغات البرمجة التوريث المتعدد. على سبيل المثال، تسمح لغة جافا للفئة بتنفيذ عدة واجهات، ولكنها ترث من فئة واحدة فقط. ^{[ 23 ]} إذا سُمح بالتوريث المتعدد، يكون التسلسل الهرمي عبارة عن رسم بياني موجه غير دوري (DAG اختصارًا)، وإلا فهو شجرة . يُمثل التسلسل الهرمي الفئات كعقد، وعلاقات التوريث كروابط. وتكون الفئات في المستوى نفسه أكثر ارتباطًا من الفئات في مستويات مختلفة. تُسمى مستويات هذا التسلسل الهرمي طبقات أو مستويات تجريد.

مثال (كود Objective-C 2.0 مبسط، من حزمة تطوير البرامج الخاصة بـ iPhone):

@interface UIResponder : NSObject //... @interface UIView : UIResponder //... @interface UIScrollView : UIView //... @interface UITableView : UIScrollView //...

في هذا المثال، UITableView هو UIScrollView هو UIView هو UIResponder هو NSObject.

في التحليل الكائني التوجه ولغة النمذجة الموحدة (UML)، يُمثل الارتباط بين فئتين تعاونًا بينهما أو بين مثيلاتهما. تتسم الارتباطات باتجاه محدد؛ فعلى سبيل المثال، يشير الارتباط ثنائي الاتجاه بين فئتين إلى أن كلتا الفئتين على دراية بعلاقتهما. ^{[ 24 ]} ويمكن تسمية الارتباطات وفقًا لاسمها أو غرضها. ^{[ 25 ]}

يُحدد دور الارتباط في نهاية الارتباط، ويصف دور الفئة المقابلة. على سبيل المثال، يصف دور "المشترك" كيفية مشاركة مثيلات فئة "الشخص" في ارتباط "الاشتراك في" مع فئة "المجلة". كما أن لفئة "المجلة" دور "المجلة المشتركة" في نفس الارتباط. يحدد تعدد أدوار الارتباط عدد المثيلات التي تتوافق مع كل مثيل من الفئة الأخرى في الارتباط. من التعددات الشائعة: "0..1"، "1..1"، "1..*"، و"0..*"، حيث تشير علامة "*" إلى أي عدد من المثيلات. ^{[ 24 ]}

في لغة تدعم الوراثة، تُعرَّف الفئة المجردة ، أو الفئة الأساسية المجردة ( ABC )، بأنها فئة لا يمكن إنشاء مثيل لها مباشرةً. في المقابل، تُعرَّف الفئة الملموسة بأنها فئة يمكن إنشاء مثيل لها مباشرةً. ولا يمكن إنشاء مثيل للفئة المجردة إلا بشكل غير مباشر، عبر فئة فرعية ملموسة .

يُصنَّف الصنف المجرد إما صراحةً على هذا النحو، أو قد يُحدِّد ببساطة توابع مجردة (أو توابع افتراضية ). قد يُوفِّر الصنف المجرد تطبيقات لبعض التوابع، وقد يُحدِّد أيضًا توابع افتراضية عبر توقيعات تُنفَّذ بواسطة الأصناف الفرعية المباشرة أو غير المباشرة للصنف المجرد. قبل إنشاء مثيل لصنف مُشتق من صنف مجرد، يجب أن تُنفَّذ جميع التوابع المجردة لأصنافه الأصلية بواسطة صنف ما في سلسلة الاشتقاق. ^{[ 26 ]}

تتيح معظم لغات البرمجة كائنية التوجه للمبرمج تحديد الفئات التي تُعتبر مجردة، ولا تسمح بإنشاء مثيلات منها. على سبيل المثال، في لغات Java و C# و PHP ، تُستخدم الكلمة المحجوزة (keyword) . ^{[ 27 ] [ 28 ]} أما في لغة C++ ، فالفئة المجردة هي فئة تحتوي على دالة مجردة واحدة على الأقل، مُعرّفة بالصيغة المناسبة في تلك اللغة (دالة افتراضية بحتة في مصطلحات C++). ^{[ 26 ]}abstract

يُطلق على الصنف الذي يتكون من توابع افتراضية بحتة اسم الصنف الأساسي المجرد البحت (أو ABC البحت ) في لغة C++، ويُعرف أيضًا باسم الواجهة من قِبل مستخدمي اللغة. ^{[ 14 ]} تدعم لغات أخرى، ولا سيما Java وC#، نوعًا مختلفًا من الأصناف المجردة يُسمى الواجهة ، وذلك عبر كلمة مفتاحية في اللغة. في هذه اللغات، لا يُسمح بالوراثة المتعددة ، ولكن يمكن للصنف الواحد تنفيذ عدة واجهات. لا يمكن أن يحتوي هذا الصنف إلا على توابع مجردة متاحة للعامة. ^{[ 23 ] [ 29 ] [ 30 ]}

في بعض اللغات، يمكن تعريف الأصناف في نطاقات أخرى غير النطاق العام. وهناك أنواع مختلفة من هذه الأصناف.

الصنف الداخلي هو صنف مُعرَّف داخل صنف آخر. ويمكن اعتبار العلاقة بين الصنف الداخلي والصنف المُحتوي له نوعًا آخر من أنواع ارتباط الأصناف. عادةً، لا يرتبط الصنف الداخلي بمثيلات الصنف المُحتوي، ولا يتم إنشاء مثيلاته معه. وبحسب لغة البرمجة، قد يكون من الممكن أو غير الممكن الإشارة إلى الصنف من خارج الصنف المُحتوي. ومن المفاهيم ذات الصلة الأنواع الداخلية ، والمعروفة أيضًا بنوع البيانات الداخلي أو النوع المُتداخل ، وهي تعميم لمفهوم الأصناف الداخلية. تُعد لغة C++ مثالًا على لغة تدعم كلاً من الأصناف الداخلية والأنواع الداخلية (عبر تعريفات typedef ). ^{[ 31 ] [ 32 ]}

الفئة المحلية هي فئة مُعرَّفة داخل إجراء أو دالة. يحد هذا النوع من البنية من إمكانية الإشارة إلى اسم الفئة ضمن النطاق الذي تم تعريفها فيه. وبحسب القواعد الدلالية للغة، قد توجد قيود إضافية على الفئات المحلية مقارنةً بالفئات غير المحلية. أحد القيود الشائعة هو منع أساليب الفئة المحلية من الوصول إلى المتغيرات المحلية للدالة المُحيطة بها. على سبيل المثال، في لغة C++، يمكن للفئة المحلية الإشارة إلى المتغيرات الثابتة المُعرَّفة داخل دالتها المُحيطة، ولكن لا يمكنها الوصول إلى المتغيرات التلقائية للدالة . ^{[ 33 ]}

الفئة الفوقية هي فئة تكون مثيلاتها عبارة عن فئات. ^{[ 34 ]} تصف الفئة الفوقية بنية مشتركة لمجموعة من الفئات، ويمكنها تطبيق نمط تصميم أو وصف أنواع معينة من الفئات. تُستخدم الفئات الفوقية غالبًا لوصف الأطر البرمجية . ^{[ 35 ]}

في بعض اللغات، مثل بايثون وروبي وسمول توك ، يُعتبر الصنف كائنًا أيضًا؛ وبالتالي ، يُعد كل صنف نسخةً من صنفٍ وصفيٍّ فريدٍ مُدمجٍ في اللغة. ^{[ 5 ] [ 36 ] [ 37 ]} يوفر نظام كائنات Common Lisp (CLOS) بروتوكولات الكائنات الوصفية (MOPs) لتنفيذ هذه الأصناف والأصناف الوصفية. ^{[ 38 ]}

لا يمكن إنشاء فئات فرعية من الفئة النهائية . وهي عكس الفئة المجردة، التي يجب إنشاء فئات فرعية منها لاستخدامها ولا يمكن إنشاء مثيل لها مباشرةً. أما الفئة النهائية فهي ضمنيًا فئة ملموسة، ويمكن إنشاء مثيل لها مباشرةً.

يُعلن عن الفئة على أنها نهائية باستخدام الكلمة المفتاحية `final` finalفي لغات Java وC++ وPHP، أو sealedفي لغة C#. مع ذلك، يجب عدم الخلط بين هذا المفهوم والفئات في Java التي تُعرّف باستخدام الكلمة المفتاحية `final` sealed، والتي تسمح فقط بالوراثة من فئات فرعية محددة. ^{[ 39 ] [ 40 ] [ 41 ] [ 42 ]} في لغات مثل Kotlin ، تكون جميع الفئات نهائية افتراضيًا، بينما للسماح بالوراثة من فئة ما، يجب بدلاً من ذلك وضع علامة `final` عليها open. ^{[ 43 ]}

على سبيل المثال، يتم تمييز فئة جافا على أنها . ^{[ 44 ]}Stringfinal

قد تسمح الفئات النهائية للمترجم بإجراء تحسينات غير متاحة للفئات التي يمكن اشتقاق فئات فرعية منها. ^{[ 45 ]}

الفئة "المغلقة" هي فئة تقيّد الوراثة بقائمة مختارة من الفئات. يجب عدم الخلط بينها وبين الكلمة sealedالمفتاحية `final` في لغة C#، والتي تشير إلى فئة نهائية. يتم تحديد قائمة الفئات المسموح للفئة المغلقة أن ترثها باستخدام permitsعبارة `context`. ^{[ 46 ]}

public sealed class Quadrilateral extends Shape implements Renderable , Transformable , Comparable < Quadrilateral > , Measurable permits Parallelogram , Trapezoid , Kite { // ... }

non-sealed^{[ 47 ]} هي كلمة مفتاحية أخرى تُستخدم للإعلان عن أن فئة أو واجهة ترث فئة مغلقة يمكن أن ترثها فئات غير معروفة.

فئة متوازي الأضلاع المغلقة تمتد من فئة رباعي الأضلاع { /* ... */ } فئة مستطيلة مغلقة تمتد من فئة متوازي الأضلاع { /* ... */ }فئة غير مغلقة تُسمى Square تمتد من Rectangle { /* ... */ }// بما أن فئة Square غير مغلقة، يمكن لأي فئة أن ترث منها class RedSquare extends Square { /* ... */ }

يمكن تعديل الفئات المفتوحة. عادةً، لا يمكن للمستخدمين تعديل البرامج التنفيذية . يستطيع المطورون تعديل بعض الفئات، ولكن لا يمكنهم عادةً تعديل الفئات القياسية أو المدمجة. في لغة روبي ، جميع الفئات مفتوحة. في لغة بايثون ، يمكن إنشاء الفئات أثناء التشغيل، ويمكن تعديلها جميعًا لاحقًا. ^{[ 48 ]} تسمح فئات أوبجكتيف-سي للمبرمج بإضافة توابع إلى فئة موجودة دون الحاجة إلى إعادة تجميع تلك الفئة أو حتى الوصول إلى شفرتها المصدرية.

تدعم بعض لغات البرمجة خاصية "المزيجات" بشكل خاص ، ولكن في أي لغة برمجة تدعم الوراثة المتعددة، فإن المزيج هو ببساطة فئة لا تمثل علاقة "نوع من". تُستخدم المزيجات عادةً لإضافة نفس الدوال إلى فئات متعددة؛ على سبيل المثال، UnicodeConversionMixinقد توفر فئة ما دالة تُسمى unicodeToAscii()عند تضمينها في فئات أخرى FileReaderلا WebPageScraperتشترك في فئة أصلية واحدة.

في اللغات التي تدعم هذه الميزة، يُعرَّف الصنف الجزئي بأنه صنف يمكن تقسيم تعريفه إلى أجزاء متعددة، سواء داخل ملف واحد من ملفات الشيفرة المصدرية أو عبر ملفات متعددة. ^{[ 49 ]} تُدمج هذه الأجزاء أثناء عملية الترجمة، مما يجعل مخرجات المترجم مماثلة لمخرجات الصنف غير الجزئي.

الدافع الرئيسي لإدخال الفئات الجزئية هو تسهيل تنفيذ مولدات الشفرة ، مثل مصممي الرسوميات . ^{[ 49 ]} وإلا، فإن تطوير مولدات شفرة قادرة على إدارة الشفرة المولدة عند دمجها ضمن شفرة المطور يمثل تحديًا أو حلًا وسطًا. باستخدام الفئات الجزئية، يمكن لمولد الشفرة معالجة ملف منفصل أو فئة جزئية عامة ضمن ملف، وبالتالي يُعفى من إدخال الشفرة المولدة بشكل معقد عبر تحليل مطول، مما يزيد من كفاءة المُصرّف ويُزيل خطر تلف شفرة المطور. في تطبيق بسيط للفئات الجزئية، يمكن للمُصرّف إجراء مرحلة ما قبل التجميع حيث "يوحد" جميع أجزاء الفئة الجزئية. بعد ذلك، يمكن استكمال عملية التجميع كالمعتاد. ^{[ 50 ]}

تشمل الفوائد والآثار الأخرى لميزة الفئة الجزئية ما يلي:

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

لطالما وُجدت الفئات الجزئية في لغة سمول توك تحت مسمى امتدادات الفئات . ومع ظهور إطار عمل .NET 2 ، قدمت مايكروسوفت الفئات الجزئية، المدعومة في كل من لغة C# 2.0 وفيجوال بيسك 2005. كما يدعم نظام التشغيل WinRT الفئات الجزئية أيضًا. ^{[ 51 ]}

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

staticعلى سبيل المثال، في لغة C#، لا يمكن إنشاء مثيل لفئة تحمل علامة معينة، ولا يمكن أن تحتوي إلا على أعضاء ثابتة (حقول، وأساليب، وغيرها)، ولا يجوز أن تحتوي على مُنشئات مثيل ، وهي sealedنهائية (غير قابلة للتكرار). ^{[ 52 ]}

لا يرتبط الصنف غير المسمى أو الصنف المجهول باسم أو مُعرِّف عند تعريفه. ^{[ 53 ] [ 54 ]} وهذا يُشابه الفرق بين الدوال المسماة والدوال غير المسماة .

واجهة التحية { void sayHello (); }// فئة مجهولة تُنفذ واجهة Greeting Greeting myGreeting = new Greeting () { @Override public void sayHello () { System . out . println ( "مرحباً من فئة مجهولة!" ); } };myGreeting.sayHello ( ) ;

يمنع التغليف المستخدمين من الإخلال بثوابت الفئة، وهو أمر مفيد لأنه يسمح بتغيير تنفيذ فئة الكائنات لجوانب غير مكشوفة في الواجهة دون التأثير على كود المستخدم. تركز تعريفات التغليف على تجميع المعلومات ذات الصلة وتغليفها ( التماسك ) بدلاً من مسائل الأمان.

تُنتقد لغات البرمجة القائمة على الأصناف، أو بتعبير أدق، اللغات المكتوبة ، حيث يُعدّ التوريث الطريقة الوحيدة للتصنيف الفرعي ، لخلطها بين التطبيقات والواجهات - وهو المبدأ الأساسي في البرمجة كائنية التوجه. يقول النقاد إنه يمكن إنشاء صنف "حقيبة" لتخزين مجموعة من الكائنات، ثم توسيعه لإنشاء صنف جديد يُسمى صنف "مجموعة" حيث يتم التخلص من تكرار الكائنات. ^{[ 61 ] [ 62 ]} الآن، قد تتوقع دالة تأخذ كائنًا من صنف "الحقيبة" أن إضافة كائنين ستزيد حجم الحقيبة بمقدار اثنين، ولكن إذا تم تمرير كائن من صنف "المجموعة"، فإن إضافة كائنين قد تزيد حجم الحقيبة بمقدار اثنين أو لا. تنشأ المشكلة تحديدًا لأن التوريث يستلزم التصنيف الفرعي حتى في الحالات التي لا ينطبق فيها مبدأ التصنيف الفرعي، المعروف بمبدأ استبدال ليسكوف . وقد صاغت باربرا ليسكوف وجانيت وينغ هذا المبدأ بإيجاز في ورقة بحثية عام 1994 على النحو التالي:

متطلبات النوع الفرعي : دع${\displaystyle \phi (x)}$أن تكون خاصية قابلة للإثبات حول الكائنات${\displaystyle x}$من النوع​${\displaystyle T}$ثم​​${\displaystyle \phi (y)}$ينبغي أن يكون هذا صحيحًا بالنسبة للكائنات${\displaystyle y}$من النوع​${\displaystyle S}$أين​​${\displaystyle S}$⁠ هو نوع فرعي من ⁠${\displaystyle T}$⁠ .

لذا، عادةً ما يجب التمييز بين التوريث الفرعي والتصنيف الفرعي. معظم لغات البرمجة الكائنية الحديثة تميز بين التوريث الفرعي والتصنيف الفرعي، إلا أن بعض مناهج التصميم لا تفعل ذلك.

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

Although Simula introduced the class abstraction, the canonical example of a class-based language is Smalltalk. Others include PHP, C++, Java, C#, and Objective-C.