断言的使用

何时需要使用断言

1.可以在预计正常情况下程序不会到达的地方放置断言：ASSERT( FALSE );
2.断言可以用于检查传递给私有方法的参数。（对于公有方法，因为是提供给外部的接口，所以必须在方法中有相应的参数检验才能保证代码的健壮性）
3.使用断言测试方法执行的前置条件和后置条件
4.使用断言检查类的不变状态，确保任何情况下，某个变量的状态必须满足。（如age属性应大于0小于某个合适值）


什么地方不要使用断言

断言语句不是永远会执行，可以屏蔽也可以启用
因此：
1.不要使用断言作为公共方法的参数检查，公共方法的参数永远都要执行
2.断言语句不可以有任何边界效应，不要使用断言语句去修改变量和改变方法的返回值

 

ASSERT()是干什么用的

  ASSERT()是一个调试程序时经常使用的宏，在程序运行时它计算括号内的表达式，如果表达式为FALSE (0), 程序将报告错误，并终止执行。如果表达式不为0，则继续执行后面的语句。这个宏通常原来判断程序中是否出现了明显非法的数据，如果出现了终止程序以免导致严重后果，同时也便于查找错误。例如，变量n在程序中不应该为0，如果为0可能导致错误，你可以这样写程序：
    ......
    ASSERT( n != 0);
    k = 10/ n;
    ......
    ASSERT只有在Debug版本中才有效，如果编译为Release版本则被忽略。
    assert()的功能类似，它是ANSI C标准中规定的函数，它与ASSERT的一个重要区别是可以用在Release版本中。