| dbo:abstract
|
- الصنف اللا متغير (أو النوع اللامتغيّر) class invariant (أو type invariant) في برمجة الحاسوب، وعلى وجه التحديد البرمجة الموجهة للكائنات، هو لامتغيّر يستخدم لتقييد كائنات صنف . يجب أن تحافظ طرق الصنف على اللامتغيّر. تقيّد النصف اللامتغيّر الحالة المخزنة في الكائن. يتم إنشاء لامتغيرات الصنف أثناء البناء ويتم الحفاظ عليها باستمرار بين الاستدغاءات إلى الأساليب العامة. قد يؤدي الكود داخل الدوال إلى كسر اللامتغيرات طالما يتم استعادة اللامتغيرات قبل انتهاء الدالة العامة. الكائن اللامتغّير، أو التمثيل اللامتغيّر، هو بنية برمجة حاسوبية تتكون من مجموعة من الخصائص اللامتغيّرة التي لا تتنازل بغض النظر عن حالة الكائن. هذا يضمن أن الكائن سيلبي دائمًا الشروط المحددة مسبقًا، وبالتالي فإن الطرق قد تشير دائمًا إلى الكائن دون المخاطرة بالافتراضات غير الدقيقة. يمكن أن يساعد تعريف اللامتغيرات الصنفية المبرمجين والمختبرين على التقاط المزيد من الأخطاء أثناء اختبار البرمجيات. (ar)
- In computer programming, specifically object-oriented programming, a class invariant (or type invariant) is an invariant used for constraining objects of a class. Methods of the class should preserve the invariant. The class invariant constrains the state stored in the object. Class invariants are established during construction and constantly maintained between calls to public methods. Code within functions may break invariants as long as the invariants are restored before a public function ends. With concurrency, maintaining the invariant in methods typically requires a critical section to be established by locking the state using a mutex. An object invariant, or representation invariant, is a computer programming construct consisting of a set of invariant properties that remain uncompromised regardless of the state of the object. This ensures that the object will always meet predefined conditions, and that methods may, therefore, always reference the object without the risk of making inaccurate presumptions. Defining class invariants can help programmers and testers to catch more bugs during software testing. (en)
- Un objeto invariante, o una representación invariante, es un constructo de programación que consiste en una colección de propiedades invariantes que se mantienen intactas sea cual sea el estado del objeto. Esto garantiza que el objeto cumplirá siempre con ciertas condiciones predefinidas, y que los métodos pueden, en consecuencia, hacer referencia al objeto sin el riesgo de hacer presunciones imprecisas. En programación, concretamente en programación orientada a objetos, las «invariantes de clase» son invariantes usadas para restringir los objetos de una clase. Los métodos de la clase deben respetar la invariante. La invariante de la clase restringe el estado guardado en el objeto. Las invariantes de la clase se establecen durante su construcción y se mantienen entre las llamadas a métodos públicos. Es posible romper la invariabilidad de la clase entre llamadas a métodos privados, pero no es aconsejable. Definir invariantes de clase puede ayudar a los programadores y controladores de calidad a localizar más errores de software durante las pruebas de software. (es)
- En programmation informatique, un invariant de classe est un utilisé pour contraindre des objets d'une classe.Pour chaque instanciation, l'invariant est préservé avant et après l'appel des méthodes de la classe. (fr)
- L'invariante di classe, in informatica è un'invariante usata per vincolare gli oggetti di una classe.I metodi della classe dovranno preservare l'invariante.L'invariante di classe vincola ad archiviare lo stato nell'oggetto. Le invarianti di classe vengono stabilite durante la costruzione e mantenute costantemente durante le chiamate ai metodi pubblici.Sebbene non incoraggiata, una rottura temporanea dell'invarianza di classe tra le chiamate dei metodi privati è possibile. (it)
- В программировании, в частности объектно-ориентированном программировании, инвариант класса (или инвариант типа) — инвариант, используемый для ограничения объектов класса. Методы класса должны сохранять инвариант. Во время создания классов устанавливаются их инварианты, которые постоянно поддерживаются между вызовами публичных методов. Временное нарушение классовой инвариантности между частными вызовами метода возможно, хотя и нежелательно. Инвариант объекта представляет собой конструкцию программирования, состоящую из набора инвариантных свойств. Это гарантирует, что объект всегда будет соответствовать предопределенным условиям, и поэтому методы могут всегда ссылаться на объект без риска сделать неточные презумпции. Определение инвариантов классов может помочь программистам и тестировщикам обнаружить больше ошибок при тестировании программного обеспечения. (ru)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 12644 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdfs:comment
|
- En programmation informatique, un invariant de classe est un utilisé pour contraindre des objets d'une classe.Pour chaque instanciation, l'invariant est préservé avant et après l'appel des méthodes de la classe. (fr)
- L'invariante di classe, in informatica è un'invariante usata per vincolare gli oggetti di una classe.I metodi della classe dovranno preservare l'invariante.L'invariante di classe vincola ad archiviare lo stato nell'oggetto. Le invarianti di classe vengono stabilite durante la costruzione e mantenute costantemente durante le chiamate ai metodi pubblici.Sebbene non incoraggiata, una rottura temporanea dell'invarianza di classe tra le chiamate dei metodi privati è possibile. (it)
- الصنف اللا متغير (أو النوع اللامتغيّر) class invariant (أو type invariant) في برمجة الحاسوب، وعلى وجه التحديد البرمجة الموجهة للكائنات، هو لامتغيّر يستخدم لتقييد كائنات صنف . يجب أن تحافظ طرق الصنف على اللامتغيّر. تقيّد النصف اللامتغيّر الحالة المخزنة في الكائن. يتم إنشاء لامتغيرات الصنف أثناء البناء ويتم الحفاظ عليها باستمرار بين الاستدغاءات إلى الأساليب العامة. قد يؤدي الكود داخل الدوال إلى كسر اللامتغيرات طالما يتم استعادة اللامتغيرات قبل انتهاء الدالة العامة. (ar)
- In computer programming, specifically object-oriented programming, a class invariant (or type invariant) is an invariant used for constraining objects of a class. Methods of the class should preserve the invariant. The class invariant constrains the state stored in the object. (en)
- Un objeto invariante, o una representación invariante, es un constructo de programación que consiste en una colección de propiedades invariantes que se mantienen intactas sea cual sea el estado del objeto. Esto garantiza que el objeto cumplirá siempre con ciertas condiciones predefinidas, y que los métodos pueden, en consecuencia, hacer referencia al objeto sin el riesgo de hacer presunciones imprecisas. Definir invariantes de clase puede ayudar a los programadores y controladores de calidad a localizar más errores de software durante las pruebas de software. (es)
- В программировании, в частности объектно-ориентированном программировании, инвариант класса (или инвариант типа) — инвариант, используемый для ограничения объектов класса. Методы класса должны сохранять инвариант. Во время создания классов устанавливаются их инварианты, которые постоянно поддерживаются между вызовами публичных методов. Временное нарушение классовой инвариантности между частными вызовами метода возможно, хотя и нежелательно. (ru)
|
| rdfs:label
|
- صنف لامتغير (ar)
- Invariantes de clase (es)
- Class invariant (en)
- Invariant de classe (fr)
- Invariante di classe (it)
- Инвариант класса (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
