assertions (F#)
The assert تعبير هو a تصحيح الأخطاء ميزة that you can استخدم إلى اختبار an تعبير. عند فشل في الوضع التصحيح، تأكيد إنشاء صندوق حوار خطأ النظام.
assert condition
ملاحظات
The assert تعبير has نوع bool -> unit.
في the السابق بناء الجملة, condition represents a منطقي تعبير that هو إلى be tested. If the تعبير evaluates إلى true, execution continues unaffected. If it evaluates إلى false, a النظام خطأ حوار صندوق هو generated. الخطأ صندوق حوار على التسمية توضيحية التي تحتوي على سلسلة فشل التأكيد. يحتوي صندوق الحوار على تتبع مكدس الذاكرة مؤقتة التي تشير إلى الموقع حدث الفشل التأكيد.
يتم الآن التدقيق من تأكيد هو ممكن فقط عندما تقوم بتجميع في الوضع التصحيح؛ التي هو، إذا ثابتة DEBUGهو المعرفة. في النظام مشروع، بشكل افتراضي، DEBUGثابت هو المعرفة في تكوين التصحيح وليس في تكوين الإصدار.
لا يمكن أن يكون تم مصادفة الخطأ فشل التأكيد بواسطة استخدام معالجة استثناء ب #.
ملاحظة
assertتحليل دالة إلى System.Diagnostics.Debug.Assert. لمزيد من المعلومات، راجع Assert.
يوضح مثال التعليمة البرمجية التالية استخدم assertتعبير.
let subtractUnsigned (x : uint32) (y : uint32) =
assert (x > y)
let z = x - y
z
// This code does not generate an assertion failure.
let result1 = subtractUnsigned 2u 1u
// This code generates an assertion failure.
let result2 = subtractUnsigned 1u 2u