การยืนยันอย่างง่ายในภาษา C คืออะไร?

การยืนยันเป็นคำสั่งที่ใช้ในการประกาศในเชิงบวกว่าข้อเท็จจริงจะต้องเป็นจริงเมื่อถึงบรรทัดของรหัสนั้น

การยืนยันมีประโยชน์สำหรับการได้รับเงื่อนไขที่คาดหวังซึ่งตรงตามเงื่อนไข

การยืนยันแบบง่าย

การยืนยันแบบง่ายสามารถทำได้โดยใช้วิธียืนยัน (นิพจน์) ซึ่งมีอยู่ใน assert.h ไฟล์ส่วนหัว

ไวยากรณ์สำหรับการยืนยันอย่างง่ายมีดังนี้ −

assert(expression)

พูดง่ายๆ

• เมื่อเงื่อนไขผ่านไปยังการยืนยันที่เป็นจริง จะไม่มีการดำเนินการใดๆ
• พฤติกรรมของข้อความเท็จขึ้นอยู่กับแฟล็กของคอมไพเลอร์โดยสิ้นเชิง
• เมื่อเปิดใช้งานการยืนยัน การป้อนข้อมูลเท็จจะทำให้โปรแกรมหยุดทำงาน
• เมื่อปิดใช้การยืนยัน จะไม่มีการดำเนินการใดๆ

การยืนยันจะใช้เพื่อตรวจจับข้อผิดพลาดในการเขียนโปรแกรมภายในเท่านั้น ข้อผิดพลาดเหล่านี้เกิดจากการส่งพารามิเตอร์ที่ไม่ถูกต้อง

ตัวอย่าง

ต่อไปนี้เป็นโปรแกรม C สำหรับการยืนยันอย่างง่ายในภาษาการเขียนโปรแกรม C -

#include <stdio.h>
#include <assert.h>
int main(void){
   int x;
   printf("Enter the value of x:\n");
   scanf("%d",&x);
   assert(x >= 0);
   printf("x = %d\n", x);
   return 0;
}

ผลลัพธ์

เมื่อโปรแกรมข้างต้นทำงาน มันจะสร้างผลลัพธ์ต่อไปนี้ -

Run 1:
Enter the value of x:
20
x = 20
Run 2:
Enter the value of x:
-3
Assertion failed!
Program: G:\CP\CP programs\test.exe
File: G:\CP\CP programs\test.c, Line 10
Expression: x >= 0