欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页

C语言之assert(断言)与防御式编程

程序员文章站 2024-02-04 08:26:40
...

    我们以一个求阶乘的程序为实例, 一起了解一下assert宏的作用.

    在下面的程序中, assert()括号内的表达式不可能为假, 那么它对程序的执行无任何影响. 

#include<stdio.h>
#include<assert.h>
unsigned long Fact(unsigned int n);
int main()
{
    int m;
    do{
        printf("Input m(m≥0):");
        scanf("%d", &m);
    }while(m<0);//如此书写是为了使得m的值≥0
    //在此加入断言assert(m≥0),
    assert(m>=0);
    //用assert来验证我们写程序时做出的假设: while(m<0) 后m的值不会为负数.
    //如果assert()括号内的表达式为真, assert宏对程序无影响.
    //如果assert()括号内的表达式为假, 它会终止程序的执行, 并报告错误所在的行.
    //不妨将assert宏想象为一个函数, 这样便于理解.
    printf("%d!=%lu\n", m ,Fact(m));
    //
    return 0;
}
unsigned long Fact(unsigned int n)
{
    unsigned int i=2;
    unsigned long result=1;
    while(i<=n)
    {
        result=result*i;
        i++;
    }
    //
    return result;
}

    如果程序员在编写程序时误将while()括号内的表达式写为m>=0, 执行程序, 看一下会发生什么.

#inclu