[[377333]]

本文轉(zhuǎn)載自微信公眾號「編程學(xué)習(xí)基地」，作者deroy 。轉(zhuǎn)載本文請聯(lián)系編程學(xué)習(xí)基地公眾號。  

斷言(assert)

編寫代碼時(shí)，我們總是會做出一些假設(shè)，斷言就是用于在代碼中捕捉這些假設(shè)。斷言表示為一些布爾表達(dá)式，程序員相信在程序中的某個(gè)特定點(diǎn)該表達(dá)式值為真，可以在任何時(shí)候啟用和禁用斷言驗(yàn)證，因此可以在測試時(shí)啟用斷言而在部署時(shí)禁用斷言。同樣，程序投入運(yùn)行后，最終用戶在遇到問題時(shí)可以重新啟用斷言。

簡單來說如果結(jié)果和你的預(yù)期一樣,那么OK,結(jié)果為真繼續(xù)運(yùn)行.如果結(jié)果和預(yù)期不符,那么程序會拋出一個(gè)系統(tǒng)級錯(cuò)誤(不是異常),并且終止程序運(yùn)行。

assert() 用法

assert宏的原型定義在中，其作用是如果它的條件返回錯(cuò)誤，則終止程序執(zhí)行，原型定義：

#include <assert.h> 
void assert( int expression );  //expression：布爾表達(dá)式 

assert的作用是現(xiàn)計(jì)算表達(dá)式 expression ，如果其值為假(即為0)，那么它先向stderr打印一條出錯(cuò)信息

然后通過調(diào)用 abort 來終止程序運(yùn)行。

示例：

#include <stdio.h> 
#include <assert.h> 
int main(void) 
{ 
 FILE* fp; 
 fp = fopen("test.txt", "w");//以可寫的方式打開一個(gè)文件，如果不存在就創(chuàng)建一個(gè)同名文件 
 assert(fp); //所以這里不會出錯(cuò) 
 fclose(fp); 
 fp = fopen("noexitfile.txt", "r");//以只讀的方式打開一個(gè)文件，如果不存在就打開文件失敗 
 assert(fp); //所以這里出錯(cuò) 
 fclose(fp); //程序永遠(yuǎn)都執(zhí)行不到這里來 
 return 0; 
} 

運(yùn)行報(bào)錯(cuò)如下：

控制臺輸出如下：

Assertion failed: fp, file D:\vs2019\Console\微信公眾號推送\微信公眾號推送\微信公眾號推送.cpp, line 11 

工程文件使用示例：

void resize(int num) 
{ 
    if(num<0) 
        assert(nullptr); 
    if(num >len) 
  //... 
} 

作者：夢凡