小修改

教程/正文/语法和标准库/2_初识C/2_6_初识断言.md

@@ -0,0 +1,26 @@
+# 初识断言 (Assertion)
+
+## 1. 什么是断言
+
+断言是用于进行 **调试** 和 **错误处理** 的工具。
+
+它允许程序员在代码中插入条件检查，以确保程序在运行时满足特定的前提条件。
+
+如果断言的条件不成立，程序将中止执行并生成一条错误消息，提供关于出错位置和原因的信息。
+
+## 2. 使用断言
+
+```c
+#include <assert.h>
+
+int main(void){
+    int a = -5;
+    assert(a > 0);
+}
+```
+
+程序中止执行，因为断言的条件 `a > 0` 不成立。
+
+## 3. 用途
+
+用于 **防御性编程**，缩小错误可能存在的范围，便于调试。

教程/示例代码/语法和标准库/18_泛型选择/vector.c

@@ -1,3 +1,4 @@
+#include <stdbool.h>
 #include <stdint.h>
 #include <stdlib.h>
 

教程/示例代码/语法和标准库/8_BMI测试.c

@@ -1,3 +1,4 @@
+#include <assert.h>
 #include <stdio.h>
 
 int main()
@@ -7,9 +8,14 @@ int main()
     // 获取用户输入
     printf("请输入您的体重（单位：千克）：");
     scanf("%f", &weight);
+
+    assert(weight != 0);
+
     printf("请输入您的身高（单位：厘米）：");
     scanf("%f", &height);
 
+    assert(height != 0);
+
     // 换算
     height /= 100;