مشاركة عبر

الصلاحية

  • مقالة

صالح خاصية بتحديد ما إذا كانت قيمة تفي بالقيود صالح ity من نوعه. Th هو خاصية هو مسموح بها تشغيل السمات ما قبل وبعد ويمكن استخدامها تشغيل أي أنواع بيانات.

يجب تعيين خاصية صالح باستخدام إحدى قيم التالية:

  • SA_Yes-القيمة هو صالح.

  • SA_No-القيمة هو غير صالح.

  • قد تكون القيمة SA_Maybe-صالح.

تكون القيود الصلاحية لمختلف أنواع مضمنة كـ التالي:

  • أنواع المتكاملة والفاصلة العائمة – القيمة تمت تهيئة، التي هو، لا يحتوي على بيانات غير صحيحة.

  • Bool – القيمة هو صحيح أو خطأ.

  • أنواع المؤشرات – المؤشر هو أما فارغة أو نقاط إلى الموقع يمكن الوصول إلى ذاكرة. القيمة الموجودة في الموقع المشار إليه بالمؤشر هو غير صحيح بالضرورة. صلاحية هذه القيمة هو تحديد بواسطة قيمة خاصية صالحة للمستوى عدم مرجعية واحد أكبر من قيمة المؤشر.

  • الإشارة إلى أنواع – نفس كـ يكتب المؤشر، إلا أنه لا يمكن أن يكون نوع مرجع فارغة (NULL).

مثال

يلي تعليمات برمجية يوضح كيفية استخدام خاصية صالح:

// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(Valid=SA_Yes) ] char *pc);

// C++‎
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(Valid=Yes) ] char *pc);

راجع أيضًا:

المبادئ

نظرة عامة حول التعليقات التوضيحية

موارد أخرى

Annotation Properties