Một khẳng định đơn giản trong ngôn ngữ C là gì?

Xác nhận là một câu lệnh được sử dụng để tuyên bố một cách tích cực rằng sự kiện phải đúng khi đến dòng mã đó.

Các khẳng định hữu ích để đạt được các điều kiện mong đợi được đáp ứng.

Khẳng định đơn giản

Có thể triển khai xác nhận đơn giản bằng cách sử dụng phương thức khẳng định (biểu thức), có trong khẳng định.h tệp tiêu đề.

Cú pháp cho xác nhận đơn giản như sau -

assert(expression)

Trong khẳng định đơn giản,

• Khi điều kiện được chuyển cho một khẳng định là đúng, thì không có hành động nào.
• Hành vi trên các câu lệnh sai hoàn toàn phụ thuộc vào các cờ trình biên dịch.
• Khi bật tính năng xác nhận, đầu vào sai khiến chương trình tạm dừng.
• Khi tính năng xác nhận bị tắt thì sẽ không có hành động nào.

Các xác nhận chỉ được sử dụng để bắt các lỗi lập trình nội bộ. Những lỗi này xảy ra bằng cách chuyển các tham số không hợp lệ.

Ví dụ

Sau đây là chương trình C để khẳng định đơn giản trong ngôn ngữ lập trình 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;
}

Đầu ra

Khi chương trình trên được thực thi, nó tạo ra kết quả sau -

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