assert函数详解

1.函数概述

评价一个表达式，当表达式错误时，输出一个诊断信息并且终止程序

• assert是一个宏，在使用之前要调用库函数<assert.h>

• assert宏通常用于在开发过程中识别逻辑错误，通过使表达式参数仅在程序运行不正确时评估false来实现，当expression评估为false(0)时，assert打印一条诊断消息并调用abort终止程序执行。如果expression为true（非零），则不采取任何操作。诊断消息包括失败的表达式以及断言失败的源文件和行号的名称。
  
  

• 诊断消息的目标取决于调用该例程的应用程序类型。控制台应用程序始终通过stderr接收消息。在单线程或多线程Windows应用程序中，assert调用WindowsMessageBox API创建一个带有OK按钮的消息框来显示消息。当用户选择OK时，程序立即中止。

• 当应用程序与运行时库的调试版本链接时，assert会创建一个带有三个按钮（Abort、Retry和Ignore）的消息框。如果用户选择Abort，则程序立即中止。如果用户选择Retry，则会调用调试器，并且如果启用了即时（JIT）调试，则用户可以对该程序进行调试 。如果用户选择Ignore，则assert将按照正常执行方式继续：创建带有OK按钮的消息框 。
  

2.assert函数一般用法

下面时assert函数使用的一些意义和使用情况：

//
//1.帮助调试：断言可用于在程序开发和调试阶段发现问题。
//通过在关键位置插入断言，可以验证程序中的假设和约定是否正确。
//如果断言失败，那么说明程序存在潜在问题，
//帮助开发者迅速定位和修复错误。
//
//2.捕捉逻辑错误：断言可以检查代码中的逻辑错误。
//通过在关键点检查预期条件，可以捕获到程序在执行中出现的意外情况，
//例如数组下标越界、指针为空等，从而帮助防止潜在的崩溃或未定义的行为。
//
//3.说明假设条件：代码通常基于一些特定的假设条件来进行设计。
//断言可以将这些假设条件表达出来，并在运行时进行验证。
//如果假设条件不满足，断言将失败并指示出程序设计的问题。
//
//4.需要注意的是，断言是开发期间的调试工具，通常在软件发布之前应该将其禁用或移除。
//在发布版本中，断言可能会带来性能损失，并且不应该影响正常的用户体验。
//通常通过定义 NDEBUG 宏来禁用断言，可以在编译时使用 - DNDEBUG 选项来禁用所有断言。
//
//5.总结起来，断言是一种用于检查程序中的条件是否满足的工具，
//可以帮助调试和捕捉逻辑错误。
//它在开发和调试阶段使用，对于确保软件的稳定性和正确性非常有帮助

3.assert函数的一些使用案例

3.1判断大小

3.2strlen函数的模拟实现

此时可以防止传入的是一个空指针

3.3其它

1	assert( *string != '\0' );       /* Cannot be empty */
2    assert( strlen( string ) > 2 );  /* Length must exceed 2 */

4.注意

assert函数只有在Debug版本中才有效，在Release版本中会被忽略