计算机程序设计基础（第2版）乔林Qiaolin FOP Chapter 4.pptVIP

断言与不变量 断 言 任何程序都存在一些特定点，只要程序运行到该处，关于某个计算状态的判断就总是成立的 断言的定义：关于某个计算状态的判别式 断言的格式 使用 assert 宏 在判别式为假时说明程序出现错误，终止程序执行 断言主要用于调试程序，在实际程序中一般不出现 如果不需要需要使用断言，可以在文件开头定义 NDEBUG 宏，而不需要逐条删除断言语句 素性判定函数欧洲版 #include assert.h BOOL IsPrime( unsigned int n ) { unsigned int i, t; assert( n 1 ); if( n == 2 ) return TRUE; if( n % 2 == 0 ) return FALSE; i = 3; t = (unsigned int)sqrt(n) + 1; while( i = t ) { if( n % i == 0 ) return FALSE; i += 2; } return TRUE; } 素性判定函数欧洲版 #include assert.h #define NDEBUG BOOL IsPrime( unsigned int n ) { unsigned int i, t; assert( n 1 ); if( n == 2